Security

Keeping contracts, protocols, treasuries, and keys safe.

2258 talks

• XMSS Signature Aggregation
• ArkLib: Verified Proof Systems in Lean
• leanVM-01: leanVM Crash Course and Sumcheck Optimization
• leanVM-02: Memory Models and Lookup Arguments
• leanVM-03: Compiler (Workshop)
• Why Smart Contract Audit is Not Enough
• Catalyzing BTCFi with Trustless Bitcoin Vault
• Cryptoidentity
• Episode 379 - Verifiable Key Management and TEEs with Turnkey
• EigenCloud: The Verifiable Cloud for the Agentic Era
• Digital Asset Security, Reinvented
• DOUBLE THREAT: Quantum and the Treasury Bubble
• ZK Whiteboard Sessions - S3M3: Lattice-based SNARKs, w/ Vadim Lyubashevsky
• Adversarial AI Agents for Web3 Security
• Scaling Smart Contract Security with AI
• Trillion Dollar Security
• The NPM Supply Chain Attack: A Wake-Up Call for Trustless Verification
• Trustless Ethereum as a Common Standard for dApps and IoT
• Verifiable Open Hardware Methodology: Building User-Centric Trust Anchors
• Killing with Keyboards: How Your Digital Footprint Can Be Weaponized
• The Future of zkVMs and Post-Quantum Signatures in Ethereum
• Trillion Dollar Security: The Future of Ethereum Security
• From Zero to Audited: My First Contract Security Audit
• Securing Billions in Crypto