--- title: "Dacian (@dacian) | Hashnode" description: "in your storage. Read the latest articles by Dacian on Hashnode." url: "https://hashnode.com/@dacian" --- @dacian # Dacian @dacian · in your storage · Joined February 2023 in your storage [Website](https://dacian.me/) ### [Using Claude To Evolve Specialist AI Smart Contract Auditors](https://dacian.me/using-claude-to-evolve-specialist-ai-smart-contract-auditors?utm_source=hashnode&utm_medium=feed) In 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.me](https://dacian.me/using-claude-to-evolve-specialist-ai-smart-contract-auditors?utm_source=hashnode&utm_medium=feed) [1](https://hashnode.com/posts/using-claude-to-evolve-specialist-ai-smart-contract-auditors/68679fe39fe62b4d5aeaf58c) [Jul 4, 2025](https://hashnode.com/posts/using-claude-to-evolve-specialist-ai-smart-contract-auditors/68679fe39fe62b4d5aeaf58c) ### [The Yieldoor Gas Optimizoor](https://dacian.me/the-yieldoor-gas-optimizoor?utm_source=hashnode&utm_medium=feed) Learn to write gas-efficient Solidity code using a real-world example! 15 min read · [dacian.me](https://dacian.me/the-yieldoor-gas-optimizoor?utm_source=hashnode&utm_medium=feed) [Mar 17, 2025](https://hashnode.com/posts/the-yieldoor-gas-optimizoor/67d7faff2b8e231e3598cbe0) ### [DeFi Liquidation Vulnerabilities](https://dacian.me/defi-liquidation-vulnerabilities?utm_source=hashnode&utm_medium=feed) Liquidation code can contain subtle bugs and vulnerabilities.. 28 min read · [dacian.me](https://dacian.me/defi-liquidation-vulnerabilities?utm_source=hashnode&utm_medium=feed) [2](https://hashnode.com/posts/defi-liquidation-vulnerabilities/679229c171933f8ad564cba1) [Jan 23, 2025](https://hashnode.com/posts/defi-liquidation-vulnerabilities/679229c171933f8ad564cba1) ### [Find Highs Before External Auditors Using Certora Formal Verification](https://dacian.me/find-highs-before-external-auditors-using-certora-formal-verification?utm_source=hashnode&utm_medium=feed) At 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.me](https://dacian.me/find-highs-before-external-auditors-using-certora-formal-verification?utm_source=hashnode&utm_medium=feed) [Nov 29, 2024](https://hashnode.com/posts/find-highs-before-external-auditors-using-certora-formal-verification/67499f8da07ccaaa28e34057) ### [Find Highs Before External Auditors Using Invariant Fuzz Testing](https://dacian.me/find-highs-before-external-auditors-using-invariant-fuzz-testing?utm_source=hashnode&utm_medium=feed) Many 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.me](https://dacian.me/find-highs-before-external-auditors-using-invariant-fuzz-testing?utm_source=hashnode&utm_medium=feed) [1](https://hashnode.com/posts/find-highs-before-external-auditors-using-invariant-fuzz-testing/673054b9489def4b073fcb43) [Nov 10, 2024](https://hashnode.com/posts/find-highs-before-external-auditors-using-invariant-fuzz-testing/673054b9489def4b073fcb43)