Peteris

Security portfolio

Name	Description
Aave - Reward Distributtor Formal Verification Contest	Formal verification contest; the goal of the contest is not just finding bugs, we are looking for implementations of properties in CVL (Certora Verification Language) which can either uncover bugs or prove properties of the contract always hold. https://github.com/Certora/aave-v3-periphery_contest/blob/certora/README.md	Read more