Midnight ZK Cookbook 17 production-ready ZK tutorials across Compact (Midnight), Leo (Aleo), Noir (Aztec), Cairo (Starknet), and risc0. Plus paid bundle + live bounty radar. https://battam1111.github.io/midnight-zk-cookbook/ Battam1111 https://github.com/Battam1111 2026-06-03T18:15:15+00:00 Add zk-doctor to your ZK project's CI in 5 minutes https://battam1111.github.io/midnight-zk-cookbook/tutorials/zk-doctor-github-action.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 Install the zk-doctor GitHub Action, get diff-aware PR comments, and ship reproducible ZK builds. Battam1111 Aztec Accounts vs Aleo Records; Privacy Models Deep Dive https://battam1111.github.io/midnight-zk-cookbook/tutorials/aztec-aleo-privacy-models.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 Side-by-side: what is public, what is private, where you prove things, and which model fits which workload. Battam1111 Building a Zero-Knowledge Identity Proof in Noir https://battam1111.github.io/midnight-zk-cookbook/tutorials/noir-identity-proof.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 Zero-knowledge identity primitive in Noir: prove you are in a set without revealing which member you are. Battam1111 Compact Performance Patterns: Cutting Witness and Circuit Cost https://battam1111.github.io/midnight-zk-cookbook/tutorials/304.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 Common Compact circuit hot spots and concrete patterns for reducing witness size, public input count, and proof time. Battam1111 Compact Type System Cheat Sheet for Midnight https://battam1111.github.io/midnight-zk-cookbook/tutorials/289.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 Pre-flight reference for Compact types, ZK semantics, and circuit constraints when porting business logic to Midnight. Battam1111 Local Dev Loop for Midnight: Docker, compact-cli, and Reproducible Test Networks https://battam1111.github.io/midnight-zk-cookbook/tutorials/295.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 Set up a reproducible local Midnight dev loop using the Compact CLI, Docker stack, and a deterministic test ledger. Battam1111 Multi-Party Private State: Contracts Between Two Users on Midnight https://battam1111.github.io/midnight-zk-cookbook/tutorials/303-multi-party-private-state-and-contracts-between-two-users.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 Design a two-party Compact contract with isolated private state, joint witnesses, and reproducible commitments. Battam1111 RISC Zero zkVM: Running Existing Rust Code Inside a STARK https://battam1111.github.io/midnight-zk-cookbook/tutorials/risc0-zkvm-rust.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 End-to-end risc0 program with a guest binary, a host driver, and proof verification, all in Rust. Battam1111 Rational Abstention and Witness Privacy in Midnight Contracts https://battam1111.github.io/midnight-zk-cookbook/tutorials/296.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 When and how to keep witness data hidden from the public ledger; pattern for rational abstention in zero-knowledge contracts. Battam1111 Testing Aleo Programs Locally with snarkOS and snarkVM https://battam1111.github.io/midnight-zk-cookbook/tutorials/aleo-program-testing.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 Three-layer Aleo testing: Leo unit tests, local snarkos network, and end-to-end transition coverage. Battam1111 Testing Compact Contracts: Unit Tests, Assertions, and Local Simulation https://battam1111.github.io/midnight-zk-cookbook/tutorials/312.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 Two-layer Compact test strategy with a simulator wrapper plus Docker integration tests, runnable in CI. Battam1111 Testing and Debugging Noir Circuits: The Honest Workflow https://battam1111.github.io/midnight-zk-cookbook/tutorials/noir-testing-debugging.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 Nargo test, common Noir circuit bugs, and how to instrument proofs for fast debugging. Battam1111 Wiring TypeScript to Compact Contracts (Generated Bindings, Errors, Lifecycle) https://battam1111.github.io/midnight-zk-cookbook/tutorials/291.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 End-to-end pattern for calling a Compact contract from a TypeScript application: bindings, lifecycle, error handling, type guarantees. Battam1111 Writing Your First Noir Circuit: Fields, Constraints, and Proofs https://battam1111.github.io/midnight-zk-cookbook/tutorials/noir-circuit-basics.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 Start-from-zero Noir circuit: field arithmetic, constraints, public/private inputs, and your first proof. Battam1111 Your First Aleo Contract in Leo: Mappings, Records, and Transitions https://battam1111.github.io/midnight-zk-cookbook/tutorials/aleo-first-contract.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 Bottom-up tour of Aleo Leo: build a working program with records, mappings, and transitions, then deploy it locally. Battam1111 ZK Language Comparison: Compact vs Leo vs Noir vs Cairo (2026) https://battam1111.github.io/midnight-zk-cookbook/tutorials/zk-language-comparison.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 Side-by-side: syntax, proving system, ecosystem maturity, and where each ZK language is strongest. Battam1111 ZK Rollup Architecture Explained: zkSync vs Linea vs Polygon zkEVM (2026) https://battam1111.github.io/midnight-zk-cookbook/tutorials/zk-rollup-architecture.html 2026-06-03T18:15:15+00:00 2026-06-03T18:15:15+00:00 Map prover, sequencer, settlement, and DA in a ZK rollup; how the boxes actually talk. Battam1111