Awesome
Secureum Certora Contest
This is my submission for the CAREX Certora March23 contest. The goal was to generate Certora specs for the Synthetix StakingRewards.sol contract.
The main file containing the rules is StakingRewards.spec.
This is my submission for the CAREX Certora March23 contest. The goal was to generate Certora specs for the Synthetix StakingRewards.sol contract.
The main file containing the rules is StakingRewards.spec.