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·422 readsDeep DivesSolidity
Ezequiel Perezeperez.blog·Sep 18, 2024Formal Verification: From Programs to FormulasImagine being able to prove that, no matter what inputs your program receives, certain properties or invariants will always hold by the end of the execution. This is what formal verification allows us to do, and in this article, we'll explore how to ...1 like·291 readsFormal Verification
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
Francisco Gutierrezfreefrancisco.hashnode.dev·Apr 19, 2023Which Language Will GPT Use When It Replaces All Programmers?No programmers in five years? A few weeks ago Emad Mostaque, the founder and CEO of Stability AI, made a bold prediction about the future of programming. He told the audience at Goldman Sachs 2023 Disruptive Technology Symposium that programming will...1 like·465 readsHaskell
Jordan Hallblog.oighty.com·Jun 9, 2022Dev's Journal 2Welcome back to the Dev's Journal. I'm going to try and make this a regular Thursday publication. The past week I mostly worked on project clean-up, bug fixes, researched formal verification, and did math. It was pretty fun. Building with Solmate Au...114 readsDev's JournalSolidity
