Ethereum

Hey 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.

In this tutorial we are going to write a smart contact in Solidity language that can prove file ownership.