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

3
TrungOre
$157.37
2
0
0
1
1
0

4
ether_sky
$87.68
3
0
0
2
0
0

5
shaka
$71.46
2
0
0
1
0
0

6
0xRobocop
$64.07
2
0
0
2
0
0

7
SpicyMeatball
$46.58
2
1
0
0
0
0

8
rvierdiiev
$42.17
1
0
0
1
0
0

9
Nyx
$32.44
1
0
0
1
0
0

10
nobody2018
$29.64
2
0
0
1
0
0

11
Weed0607
$8.11
1
0
0
1
0
0

12
DavidGiladi
$2.12
1
0
0
0
0
1

13
hihen
$1.82
2
0
0
0
0
1

14
hunter_w3b
$1.82
2
0
0
0
0
1

15
cheatc0d3
$1.63
1
0
0
0
0
1

16
codeslide
$1.63
1
0
0
0
0
1

17
JCK
$1.63
1
0
0
0
0
1

18
Madalad
$1.63
1
0
0
0
0
1

19
oualidpro
$1.63
1
0
0
0
0
1

20
Sathish9098
$1.63
1
0
0
0
0
1

21
unique
$1.63
1
0
0
0
0
1

22
zabihullahazadzoi
$1.63
1
0
0
0
0
1

23
lsaudit
$1.39
2
0
0
0
0
1

24
alpha
$1.18
1
0
0
0
0
0

25
ge6a
$1.18
1
0
0
0
0
0

26
jasonxiale
$1.18
1
0
0
0
0
0

27
ladboy233
$1.18
1
0
0
0
0
0

28
LokiThe5th
$1.18
1
0
0
0
0
0

29
OMEN
$1.18
1
0
0
0
0
0

30
peanuts
$1.18
1
0
0
0
0
0

31
prapandey031
$1.18
1
0
0
0
0
0

32
wangxx2026
$1.18
1
0
0
0
0
0

33
nonseodion
$0.41
2
0
0
0
0
1

34
0xhex
$0.21
1
0
0
0
0
1

35
0xta
$0.21
1
0
0
0
0
1

36
Collinsoden
$0.21
1
0
0
0
0
1

37
jamshed
$0.21
1
0
0
0
0
1

38
mgf15
$0.21
1
0
0
0
0
1

39
petrichor
$0.21
1
0
0
0
0
1

40
SAQ
$0.21
1
0
0
0
0
1

41
sivanesh_808
$0.21
1
0
0
0
0
1

42
SY_S
$0.21
1
0
0
0
0
1

43
tala7985
$0.21
1
0
0
0
0
1

44
ybansal2403
$0.21
1
0
0
0
0
1

45
7ashraf
$0.20
1
0
0
0
0
0

46
alexzoid
$0.20
1
0
0
0
0
0

47
bdmcbri
$0.20
1
0
0
0
0
0

48
fatherOfBlocks
$0.20
1
0
0
0
0
0

49
niroh
$0.20
1
0
0
0
0
0

50
twcctop
$0.20
1
0
0
0
0
0

51
twicek
$0.20
1
0
0
0
0
0