Helped secure (13)
Helped Secure
Highlights
- 馃挭16th place路
Blend V2 Audit + Certora Formal Verification
Identified 2 high risk findings
- 馃挭44th place路
ParaSpace
Identified 1 medium risk findings
- 馃挭66th place路
QuickSwap and StellaSwap
- 馃挭92nd place路
Escher contest
Identified 1 high risk and 1 medium risk findings
- 馃憢馃徎167th place路
RabbitHole Quest Protocol
Identified 1 high risk findings