Daciandacian.me·Nov 29, 2024Find 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...12 likes·428 readsDeep DivesSolidity
BAHOZblog.bahoz.xyz·Nov 26, 2023Formal Verification Foundations-1: LogicWhat is Propositional Logic? Propositional logic, a subset of mathematical logic, is a symbolic language that allows us to formalize and analyze arguments and assertions. At its core, propositional logic deals with propositions, which are statements ...229 readsFormal Verification of Smart Contracts Using Certoracertora
