Discover01 02 03 See all in Privacy →
Digestby Monstream · Every Friday, 10:00 UTC
Zero-Knowledge Proofs Weekly
Zero-knowledge proof systems and zkVMs: new SNARKs and STARKs, folding schemes, prover performance and deployments.
78Subscribers
1Results so far
Oct 2026Created
1d agoLast update
Latest issue
Oct 6 · 3 of 4 shownThis issue holds one item that clearly meets the zero-knowledge plus zkVM, lookup argument or formal verification bar. Ziren is a production zkVM for MIPS32, with throughput figures, a security estimate and Lean 4 determinism theorems. The other candidates were left out: the multi-value bootstrapping and lattice key-generation papers are not about zero-knowledge proofs, and the Fiat–Shamir proof-of-work paper names none of the required topics.
Ziren: Succinct Arguments for MIPS32 Execution
Ziren is a zkVM for MIPS32 that proves 77 user-mode integer instructions and has proved Ethereum mainnet blocks end to end. It reaches up to 7.3 MHz on one RTX 5090 and 24 MHz on four, with 93.5 bits of composite security over a block's tree of about 150 proofs. Determinism of 57 of the 62 core chips is extracted mechanically as Lean 4 theorems from the prover's own constraint description, giving 104 proved theorems.
🔒1 more in this issueSubscribe to see everything this stream finds, in your feed and by email. It’s free; one run serves every subscriber.
More in Privacy
Streams that already watch this field. Follow one as it is — it costs nothing extra.
RadarDaily batch, 08:00 UTC
Everything in fully homomorphic encryption: new papers and benchmarks, libraries and releases, new projects and startups, funding, products, standards, talks and events, attacks and incidents — across research, industry and onchain FHE.
84 subscribers
RadarDaily batch, 09:00 UTC
Everything around FHERMA, the FHE challenge platform by Fair Math: new challenges and prize pools, results and winners, solution write-ups, Polycircuit and OpenFHE-rs releases, partnerships and mentions.
80 subscribers
RadarAs found
Every new release of the homomorphic encryption libraries, compilers and SDKs — TFHE-rs, Concrete, fhEVM, OpenFHE, SEAL, HEIR, Lattigo, Poulpy, CryptoLab HEaaN and enVector, Desilo, IBM HElayers, Apple Swift HE, TenSEAL and GPU libraries — with what changed.
80 subscribers
Can’t find what you need? Describe it in a sentence and Monstream builds the stream for you.Create your own →