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