ethereum block proving now under 1 min+1 cent with Airbender ethproofs.netlify.app/blocks

Airbender enters the Ethproofs leaderboard as the fastest zkVM! Airbender proves ZKsync chain blocks in ~1 second, and is now proving Ethereum blocks in under 50 seconds on a single GPU, helping push the Lean Ethereum roadmap forward.

Airbender just took the crown 👑 The fastest zkVM in the world, built by @ZKsync, now #1 on the Ethproofs leaderboard! Huge congrats to the team! 🚀

Just published a simpler proof of the RBR soundness of FRI! Work with Albert Garreta | Hiring | Nethermind and Benedikt Wagner I also wrote a blog post explaining the high level ideas of the proof. All you need to know is how to colour a graph! Links to paper and blog below 1/3

🧑‍🍳

Crypto needs to aid people, not consume their lives. Investments, but not addiction

Have been turning off the phone for large parts of the day. Highly recommend it. Bring a book for when you have breaks.

Unsolicited advice to zero-knowledge system learners. I’m a cryptographer, not a ZK specialist, who spent years lost in the Cambrian explosion of ZK systems. Every time I sat down to learn the new cool kid, say Plonk, an even cooler kid arrived, Halo or the next thing.

You should come to Ethproofs call 6. This Friday. 2pm UTC. a) ecosystem updates (2min + Q&A each—40min total) b) proximity gaps presentations (1h20m) * Ziyi Guan: distance preserving generators * Angus Gruen & Ben Diamond: up-to-capacity conjecture invalidation * Swastik

The week’s proximity-gap papers: - Guan et al. – Polynomial generators preserve distance up to Johnson eprint.iacr.org/2025/2010.pdf - Diamond & Gruen – Random words disprove “up-to-capacity” conjecture eccc.weizmann.ac.il/report/2025/16… - Kopparty et al. – Stronger Reed–Solomon gaps: O(1/η⁵)

👀 so many proximity gaps papers!!

I’m excited to share our new paper! TensorSwitch is a hash-based polynomial commitment with asymptotically optimal parameters: linear prover time and O(λ) queries. With Benedikt Bünz ☕️, Giacomo Fenzi, Ron Rothblum You can find it here: ia.cr/2025/2065

over the long run, shipping products will be the great differentiator between crypto companies that survive and ones that don't. focus all of your energy on transforming ideas into products, and you should be good

Wintermute

Friendly reminder that you can always just fork Airbender to natively run your own custom Rust programs. Then you’ll get insane performance (much higher than emulated EVM chains), which just might be enough for your arcane cryptographic protocol..

Some exciting developments in the private blockchain world..

Visualizing Proximity Gap Theorem used in FRI Both blue points are close to some green ball then almost all pink points are close to some green ball if a blue point is far from all green balls, then almost all pink points are far from green balls desmos.com/calculator/k6r…

insanely BULLISH for ethereum scaling roadmap. JUST IN: ZKSync's airbender team demonstrates two 5090 GPUs can generate a proof for every ethereum L1 block. it means: - block gas limits can increase safely - L2s get cheaper - blob usage goes up - ETH burn intensifies -

Only better and better..