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.
Topic
zk-proofs
A collection of 4 issues
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