Building a Post-Quantum Wallet for Midnight Network
Inside the ZirOS Midnight Wallet stack: native Rust core, biometric approvals, DUST-first UX, ML-KEM-1024 messaging, and the real iPhone surfaces behind the screenshots.
Topic
deep-dive
A collection of 6 issues
Your First Compact Contract: From Zero to Deployed on Preprod
The expensive part of your first Midnight contract is not the proof
A first Compact deploy fails for reasons that have nothing to do with circuit correctness. The contract compiles. The witness is valid. The generated TypeScript bindings load. Then the transaction stalls because the operator wallet has no spendable
Building a Three-Tier IR for Zero Knowledge
A source-language layer, a semantic circuit layer, and backend-native lowerings each solve a different compiler problem. This deep dive walks through the live ZirOS stack and where IR v2 now fits.
Why ZKF Uses Three IRs Instead of One
Why a 1 ns Timestep Becomes a 1M-Row Proof
ZKF: 59,000 Lines of Rust, 9 Proof Systems, and the End of ZK Lock-In
ZKF is a universal zero-knowledge proof framework -- 59,000 lines of production Rust -- that compiles any frontend language to any backend proving system. 9 backends, 7 frontends, 11 gadgets, STARK-to-SNARK wrapping, and Solidity verifier generation. Open-sourcing crate by crate starting April 2026.