eBTC Protocol

Badger eBTC Audit + Certora Formal Verification Competition

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

View Repo View Report

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
r
rvierdiiev
$42.17
1
0
0
1
0
0

9
N
Nyx
$32.44
1
0
0
1
0
0

10
nobody2018
$29.64
2
0
0
1
0
0

11
BA
BARW
BenRai
albertwh1te
$21.90
1
0
0
1
0
0

12
Weed0607
$8.11
1
0
0
1
0
0

13
DG
DavidGiladi
$2.12
1
0
0
0
0
1

14
h
hihen
$1.82
2
0
0
0
0
1

15
hunter_w3b
$1.82
2
0
0
0
0
1

16
cheatc0d3
$1.63
1
0
0
0
0
1

17
codeslide
$1.63
1
0
0
0
0
1

18
JC
JCK
$1.63
1
0
0
0
0
1

19
Madalad
$1.63
1
0
0
0
0
1

20
o
oualidpro
$1.63
1
0
0
0
0
1

21
Sathish9098
$1.63
1
0
0
0
0
1

22
unique
$1.63
1
0
0
0
0
1

23
z
zabihullahazadzoi
$1.63
1
0
0
0
0
1

24
l
lsaudit
$1.39
2
0
0
0
0
1

25
a
alpha
$1.18
1
0
0
0
0
0

26
g
ge6a
$1.18
1
0
0
0
0
0

27
j
jasonxiale
$1.18
1
0
0
0
0
0

28
ladboy233
$1.18
1
0
0
0
0
0

29
LokiThe5th
$1.18
1
0
0
0
0
0

30
OMEN
$1.18
1
0
0
0
0
0

31
p
peanuts
$1.18
1
0
0
0
0
0

32
p
prapandey031
$1.18
1
0
0
0
0
0

33
w
wangxx2026
$1.18
1
0
0
0
0
0

34
n
nonseodion
$0.41
2
0
0
0
0
1

35
h
0xhex
$0.21
1
0
0
0
0
1

36
t
0xta
$0.21
1
0
0
0
0
1

37
Collinsoden
$0.21
1
0
0
0
0
1

38
jamshed
$0.21
1
0
0
0
0
1

39
m
mgf15
$0.21
1
0
0
0
0
1

40
petrichor
$0.21
1
0
0
0
0
1

41
SAQ
$0.21
1
0
0
0
0
1

42
sivanesh_808
$0.21
1
0
0
0
0
1

43
SS
SY_S
$0.21
1
0
0
0
0
1

44
tala7985
$0.21
1
0
0
0
0
1

45
ybansal2403
$0.21
1
0
0
0
0
1

46
7
7ashraf
$0.20
1
0
0
0
0
0

47
alexzoid
$0.20
1
0
0
0
0
0

48
b
bdmcbri
$0.20
1
0
0
0
0
0

49
fatherOfBlocks
$0.20
1
0
0
0
0
0

50
n
niroh
$0.20
1
0
0
0
0
0

51
t
twcctop
$0.20
1
0
0
0
0
0

52
t
twicek
$0.20
1
0
0
0
0
0