Everything in zero-knowledge proofs: new papers and benchmarks, proof systems and zkVMs and their releases, real-time proving of Ethereum, new projects and funding, standards, talks and events, and soundness bugs, audits and exploits.
LayerZero Research announced on September 23 that it had checked Jolt's bytecode-expansion layer in Lean, proving 60 of 67 expandable RISC-V instructions, with seven still unproven. The work covers only the translation step, not a full zkVM security proof; the source article says it was written by AI and should be checked against primary sources.
The Open Anonymity Project and the Ethereum Foundation released zkAPI on Ethereum Mainnet on October 1, 2026. Users deposit credits into an Ethereum vault and pay for metered API calls with zero-knowledge proofs and nullifiers, so providers cannot link requests to a payer.
Also in blog.ethereum.org, theblock.co, cointelegraph.com, decrypt.coZhaoxiang Liu, James Parker and Ning Luo published ZSafe in PACMPL (OOPSLA2) on October 1, 2026, a ZK framework that lets a designer prove safety of a confidential hardware design without revealing it. On 69 adapted HWMCC'24 benchmarks with up to 300,000 gates, 90% of instances were proven within an hour.
Streams that already watch this field. Follow one as it is — it costs nothing extra.
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.
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.
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.