CodeWasp
We are a team of security researchers from the formal methods community with broad expertise in rigorous software development, development of automated blockchain testing solutions, formal verification, and comprehensive security audits.
Team members
Helped secure (7)
Helped Secure
Highlights
- 💪18th place·
Panoptic
- 💪43rd place·
Renzo
Identified 1 medium risk findings
- 👋🏻106th place·
DYAD
Identified 2 high risk findings