July 11, 2022
This document describes the specification and verification of Silo’s protocol using the Certora Prover. The work was performed between May 7, 2022 to Jul. 15, 2022 while the code was still in development. The scope of this verification is Silo’s protocol and contracts related to it:
The Certora Prover proved the implementation of the protocol is correct with respect to formal specifications written by the Silo team and reviewed by the Certora team.