🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

🤯 real-time proving is here 🤯 Mainnet EVM blocks proven in under 1 Ethereum slot (12s). Goosebumps. Succinct proves every Ethereum L1 block: → 94% in <12s → 99% in <13s → 99.9% in <12s, soon™ Yesterday RISC Zero unveiled a $120K home GPU cluster—proofs expected in

First major tag of the Ethereum standardized zkEVM benchmarks now available: github.com/ethereum/execu… Joint effort with Kev, Paweł Bylica, and MarioVega.eth 🦇🔊. Part of a bigger project to have a more streamlined analysis for potential protocol changes in a zkVM world.

Ethproofs Call #2 | real-time proving youtu.be/f5AvMBUV4WY?fe… via YouTube

Joint work with Linea and Alpen Labs to reduce ECC proving time. This is the opportunity to update protocols to bls12-381 without extra proving cost. eprint.iacr.org/2025/933

Just dropped our thoughts on EVM 2.0 on Ethmagicians. We see 3 options: (1) execution optimized, (2) ZK optimized, (3) 2-step approach: HLL->blockchainVM->ZKVM. We suggest exploring all 3 (we took (3) with Cairo but Ethereum should look at all). ethereum-magicians.org/t/evm-2-0-prov…

Wary of giving out your phone number? 📞 WhatsApp is set to launch usernames, allowing users to chat with each other without exchanging phone numbers. This move is good for privacy, let's explore why... 1/7

And now on to optimize for performance! We already have several paths in the work (small fields, assembly implementation for fast paths, distributed prover).

RVT muudab oma seisukohti nüüd juba pea ülepäeviti, aga auditiraporti põhjal tundub, et audiitor Koitmäe väidetud "pistelisi kontrolle" poleks 2023 isegi mitte saanud teha, sest tal polnud valimiste käigus kordagi ligipääsu vajalikele andmetele. gafgaf.infoaed.ee/posts/korrupts… #ehääletus

🔥 3rd zkVM lands on Ethproofs 🔥 Big congrats to Brevis for integrating Pico—a blazing-fast RISC-V zkVM with killer performance even on a single 4090. 10 zkVMs can prove mainnet Ethereum—who's next? 👀

AIR encoding of BLAKE2 / BLAKE3 by StarkWare 🐺🐱 hackmd.io/@starkware-hac…

Zero Knowledge Podcast Anna Rose Nico Google The source code is now open to all github.com/google/longfel…

Quanta's take on the Fiat-Shamir and GKR paper

❄️ ICICLE v4 is here, and it’s our biggest release yet. ➡️ github.com/ingonyama-zk/i…

Continuing on my "I know probably no one cares anymore about Bandersnatch", here is a repo that compares Bandersnatch to Jubjub in-circuit: github.com/yelhousni/jubj… TL;DR: Jubjub is actually better in-circuit.

However when an efficient endomorphism exists, we can turn it to a n/4-bit 4-MSM. But the repo shows that in (native) circuits this is more costly. This is because 4-bit lookups become expensive compared to native arithmetic. I tried with a multiplexer and logup argument.

In addition to implementing every elliptic curve out there, Youssef | yelhousni.eth is now also the art director @ gnark

1/ 🧵 (re-)Announcing ZKarnage! 💥 With support from an Ethereum Foundation grant and in collaboration with Ethproofs, we're launching a live stress-test of ZK provers on mainnet. We're about to find out how resilient these critical systems really are.

1. expose native binding to gnark go code in our prover github.com/unionlabs/unio…