Arithmetic-friendly hashes have long been one of the weakest pieces of prover cryptography. With ZisK v1.3.0, we removed Poseidon entirely and moved to BLAKE3. What surprised us is that we got the same performance — or even better. After many optimizations elsewhere in the prover, hashing had become one of the most time-consuming parts of proof generation. BLAKE3 is more than an order of magnitude faster, making this cost almost disappear and largely compensating for the increased complexity of the recursion circuit. Getting there required a lot of re-engineering: circuit sizes, prover scheduling, and architecture all had to be reconsidered around the new trade-offs that BLAKE3 gives us. The final result surprised even us. There is a lot of focus today on binary-field proving. Binary fields attack the hash-proving bottleneck from a different direction, but introduce different trade-offs when proving regular arithmetic. There is a huge amount of research happening here, and at ZisK we are following it very closely. I'm genuinely curious to see whether binary-field architectures will outperform what we can achieve with the current approach — and how long it will take. So I like to think of v1.3.0 as setting a new target. 🎯 To everyone working on binary fields — and to all of us trying to make provers faster: let's see if we can beat it :) And we still have a few optimizations in the basket.

Real-time proving moves to viable infrastructure. This unlocks synchronous composability. In a talk at @EthPrague, @jbaylina revealed how @ziskvm solved the fundamental bottleneck in zero-knowledge proving: latency. The @ziskvm team has been asking: Can we prove an Ethereum block in real time? The answer, with benchmarks: Yes. Under 3 seconds from bundle to proof. Basically it's the technical spine of the @etheconomiczone framework to reunify fragmented Layer 2s through synchronous composability. So let's dive into it Zero-knowledge proving is parallelizable... except for the one thing that matters most: execution. When you prove a program, you must execute it step-by-step. You can parallelize witness computation (turning execution traces into constraints), GPU cryptography (Fourier transforms, polynomial commitments etc), and proof aggregation. But execution itself is serial. This creates a hard ceiling: You cannot prove faster than the code executes. For Ethereum blocks (thousands of transactions), this means minutes of latency. For cross-chain composability, minutes are unacceptable. You have 12 seconds per Ethereum slot to: 1. Bundle transactions from multiple rollups 2. Prove they're atomic (all succeed or all fail) 3. Settle on Ethereum mainnet The math doesn't work. Unless you solve the execution bottleneck. Zisk's innovation is smart. Don't speed up execution. Parallelize everything else so much that execution becomes irrelevant. The five techniques they have 1. Pipelining: prove while preparing 2. Precompiles: offload to native code 3. Transpilation: Run RISC-V at Intel speeds 4. Memory Logging: Enable multi-process execution 5. Distributed Proving: Cluster-ccale parallelization More importantly: Proving can be decentralized. No central coordinator needed—just minimal, deterministic coordination. So, why this matters for @etheconomiczone? The @etheconomiczone is a framework to unify fragmented Layer 2s through synchronous composability. The problem it solves: Today, if you want to swap on your fav DEX (Ethereum) and borrow from lending market (let's say on Arbitrum) in one transaction, you can't. You bridge and take risk. (async, risky, slow etc). The EEZ solution: 1. Bundle transactions from both L2s and Ethereum 2. Prove they're atomic (execution tables) 3. Settle on Ethereum For this to work, proving must be fast enough to fit in Ethereum's block time. @ziskvm makes this feasible. Without real-time proving: EEZ becomes another bridge ecosystem (async, complex, risky). or With real-time proving: Atomic composability is possible within 12 seconds. What's next - v1.0 beta coming in weeks - Formal verification is ongoing - Security audits are underway - This is bleeding-edge, not battle-tested like Ethereum - The team has 5+ years building Hermez and Polygon zkEVM in production - The code is open-source and testable now @jbaylina's message is super clear. The technical bottleneck is solved. It works. Now let's decentralize it and handle edge cases. The @etheconomiczone is no longer a vision. It's a technical feasibility with real benchmarks. Now the work is hardening, auditing, and decentralizing. But the core breakthrough is proven. Totally worth a watch ↓ link ↓

This year, @EthPrague was lean in the best way. Municipal House was an amazing venue — historic, but practical — which meant fewer distractions and more builder-focused convos. Kudos to the organizers for making it happen despite the challenges. The @VitalikButerin × @jbaylina fireside on upgraded rollups was a highlight. And as always, familiar faces made it worth showing up. See you soon at @proofoftalk in Paris!

"We are able to extend the @ethereum through a real-time proving and synchronously composable rollup framework." @VitalikButerin interviewed with @jbaylina about the technical primitives of the @etheconomiczone at @EthPrague, diving deep into solving the L2 fragmentation problem through real-time proving and synchronous composability.

EEZ is heading to @EthPrague! 🇨🇿 Join the EEZ in Prague for two essential sessions: • @jbaylina presents @ziskvm: A fully open-source zkVM engineered to minimize proof generation times without compromising the security at the heart of the EEZ. • Fireside Chat: A featured discussion between @jbaylina and @VitalikButerin. Our team will be on-site to discuss infrastructure, integration, and the future of the EEZ ecosystem. See you at @EthPrague.

EEZ lands in Tokyo this Monday 🇯🇵 Co-Initiator of EEZ @tw_tter is virtually joining Ethereum Meetup Vol.22 to unpack what the Ethereum Economic Zone is, and what it takes to turn Ethereum's neutrality into real economic ground. 👇

If you’re tired of watching exploits dominate the timeline, this is your moment to act. The Ethereum Security QF Round is LIVE! Support the people and projects securing Ethereum and its L2s. 500 ETH (~$1M+) in matching from @thedaofund. Explore & donate:

EEZ is building toward an ecosystem where rollups compose like one chain, while remaining economically and socially aligned with Ethereum. Real-time proving enables this, as @jbaylina expands on below: