ENS
Decentralized naming system for wallets, websites, and more

Waiting for report...

Stateful fuzzing (invariant testing), manual analysis.

Placed#11

Analysis
Code4rena
Sun Oct 01 2023(1 month ago)|6 days
audit competition
ens
Badger eBTC
Smart contract based Bitcoin

Waiting for results...

Formal verification competition (Certora Prover).

Placed#0

Code4rena
Sun Oct 01 2023(1 month ago)|21 days
formal verification
lending/borrowing
Return home
Design shamelessly forked and modified from 5/9