https://www.ryzhak.com/tags/formal-verification/Recent content in Formal-Verification on DeFi + TradFi = ♡Hugoen-USWed, 17 Dec 2025 08:36:59 +0000https://www.ryzhak.com/comprehensive-smart-contract-audit-with-certora-formal-verification/Wed, 17 Dec 2025 08:36:59 +0000https://www.ryzhak.com/?p=907Hey guys, in this blog post, we’re going to perform a security assessment of a smart contract and, with the help of Certora’s formal verification tool, try to prove there are no “High” severity issues residing in the source code.