schedule.sh
root@terminal:~/include-crypto$cat schedule.json | jq '.days[]'
#
Schedule
// theme: Foundations & Protocol Engineering
filter_track:
KEYNOTE
TALK
WORKSHOP
PANEL
BREAK
INFO
SOCIAL
08:00INFORegistration & Badge Pickup
09:00KEYNOTEThe Next Decade of Cryptographic Infrastructure>
09:50TALKWriting a PLONK Verifier in Rust From Scratch>
09:50WORKSHOPHands-On: Circom Circuit Design for Beginners>
09:50TALKFormal Verification of Smart Contracts with K Framework>
10:30BREAKCoffee Break
10:50TALKMEV: Anatomy of a Sandwich Attack at the Mempool Level>
10:50TALKBLS Signatures: Aggregation, Rogue-Key Attacks, and Mitigations>
11:30TALKPost-Quantum Signatures for Blockchain: CRYSTALS-Dilithium in Practice>
11:30WORKSHOPHands-On: Fuzz Testing Solidity with Echidna>
12:15BREAKLunch
13:30TALKInside Ethereum's Engine API: How the CL Drives the EL>
13:30TALKVerkle Trees: State Expiry and Statelessness in Ethereum>
14:10TALKWriting a Bitcoin Script Interpreter in 200 Lines of C++>
14:10TALKThreshold Signatures: FROST in Production>
14:10WORKSHOPHands-On: Build a Mini L2 Rollup in Go>
15:00BREAKCoffee Break
15:20TALKAuditing DeFi Protocols: A Post-Mortem Tour of Eight-Figure Hacks>
15:20TALKLibSodium vs BoringSSL vs OpenSSL: Choosing Primitives for Crypto Apps>
16:05TALKChannel Factories: Scaling Bitcoin's Lightning Network>
16:05TALKHardware Wallets: Attacking and Defending the Secure Element>
17:00PANELPanel: Is ZK the Endgame for Blockchain Scalability?>
18:00SOCIALNetworking Reception & Drinks
// 23 events shown - click any talk, workshop, or panel to expand