Leo Alt

Leo Alt co-founded powdr labs, which develops tools for zero-knowledge proofs.

11 talks by Leo Alt

• L1 zkEVM Breakout #1
• Lightning Talk: Autoprecompiles: Compiler-Based Acceleration for zkVMs by Leo Alt, powdr
• The Future of ZK Tooling: Insights from powdr
• Compiler-based optimizations for zkVMs
• Leo Alt of powdr labs @ ZK Hack Meetup in Berlin, 24 Apr 2025
• Building Efficient zKVMs with Multi-Power Support | Leo Alt (September 2024)
• Building an End-to-End EVM Symbolic Execution Engine in Solidity by Leo Alt | Devcon Bogotá
• The Showdown: Best Ethereum Language | Devcon Bogotá
• Fully Automated Formal Verification
• Fully Automated Inductive Invariants Inference for Solidity Smart Contracts by Leo Alt (Devcon5)
• All Core Devs - Execution #67