Charles Cooper

Charles Cooper is a core developer of Vyper, a programming language for Ethereum smart contracts that compiles to Ethereum Virtual Machine bytecode. The project’s security work includes differential testing to check whether compiled contracts preserve the intended behavior of the source program. One such approach uses Ivy, an interpreter that provides an independent reference for comparing program execution with the compiler’s output.

24 talks by Charles Cooper