David PearceDavid Pearce researches formal verification for smart contracts and programming languages.3 talks by David PearceAn Assembly Language for building zkEVMs.Formal Verification in the Ethereum Protocol: Current Status and Future Directions | Devcon SEAFormal Verification of EVM Bytecode