Overview - Mina
Part 1 of Zk Overviews series
An overview of Mina, the world's lightest blockchain that utilizes zero-knowledge technology for 22KB chain verification and supports zkApps for private, efficient smart contracts.
Zk Overviews Series
Overview - Zokrates
Part 2 of Zk Overviews series
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.
Overview - Starknet & Cairo
Part 3 of Zk Overviews series
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.