Applications

A compilation of materials that showcase various applications of zk technology.

General

• A cambrian explosion of crypto proofs -Ben Sasson
• What’s next in ZK

ZK Rollups EVMs/VMs

• General
  • What is a ZK EVM
  • Ethworks: Blockchain scaling
  • Ethereum-powered ZK-Rollups: World Beaters
  • Ethereum - Scalability
  • Decentralizing zk rollups
  • Zk rollups an incomplete guide
  • Decentralized zk-Rollup
  • Zk rollups popular
  • Ethereum: Zk rollups
  • How ZK rollups work: Simon Brown
• EVM/VMs
  • Aztec protocol
  • Scroll EVM
  • Taiko EVM
  • zkSync
  • Polygon zkEVM
  • Miden VM
    • Range Checks in Miden VM
    • Miden VM program decoder
    • Memory in MidenVM
    • u32 in MidenVM
  • RISC0 ZK VM
    • RISC0 proof system
  • OlaVM
  • zkWasm
  • Loopring

ZK bridges

• Vulnerabilities in ZK bridges
• Primer on Cross chain bridges and how to break them: Niv Yehezkel
• Block chain bridges: Introduction
• Introduction to validating bridges and L2 protocols - Patrick McCory
• zkEVMOS - Bridges and Interoperability
• Bridging the blockchain multiverse with ZKP
• Cross chain Futur - Delendum
• Navigating privacy on Blockchains - Wei Dai
• Having a safe CEX: proof of solvency and beyond

ZKML

• An Introduction to ZKML
• zkMNIST
• awesome-zkml

ZK Gaming

• Dark Forest - the zk SNARK game
• Cairo Games Vol2: Solns
• Blockchain games and game mechanics
• Crypto gaming - A practical thesis
• The strongest Crypto gaming thesis
• ZKP for gaming: Mina

Ecosystem with ZK applications

• Filecoin
  • Filecoin primer
  • Economics
  • specs
  • Proof system
    • Filecoin snark audit
    • Proof of space
    • Proof of Replication: Depth Robust Graphs
      • SDR blog
  • mining task overview
    • task definitions
    • PoRep circuit blog
    • Precommit 2