24:31Agent Buttercup - running agent-based models (ABMs) in an EVM environment.Spearbit385 views·2 years ago
37:55Arbiter - EVM logic simulator for security and performance testingSpearbit1.1K views·2 years ago
49:40Circuit Safety and an Introduction to Noir with Maddiaa & Maxim (Aztec Network)Spearbit928 views·3 years ago
37:04Numerical Analysis for DeFi Audits A TWAMM Case Study by Kurt BarrySpearbit1.4K views·3 years ago