Jacobian — Zero-Knowledge & Privacy Engineering Newsletter

Sign in Subscribe

Latest — 03 Apr 2026

Soak Certified: 60 Cycles of GPU-Accelerated ZK Proving on Apple Silicon

ZirOS completed a 12-hour Plonky3 STARK prove/verify soak on Apple M4 Max 48 GB with 60 completed cycles, zero degraded runs, and realized Metal participation in the proving lane.

More issues

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.

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

What SED Actually Is

Inside the Sovereign Economic Defense repo, the five proof circuits, and the precise boundary between local ZirOS proving and Midnight publication.

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 Sumcheck Is Eating Modern ZK

Why sumcheck reduces exponential verifier work to a logarithmic protocol and why modern ZK systems keep building on multilinear structure.

Why ZKF Uses Three IRs Instead of One

Why a 1 ns Timestep Becomes a 1M-Row Proof

Why NVIDIA Putting OpenClaw on DGX Spark Matters

NVIDIA’s DGX Spark guide for OpenClaw signals a serious future for local-first, always-on AI agents built around privacy, memory, and hardware realism.

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.