PT8M32SLightning Talk: Proof Orchestration in Rust: Scaling Proof Workflows by Mohsen Ahmadvand, ZircuitDec 8, 2025
PT10M1SLightning Talk: Autoprecompiles: Compiler-Based Acceleration for zkVMs by Leo Alt, powdrDec 8, 2025
PT11M7SLightning Talk: Binius64: Binary Proofs for Bitwise Operations by Jim Posen, IrreducibleDec 8, 2025
PT10M4SLightning Talk: SP1 and Subblocks: Low Latency Ethereum Block Proving by Yuwen Zhang, SuccinctDec 8, 2025
PT9M37SLightning Talk: Expanding Ethereum’s Proving Landscape with Ethrex by Leandro Ferrigno, LambdaClassDec 8, 2025