Helped secure (13)
Helped Secure
Highlights
- 馃挭16th place路
Blend V2 Audit + Certora Formal Verification
Identified 2 high risk findings
- 馃挭40th place路
ParaSpace
Identified 1 medium risk findings
- 馃挭51st place路
QuickSwap and StellaSwap
- 馃挭67th place路
Escher contest
Identified 1 high risk and 1 medium risk findings
- 馃挭85th place路
RabbitHole Quest Protocol
Identified 1 high risk findings