Badger eBTC Audit + Certora Formal Verification Competition

Use stETH to borrow Bitcoin with 0% fees | The only smart contract based #BTC.

Start date24 Oct 2023
End date14 Nov 2023
Total awards$149,725 USDC
Duration21 days

Results
Details

1
Stormy
$288.62
3
1
0
2
0
0

2
0xBeirao
$157.37
2
0
0
1
1
0

2
TrungOre
$157.37
2
0
0
1
1
0

3
ether_sky
$87.68
3
0
0
2
0
0

4
shaka
$71.46
2
0
0
1
0
0

5
0xRobocop
$64.07
2
0
0
2
0
0

6
SpicyMeatball
$46.58
2
1
0
0
0
0

7
rvierdiiev
$42.17
1
0
0
1
0
0

8
Nyx
$32.44
1
0
0
1
0
0

9
nobody2018
$29.64
2
0
0
1
0
0

10
Weed0607
$8.11
1
0
0
1
0
0

11
DavidGiladi
$2.12
1
0
0
0
0
1

12
hihen
$1.82
2
0
0
0
0
1

13
cheatc0d3
$1.63
1
0
0
0
0
1

13
codeslide
$1.63
1
0
0
0
0
1

13
JCK
$1.63
1
0
0
0
0
1

13
Madalad
$1.63
1
0
0
0
0
1

13
oualidpro
$1.63
1
0
0
0
0
1

13
Sathish9098
$1.63
1
0
0
0
0
1

13
unique
$1.63
1
0
0
0
0
1

13
zabihullahazadzoi
$1.63
1
0
0
0
0
1

14
lsaudit
$1.39
2
0
0
0
0
1

15
alpha
$1.18
1
0
0
0
0
0

15
ge6a
$1.18
1
0
0
0
0
0

15
jasonxiale
$1.18
1
0
0
0
0
0

15
ladboy233
$1.18
1
0
0
0
0
0

15
LokiThe5th
$1.18
1
0
0
0
0
0

15
OMEN
$1.18
1
0
0
0
0
0

15
peanuts
$1.18
1
0
0
0
0
0

15
prapandey031
$1.18
1
0
0
0
0
0

15
wangxx2026
$1.18
1
0
0
0
0
0

16
nonseodion
$0.41
2
0
0
0
0
1

17
0xhex
$0.21
1
0
0
0
0
1

17
0xta
$0.21
1
0
0
0
0
1

17
Collinsoden
$0.21
1
0
0
0
0
1

17
jamshed
$0.21
1
0
0
0
0
1

17
mgf15
$0.21
1
0
0
0
0
1

17
petrichor
$0.21
1
0
0
0
0
1

17
SAQ
$0.21
1
0
0
0
0
1

17
sivanesh_808
$0.21
1
0
0
0
0
1

17
SY_S
$0.21
1
0
0
0
0
1

17
tala7985
$0.21
1
0
0
0
0
1

17
ybansal2403
$0.21
1
0
0
0
0
1

18
7ashraf
$0.20
1
0
0
0
0
0

18
alexzoid
$0.20
1
0
0
0
0
0

18
bdmcbri
$0.20
1
0
0
0
0
0

18
fatherOfBlocks
$0.20
1
0
0
0
0
0

18
niroh
$0.20
1
0
0
0
0
0

18
twcctop
$0.20
1
0
0
0
0
0

18
twicek
$0.20
1
0
0
0
0
0