About Jacobian
Jacobian builds zero-knowledge proofs for real physics and publishes the entire process -- the math, the circuits, and the mistakes.
Most ZK publications summarize protocol announcements. Jacobian is different. We implement halo2 circuits that prove actual physical laws (sonoluminescence, special relativity, quantum tunneling), build privacy-preserving smart contracts backed by 389 verified Lean 4 theorems, and write safety-critical systems in SPARK/Ada where "no runtime errors" isn't aspirational -- it's proven.
What we publish
The weekly ZK Digest (free, every Tuesday) covers what matters in zero-knowledge cryptography, privacy engineering, and formal verification. The perspective comes from building in these fields -- halo2 circuits, SPARK/Ada systems, Midnight smart contracts -- not from aggregating press releases.
The weekly Deep Dive (Pro members, every Thursday) goes further: full circuit walkthroughs, step-by-step constraint analysis, code you can clone and run. The test for every deep-dive is "would a staff ZK engineer share this with their team?"
Every month, the ZK Physics Proof drops a new domain -- a complete zero-knowledge proof of a real physical law, implemented in halo2, benchmarked, and published with full source code. Month 1 was sonoluminescence (T^4 thermal emission). Month 2 is special relativity (E=mc^2). There are 32 domains planned. Nobody else is doing this.
Who's behind this
Jacobian grew out of frustration that the ZK space generates more hype than proofs. The founder's background is formal verification -- SPARK/Ada, Lean 4, RefinedRust -- the kind of work where you don't ship until the prover says you can. The name is a reference to the Jacobian matrix -- the derivative that tells you how everything changes when one thing moves. That's what we do: trace the consequences of cryptographic choices through real systems.
What we don't do
We publish when we have something worth saying, not on a content calendar's schedule. We don't cover every protocol announcement. We don't pretend to have 10x growth projections. When Jacobian publishes, it's worth reading. That's the only promise.
Subscribe for free | Go Pro | Founding member offer (20% off forever)