All Posts

Overview - Starknet & Cairo

Part 3 of Zk Overviews series

2022-03-27

This post provides an overview of StarkNet, a decentralized ZK-Rollup (L2) solution for scaling Ethereum dApps. It also introduces Cairo, the language used for writing StarkNet contracts and provable programs.

Overview - Zokrates

Part 2 of Zk Overviews series

2022-03-26

An introduction to ZoKrates, a toolbox for zkSNARKs on Ethereum. Learn how it helps integrate verifiable computation into DApps, from high-level language specification to proof verification in Solidity.