Jacobian

Latest — 28 Feb 2026

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

More issues

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)

About

Jacobian

Zero-knowledge cryptography and privacy engineering for builders.

Topics

More issues

Subscribe to Jacobian