Blockchain ZK

Purpose

Guide zero-knowledge proof integration in blockchain systems covering proof system selection, circuit programming, prover/verifier infrastructure, ZK rollup architecture, and application patterns. Enables building privacy-preserving and scalability-enhancing ZK solutions.

Agent Protocol

Trigger Keywords

"zero-knowledge", "zk", "zkp", "groth16", "plonk", "stark", "plonkish", "circom", "noir", "halo2", "bellman", "arkworks", "snarkjs", "zk-rollup", "zkrollup", "zkevm", "recursive proof", "aggregation", "ivc", "nifs", "pcd", "circuit", "constraint", "r1cs", "acir", "ssa", "witness", "sequencer", "prover", "verifier", "zksync", "starknet", "scroll", "polygon zkevm", "taiko", "trusted setup", "ceremony", "toxic waste", "crs", "merkle proof", "nullifier", "commitment", "babyjubjub", "zkapp", "zk-application"

Input Context

• Application type (privacy/scaling/identity/gaming)
• Proof system requirements (trusted setup? proof size? verification cost?)
• Target blockchain (EVM/Solana/Cosmos/StarkNet)
• Performance constraints (proving time, verification gas, proof size)
• Security requirements (transparent vs PPTR, audit history)

Output Artifact

ZK architecture specification: proof system selection, circuit design, prover infrastructure, verifier deployment, and integration plan.