Using Claude To Evolve Specialist AI Smart Contract AuditorsIn recent times a number of web3 security companies have begun offering paid “AI Smart Contract Auditor” services. These services commonly require clients to upload code to a website and after paying a fee, receive an AI-generated audit report. A muc...7 min read·dacian.me11CJul 4, 2025
The Yieldoor Gas OptimizoorLearn to write gas-efficient Solidity code using a real-world example!15 min read·dacian.me1Mar 17, 2025
DeFi Liquidation VulnerabilitiesLiquidation code can contain subtle bugs and vulnerabilities..28 min read·dacian.me12O_Jan 23, 2025
Find Highs Before External Auditors Using Certora Formal VerificationAt DeFi Security Summit 2024 I presented a workshop on how smart contract developers can use invariant fuzz testing to find high severity issues prior to external audit, based on my real-world experience doing private audits with Cyfrin. Since fuzz t...26 min read·dacian.me1Nov 29, 2024
Find Highs Before External Auditors Using Invariant Fuzz TestingMany high severity findings found during private audits by external auditors could have been found by the protocol developers themselves using invariant fuzz testing prior to engaging external auditors. While this doesn’t require developing an “attac...14 min read·dacian.me11FNNov 10, 2024
