We are excited to announce OpenVM 2.0 and the SWIRL proof system. On 16 5090 GPUs, OpenVM 2.0 proves Ethereum mainnet blocks in real time at a p99 level and reaches 139 MHz on general RISC-V workloads. It supports 100 bits of provable security and < 300 kB proofs.

Just finished testing the next big update to Ligetron Ligero Inc. and super excited to share what we have incorporated: Proving ECDSA signature verification on secp256k1 and p256 curves as a zkVM. Try here: ligeroinc.github.io/weierstrass/ Next stage unlocked!!

1/ LayerZero is launching a new blockchain and on the SNARK-proving front it's powered by Jolt. Benchmark we’re proud of: ~1.6 billion 64-bit RISC-V cycles proved/sec on 64 GPUs, with plenty of room for more speedups. x.com/a16zcrypto/sta…

🆕 Brave researchers have uncovered vulnerabilities in zkLogin, a widely-deployed authorization system for blockchain transactions. Our findings demonstrate the wider challenges facing zero-knowledge proof systems.

Building a Minimalist Post-Quantum Ethereum Client by LambdaClass A detailed overview of ethlambda’s architecture and design choices. blog.lambdaclass.com/building-a-min…

Miden is building practical privacy for the future of finance. Institutions don’t want to build global-scale financial applications on transparent, public networks. A key reason for this: privacy Watch our full story, and learn more 🧵

first of many

JUST IN: Paradigm partner with OpenAI to launch EVMbench - an AI smart contract security agent benchmark All eyes on web3 security, it was bound to happen, we are securing the future of finance🫡

PQC and ZKP work well together for blockchains. Post quantum digital signatures are one of two orders of magnitude larger. But ZK can replace a list of signatures with a proof that takes up less room.

✨Introducing evmresearch✨✨ A knowledge graph of nearly everything I've learned about the EVM in the past six years The graph structure emulates the brain, exponentiating research speeds for both humans and agents evmresearch.io

Introducing strawmap, a strawman roadmap by EF Protocol. Believe in something. Believe in an Ethereum strawmap. Who is this for? The document, available at strawmap[.]org, is intended for advanced readers. It is a dense and technical resource primarily for researchers,

The first two known exploits against live ZK circuits just happened, and they weren't subtle underconstrained bugs. They were Groth16 verifiers deployed without completing the trusted setup ceremony. One was white-hat rescued for ~$1.5M, the other drained for 5 ETH. 🧵

We found the same Fiat-Shamir bug in six independent zkVMs. The result: an attacker can bypass the cryptography entirely and prove mathematically impossible statements (like minting $1M out of thin air). Full breakdown ↓

[1/2] Jolt is now a "zkzkVM" 🤫. A somewhat subtle point that differentiates our approach from most other zkVMs: Jolt proofs are "directly" ZK, while others rely on "wrapping" their zkVM proof with a different proof system (often Groth16) to achieve ZK.

soundcalc [wip]: a universal soundness calculator for hash-based zkEVMs across multiple security regimes. A neat tool for zk researchers and engineers. github.com/ethereum/sound…

New work with Gal Arnon, Ale and Eylon! We show a few tricks to verify m evaluations of a univariate polynomials of degree d in time O(m + d) instead of the naive O(m*d) or O((m+d) * log^2(m + d)). This has applications to speeding the STIR verifier and PCS batching (and more?)

Among crypto projects, two that I really like and respect are both in the area of ZK-STARKs: 1. The Miden project (led by Bobbin's Threadbare)  Many years ago, when I first spoke to Bobbin, he told me he was really interested in ZK-STARKs. He basically started from his garage to build

1/11 Lean Ethereum is preparing for a PQ future. But how secure are the hash-based SNARKs powering it? A recent $1M prize by the EF sparked a flurry of papers. Here is the breakdown of the discussion between Nico, asanso.eth and Giacomo Fenzi for Zero Knowledge Podcast !🧵👇

🚀 New Plonky3 release just dropped. This is probably our most impactful and ambitious release so far: - MUCH faster lookups - High-arity folding - N-ary Merkle trees + Merkle caps - Major Poseidon2 optimizations - Poseidon1 support - And many more… Let’s break it down 👇