Deterministic Wasm for Web3

on YouTube ↗27m

" summary

Proposal to run deterministic WebAssembly as the chain VM with static verification and metering: bytecode stays standard Wasm (no changes) but contracts that use disallowed features like floating point are rejected, and nodes run a static metering pass that splits cost into precomputed block charges and runtime state costs by inserting use-gas checks. Example: Go “hello world” compiles to ~1 MB today because of bundled GC support; plan is testnet relaunch, add he wasn't runtime hooks and optional pre-compiles to replace slow EVM behavior.

AI-written summary · about

" chapters (11)

1. 0:00Introduction
2. 3:09Why WebAssembly for Web3
3. 8:40WebAssembly beyond browser
4. 12:39WebAssembly flexibility and extensibility
5. 14:50EVM limitations
6. 15:11Introducing Deterministic Wasm
7. 16:14Removing non-determinism
8. 17:20Metering costs
9. 21:55Gas costs for Wasm
10. 23:35Benchmarking Wasm
11. 25:10Next steps

" related talks

• 33mKeeping the asm in Wasm – Running high-level languages on a low-level VMAndreas Rossberg · DLS 2023
• 01h 08mOn WebAssemblyAndreas Rossberg · POPL 2022 Virtual Workshop
• 36mBringing honest computing to the WASM worldEtienne Bossé · Wasm I/O 2025
• 22mThe state of WebAssemblySendil Kumar N · Frontend Love 2020
• 40mWebAssembly - The Future of Distributed ComputingKevin Hoffman · Craft Conference 2022
• 43mMeet Your Future - WebAssemblyAdrian Mouat · Craft Conference 2021
• 26mWebAssembly for a Reactive Internet of ThingsColin Breck · Reactive Summit 2022
• 33mThe Buzz About Green Tech: WebAssembly's Impact on Carbon Footprint ReductionChristoph Voigt · WasmCon 2023