Video: https://youtu.be/Cj6nOyBnQiY Fast, Deterministic, and Verifiable Computations for Blockchains with WebAssembly Speaker: Mike Voronov, @VMS11 Deterministic computations are essential for building open blockchain networks where any state transition needs to be verified by multiple network nodes. In the Fluence network computations generally happen off-chain but can be partially repeated on-chain in the case if a dispute over computation results is raised. We will discuss how to achieve computational determinism for arbitrary WebAssembly programs; how to implement an on-chain dispute resolution by running a WebAssembly interpreter in an Ethereum smart contract; how to employ existing JIT technologies to achieve fast WebAssembly execution. Finally, how to efficiently merkelize virtual machine state, count spent gas, and resolve verification game disputes.