Security
Keeping contracts, protocols, treasuries, and keys safe.
2258 talks
- Lean 4 語言體驗心得與軟體的未來
- Episode 404 - Pushing the Limits of Proof Systems with Benedikt Bünz
- The case for Bitcoin as one of the world's four most important technologies
- The Bottom Signal Everyone Is Watching
- Are Claude's Max Plans Being '100x Subsidized'? - Uneasy Money
- Saylor's Lesson, Zcash's Crash & AI Coming for Crypto - The Chopping Block
- Bits + Bips: How Claude Found Zcash's Counterfeiting Bug
- Five Bitcoin bear cases examined: Sam Callahan
- Mert Mumtaz & Illia Polosukhin: What Happened to Zcash (Full Explanation)
- Is DeFi Unsafe? Saylor's Sale, ETH Brain Drain & Hyperliquid - The Chopping Block
- 🚨LIVE: From CT Digital Forum Future Fest At UCONN
- Crypto Built the Rails: Next Up Operating Them Safely
- Using LLM Generated Formal Specs to Prevent the Next DeFi Hack
- Goodbye YOLO Signing
- Beyond Multisigs: Execution Controls for Humans and Machines
- Fireside Chat: Verifiable AI Agents with Sreeram Kannan and Nikita Sachdev
- Proving Ethereum in Real Time with OpenVM 2.0
- Enforceable Guardrails for Agentic Finance
- Trusting Agents With Capital: The Gearbox Playbook
- Ethereum in the Decade of Adoption
- Protecting Digital Public Spaces in the age of the AI Botnet Swarm
- Cypherpunk Is Dead, Long Live Cypherpunk
- Crypto x AI, AI x Crypto: A Survey
- Why Institutional Custody Breaks on Shielded Chains