zooko🛡🦓🦓🦓 ⓩ
142.9K posts

zooko🛡🦓🦓🦓 ⓩ
@zooko
Freedom maximalist. Good vibes only.



This is exciting work from @powdr_labs: ~1.5x speedup & a 5x-6x reduction in memory from ZK proving WASM instead of RISC-V 🔥 (and this is without circuit optimizations, autoprecompiles, etc) While most zkVMs currently prove the RISC-V ISA because of advantages like a limited instruction set, it is far from obvious RISC-V will continue to be the winner in the long term. It’s worth keeping in mind how new the field of zkVMs is: @RiscZero released the first production grade zkVM only in 2022, and commercially viable real-time mainnet EVM proving was only just achieved earlier in 2025 by @SuccinctLabs This is why we at @Offchain proposed that @ethereum L1 should use WASM as the delivery ISA instead of RISC-V. WASM is designed as intermediate abstraction layer rather than the final execution target. WASM as a dISA can allow smart contract proving (including proving on RISC-V or WASM or other more ZK friendly ISAs), programming, and execution to evolve freely, rather than constraining each other. This is separation of a delivery ISA from a proving ISA is what we already do today for ZK proving @Arbitrum with Succinct’s SP1 Hypercube. By compiling WASM code into RISC-V code, we are able to ZK-prove not only the core Arbitrum STF, but also user-supplied Arbitrum Stylus smart contracts written for WASM (including Rust, C/C++, Move, AssemblyScript based programs)

Kinds of “testnets” and why you might want one: forum.zcashcommunity.com/t/zcash-networ…


CipherPay has been added to our list of Zcash Payment Processors!!! Start accepting private, non-custodial $ZEC payments today. Its literally never been easier ➡️ cipherpay.app



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 ↓














