The Yieldoor Gas Optimizoor
Learn to write gas-efficient Solidity code using a real-world example!
Mar 17, 202515 min read743
Command Palette
Search for a command to run...
#web3
Articles tagged with #web3
DeFi Liquidation Vulnerabilities
Liquidation code can contain subtle bugs and vulnerabilities..
Jan 23, 202528 min read8.9KFind Highs Before External Auditors Using Certora Formal Verification
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...
Nov 29, 202426 min read1.8KFind Highs Before External Auditors Using Invariant Fuzz Testing
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...
Nov 10, 202414 min read3.8KSolidity Inline Assembly Vulnerabilities
Using assembly to save gas can introduce memory corruption and other subtle vulnerabilities..
May 29, 202422 min read3.7KDAO Governance DeFi Attacks
On-chain DAO Governance protocols create a large attack surface for creative exploitation..
Nov 10, 202330 min read4.5K