Applications

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

General

• A map of ZK applications
• Open engineering problems in ZK
• A cambrian explosion of crypto proofs - Ben Sasson
• Using ZKP to fight disinformation - Boneh, Datta
  • talk
• ZKP for voting - Phil Kelly

ZK Rollups EVMs/VMs

• General

  • What is a ZK EVM
  • New paradigm in ZK proving
  • A zero Knowledge Paradigm - ZKVM by lita
  • A zk paradigm 2- ZKVM by lita
  • A zk paradigm 3 - ZKVM ISA by lita
  • Parallel ZKVM
  • zkEVM community edition
  • Ethworks: Blockchain scaling
  • Ethereum-powered ZK-Rollups: World Beaters
  • Ethereum - Scalability
  • Zk rollups an incomplete guide
  • Decentralized zk-Rollup
  • Zk rollups popular
  • Ethereum: Zk rollups
  • How ZK rollups work: Simon Brown
  • An overview of Danksharding
  • Zk evm comparison guide
  • BrainSTARK
  • Enhancing VM efficiency in parallel envs
  • Projects that shaped modern ZKVMS -1
  • Glue and Coprocessor Architectures
  • Demystifying Executable Linkable Format (ELF)

• EVM/VMs

  • Aztec protocol
  • Scroll EVM
  • Taiko EVM
  • zkSync
    • Zk-Stack
    • Awesome ZK-Sync
  • Starknet
    • Awesome Starknet
    • Cairo Whitepaper
  • Polygon zkEVM
    • How to prove a batch of transactions
  • Miden VM
    • A Sketch for a STARK-Based VM
    • Range Checks in Miden VM
    • Miden VM program decoder
    • Memory in MidenVM
    • u32 in MidenVM
  • TinyvnRAM
    • Succinct NIZK for VN architecture
    • Snarks for C
      • talk
    • blog
    • blog
    • blog
    • libnsark: code
    • pepper project: code
  • RISC0 ZK VM
    • RISC0 proof system
    • RISC0 Code
    • whitepaper
  • Jolt VM
    • Jolt book
    • Jolt a technical deep dive
    • FAQs on implementation
    • Jolt from theory to code
  • OlaVM
  • zkWasm
  • Loopring
  • NexusVM
    • whitepaper
  • SP1
    • book
    • intro to SP1 source code
    • Sp1 audit
    • whitepaper
  • Ceno

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
• Navigating privacy on Blockchains - Wei Dai
• Having a safe CEX: proof of solvency and beyond

Client side

• Accelerating client side ZK with webGPU
• Whale Song Explained

ZKML

• An Introduction to ZKML
• zkMNIST
• awesome-zkml
• Checks and balances ZK and ML - Elena Burger
• DO Language models possess Knowledge soundness - Tarun Chitra
• verifying twitter algorithmic integrity with zkml - Daniel Kang
• How ZK snarks bring transparency to private ML models with zkml - Daniel Kang
• Bridging AI/ML and web3 with ZKPs
• Exploring ZKML
• Verified execution of GPT,BERT,CLIP
• Overview of ZKML
• autonomous worlds
• Benchmarking ZKML frameworks
• Cost of intelligence - proving ML inference with ZK
  • Scaling Intelligence - Verifiable decision forest inference with remainder
• Verifiable evaluations of ML models using ZKSnarks
• An overview of Decentralized inference
• Analysis of leading ZKML frameworks on neural networks
• zkML tradeoffs in accuracy vs proving cost

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
• Zk hunt -0xparc
• ZK Wordle
• ZkDoom

ZK ID

• Introduction
• PolygonID
• Sismo
• Zpass
• worldcoin id
• Anon-Aadhar

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

• Aleo

  • Aleo Documentation
  • Awesome Aleo
  • Aleo with Howard Wu
  • LEO Programming Language
  • Aleo Op-Codes

other applications

• Private search engine
• ZK-P2P
• proof of email
  • blog