Your First Aleo Contract in Leo: Mappings, Records, and Transitions — companion code repo for the ZK Cookbook.
-
Updated
May 22, 2026
Your First Aleo Contract in Leo: Mappings, Records, and Transitions — companion code repo for the ZK Cookbook.
Multi-Party Private State and Contracts on Midnight — companion code repo for the Midnight ZK Cookbook.
GitHub Action: audit your ZK project for tests, CI, docs, security, reproducibility.
Bringing External Data On-Chain: Oracle Patterns for Midnight — companion code repo for the Midnight ZK Cookbook.
Testing Aleo Programs Locally with snarkOS and snarkVM — companion code repo for the ZK Cookbook.
MCP server for the Bounty Radar feed — query live ZK + AI bounties across 11 ecosystems from any MCP client
OSS CLI to diagnose ZK circuit projects (Aleo/Noir/Compact/Cairo/risc0) for common health issues — sibling to the ZK Cookbook.
GitHub App that runs zk-pipeline-doctor on every ZK project PR and posts a review comment
Working with Maps and Merkle Trees in Compact — companion code repo for the Midnight ZK Cookbook.
Testing Compact Contracts: Unit Tests, Assertions, and Local Simulation — companion code repo for the Midnight ZK Cookbook.
The ZK Cookbook: 11 tutorials across Midnight (Compact), Aleo (Leo), and Noir. Multi-ecosystem reference + paid bundle on Polar.
Testing and Debugging Noir Circuits: The Honest Workflow — companion code repo for the ZK Cookbook.
Writing Your First Noir Circuit: Fields, Constraints, and Proofs — companion code repo for the ZK Cookbook.
Public data feed for Bounty Radar Pro — real-time bounty intelligence across 11 ZK + AI ecosystems. Updated every 30 min.
Add a description, image, and links to the zk-cookbook topic page so that developers can more easily learn about it.
To associate your repository with the zk-cookbook topic, visit your repo's landing page and select "manage topics."