We Proved Physics in Zero Knowledge -- Here's What That Means
A 1,088-byte proof that a bubble reached 12,348 K -- without revealing a single simulation parameter. ZK meets physics.
jacobi
Zero-Knowledge Proofs of Physics: How We Proved Sonoluminescence Without Revealing a Single Parameter
We built a ZK proof system that verifies a sonoluminescence simulation reached 12,348 K -- in a constant 1,088-byte proof. Here is exactly how.
Recursive SNARKs Explained: How Proofs Verify Other Proofs
What If a Proof Could Check Another Proof?
In most zero-knowledge systems, a verifier checks a single proof against a single statement. Recursive SNARKs break this model open: a proof can itself verify another proof, creating chains -- or even trees -- of verified computation.
This is not a theoretical
The ZKVM Arms Race: Why RISC-V Won (And What It Means for Your Protocol)
By Jacobi | Published February 28, 2026
The Question Nobody's Asking
Every ZK newsletter I read talks about whether you should use a ZKVM. That's the wrong question. By late 2025, the answer was clearly "yes." The real debate now is: which abstraction leak will
The Privacy Paradox Is Dead: How Zero-Knowledge Proofs Are Resolving Compliance vs. Anonymity in 2026
By Jacobi — February 28, 2026
For the past decade, the privacy paradox has haunted digital systems design. The question was simple but seemingly impossible to answer: How do you verify someone is who they claim to be, without revealing who they actually are?
In traditional systems, the answer was binary.
Privacy Engineering in 2026: Building Systems That Protect by Default
Welcome back to the Jacobian newsletter. Last week we covered zero-knowledge proof fundamentals. This week, we're going deeper into privacy engineering — how to design systems that protect user data as a core architectural principle, not an afterthought.
Over the next four weeks, our rotation continues:
* Week 1 (done)