PortfolioCertora Leaderboard Badger eBTC x Certora Formal Verification Competition (Github, Nov 2023, #2 place) Euler v2 x Certora Formal Verification Competition (Github, June 2024, #3 place) Uniswap v4 x Certora Formal Verification Competition (Github, Sept 2024, #2 place)
Certora Leaderboard Badger eBTC x Certora Formal Verification Competition (Github, Nov 2023, #2 place) Euler v2 x Certora Formal Verification Competition (Github, June 2024, #3 place) Uniswap v4 x Certora Formal Verification Competition (Github, Sept 2024, #2 place)