Derek Sorensen

Derek Sorensen is a research engineer at the Ethereum Foundation focused on formal verification in Lean. His work includes cryptographic specifications, Rust verification, and production code written directly in Lean.

8 talks by Derek Sorensen

• evm-asm: Experiences Writing the EVM, Directly in Risc-V Assembly
• Formal Verification in Lean
• Reducing the Trust Surface
• L1 zkEVM Breakout #5
• Post-Quantum Interop Call #38
• Post-Quantum Interop Call #35
• L1 zkEVM Breakout #3
• Safely Snarkifying Ethereum: Formal Verification and Protocol Snarkification