Silo Protocol
Silo
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:
/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.