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:

/lib/EasyMath.sol

/lib/Solvency.sol

/priceProviders/balancerV2/BalancerV2PriceProvider.sol

/priceProviders/uniswapV3/UniswapV3PriceProvider.sol

/utils/GuardedLaunch.sol

/utils/Manageable.sol

/utils/ShareCollateralToken.sol

/utils/ShareDebtToken.sol

/utils/TwoStepOwnable.sol

InterestRateModel.sol

PriceProvidersRepository.sol

Silo.sol

SiloFactory.sol

SiloRepository.sol

TokensFactory.sol

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.