Last week we trespassed into the realm of RTP with 2 GPUs, this week we broke the 8 second barrier with zilkworm-airbender @eth_proofs Next-stop: Avg latency less than 10 seconds

Zilkworm-Airbender going toe-to-toe with 16-GPU provers on @eth_proofs Thanks to @fbwoolf for fixing our verifier on the site promptly.

GPU prices aren't gonna like this. Sub-12 second #etheruem #zkevm proving achieved on just 2 5090s ethproofs.org/clusters/5a74e… As a great man once said, "basically a toaster"

Zilkworm v0.1.0-alpha.1 is out 🚀 The first and only zkEVM with a full C++ stack including State Transition and EVM (EVMOne) moves one step closer to production. github.com/erigontech/zilkwo… Performance and strict testing standards have been the priority from the beginning of the project. Going forward we would also focus on security, robustness and interoperability. What's inside: 🔧 Pure C++ guest: compiled with GCC, we have removed all rust dependencies from the elf ⚡ EVMOne optimized for bare-metal RISC-V 64IM (SP1 Hypercube) 🧱 Full Osaka hardfork with native precompile implementations: BLS12-381 suite, modexp , P256verify, KZG verification 🔐 Crypto precompiles built-in (Keccak, BN254, BLS12-381, modexp, KZG, ecrecover) each accelerated by native SP1 ecalls 🌳 GridMPT: a stateless Merkle Patricia Trie built for zkVMs running on a fixed memory stack 🔩 Hand-tuned RISC-V memcpy from musl libc 🔋 Batteries included: CPU and NVIDIA GPU proving, including EthProofs integration out of the box ✅ Ethereum Execution Spec Tests across three architectures: native x86_64, rv32im, rv64im (qemu) 📦 Binaries with Docker image, ready to go (P.S. No worms or butterflies were harmed during the making of this release 🐛🦋)

New engineering note for Zilkworm. Malicious #ethereum blocks may collude with provers in a world without Full nodes (coming soon) Post-state root checks alone are insufficient. Here's a path forward with more state validation on witness for proving state transition A → B in #zkevm: On correctly verifying ExecutionWitness in Zilkworm zilkworm.hashnode.dev/on-cor…

Let's normalize 100% passing tests for #ethereum #zkevm with zilkworm. I'll update the docs site as I get time, meanwhile you can explore more at zilkworm.erigon.tech

EESTs have been the gold standard for fork-readiness and production fitness for EL clients. It's important to enforce these practices in the #Ethereum #zkEVMs too. Find out which tests failed for zilkworm, here's a quick guide: zilkworm.erigon.tech/documen…

As we gather around the Christmas Trie, wishes of happy holidays from the folks at @ErigonEth We wish you a Merry Christmas and many happy blocks in the new year! (image courtesy: Gemini. Joke courtesy: Elton)

Nothing to see here, just a few @eth_proofs provers stumbling after #Fusaka hard-fork. Our focus on high-performance ZKEVMs goes alongside our commitment to ensuring hard-forks are "boring". Fusaka upgrade is now live with Zilkworm. Future is now!

#Fusaka has finalized, happy hard-fork day!

We are all bracing for impact with a cup of hot chocolate or coffee, depending on the geo-location. Wish you all a boring #Ethereum #Fusaka hard-fork (scheduled at 3 Dec 21:49 UTC)

Nothing to see here, but a few @eth_proofs provers fumbling on this nasty block at 60M gas! Our continued focus with #ZKEVMs and scaling ELs is to tune better performance for blocks that inflict such disproportionately high cycles.

2 weeks of zilkworm-hypercube Averaging around 35-40 seconds of proving time (thanks @SuccinctLabs for the prover+new rv64 zkvm) But we are hitting 60M gas blocks where things may start to fall apart (see @eth_proofs dashboard) Efficiency is crucial in scaling #ethereum L1

I am sorry, EL clients will soon be a thing of past for consensus. There would be MEV builders, RPC/Data providers and ZK proof verification committees. We can enable this starting Glamsterdam even. It shouldn't be up to an EL client team to decide, but community as a whole