Formal Verification

Formal verification testing involves the repeated simulation of contract interactions against a series of written rules. This is a supplement to auditing that aims to reveal issues that may not have been exposed in a manual review.

Formal verification testing has been conducted via Certora and includes:

• Certora Formal Verification Report for Silo v1

• Certora Formal Verification Report for Chainlink Price Provider

We will continue this process for all major releases.