08:30-09:30
Registration and networking breakfast
09:30-09:40
Opening remarks
Tomasz Stanczak | Nethermind
09:40-10:00
White-labeling resistance for Lido: Systematization of knowledge, research, and mechanism design
Jorge Arce-Garro | Nethermind
10:00-10:20
Delegated time-lock puzzle
Aydin Abadi | University College London
10:25-11:15
Panel: Rollups design—From off-chain to on-chain
Keng Lim | Taiko
Mohammad Jahanara | Scroll
Patrick McCorry | Arbitrum
Jorik Schellekens | Starknet lead at Nethermind
Moderator: Swapnil Raj | Nethermind
11:20-11:40
EIP-4844 economics and rollup strategies
Akaki Mamageishvili | Offchain Labs
11:40-12:00
Designing the distributed validator protocol
Oisín Kyne | Obol
12:05-12:45
Panel: Decentralization—Why client diversity matters
Marius van der Wijden | Geth
Michael Sproul | Lighthouse
Gary Schulte | Besu, Consensys
Marek Moraczyński | Nethermind
Moderator: Ken Smith | Nextblock Solutions
12:45-13:55
Lunch break - Local Lotus Restaurant
14:00-14:20
Deconstructing PBS in the L2 landscape
Quintus Kilbourn | Flashbots
14:20-14:40
Stakesure: Proof of Stake mechanisms with strong crypto-economic safety
Sreeram Kannan | EigenLabs
14:45-15:30
Panel: Solo stakers
Soubhik Deb | EigenLayer
Darren Langley | RocketPool
Dmitry Gusakov | Lido Community Staking
Moderator: Michal Zajac | Nethermind
15:35-15:55
The elephant in the room: DeFi, cloud computing & (de)centralization
Vitaly Yakovlev | ZKX
15:55-16:15
Achieving composability between public and private state
Rahul Kothari | Aztec
16:15-16:35
The future of DeFi—Token plugins
Kirill Kuznetcov | 1inch
16:35-17:00
Coffee break with snacks
17:00-17:20
Shutterized Gnosis Chain
Jannik Luhn | Shutter Network
17:25-17:50
Panel: At the forefront of ZK—ZK-VMS and ZK-security
Grigore Rosu | Runtime Verification
Alp Bassa | Veridise
Misha Komarov | =nil; Foundation
Moderator: Julian Sutherland | Nethermind
17:55-18:15
(Almost) effortless formal verification of ZK-circuits: RISC Zero’s Zirgen MLIR
Julian Sutherland | Nethermind
18:20-18:45
Panel: The future of runtime monitoring
Caner Çıdam | OpenZeppelin-Forta
Sultaan Qazi | CyVers
Moderator: Tayfun Sur | Nethermind
18:45-19:15
Panel: Data availability
Nick White | Celestia
Anurag Arjun | Avail
Charles Lu | Espresso
Moderator: Swapnil Raj | Nethermind
19:15-19:20
Closing remarks