Overview of the Last Year of Audits, Reviews, and Proofs
summary
Magic Grants funds and contracts specific security work: Veradise produced divisor security proofs (May–Jun 2024) and did formal verification of gadgets/circuits (Apr–May 2025); Cipherstack submitted modified divisor proofs in June 2025 and a third-party review (e.g. ZK Security) is planned. Trail of Bits audits Sarai smart contracts with zero high/medium findings; Hashcloak is ~75% through EVRF/DKG review. Built results include TrueNAS Monero apps and a Rust Monero Explorer on CupRate that matches Onion Explorer throughput while being more stable; ongoing RPC fuzzing fundraising.
AI-written summary · about
chapters (15)
- 0:00Magic Grants mission
- 1:26Origins and community
- 3:52Security audits process
- 5:58Monero contributions
- 7:21FCMP++ proofs progress
- 9:05Divisor proof challenges
- 10:52Next steps for FCMP++
- 11:36Elliptic curve contests
- 13:03Multisig and GSP audits
- 14:08Sarai DEX security review
- 15:33EVRF and DKG security Sarai
- 16:36Magic Monero Fund fuzzing
- 17:59TrueNAS Monero setup
- 19:03Rust Monero Explorer API
- 20:28Stay updated and contribute
related talks
57mSecurity Engineering: Zcash Ecosystem Security and Learning From Safety-Critical Disciplines
01h 00mKeynote: Bringing Verified Cryptographic Protocols to Practice
01h 04mSoftware Verification meets Real-World Cryptography
30mSmart-Contract Security 201: Auditing Lessons for Solana Founders
19msub0 Asia 2024 - Philip Stanislaus and Christian Vari (Oak Security)
24m500 days of Security Summer
51mA Deal with the Devil: Breaking Smart Contracts
15mWhy Smart Contract Audit is Not Enough