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

Overview

Earnings

$8.7K

Total

$--

Last year

Rankings

#416

All-time

#--

Last year

Valid findings

6

High

4

Medium

Signal

52

Great

Helped secure (7)

Helped Secure

Highlights

🥇
1st place·UniStaker Infrastructure
💪
12th place·PoolTogether
Identified 1 medium risk findings
💪
26th place·AI Arena
Identified 3 high risk and 2 medium risk findings
💪
33rd place·Panoptic
💪
46th place·Renzo
Identified 1 medium risk findings

Audit History