https://www.ryzhak.com/categories/solidity/Recent content in Solidity 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.https://www.ryzhak.com/practical-guide-to-ethereum-part-17/Sat, 06 Jan 2018 23:01:48 +0000http://www.ryzhak.com/?p=415In this tutorial we are going to write a smart contact in Solidity language that can prove file ownership.