Formal Verification with Martin Lundfall
Zero Knowledge
00:00
Formal Verification and Smart Contracts in WASM
This chapter explores the process of formal verification in smart contracts written in WASM, discussing its application in Ethereum and the exciting prospects with the transition to WASM. They also touch upon the challenges of formally verifying the EVM implementation and the need for a canonical spec for the EVM.
Transcript
Play full episode
