Team / organization
@Verified-zkEVM
repos
2
stars
436
forks
89
contributors
38
open issues
74
active 30d
Formally Verified Arguments of Knowledge in Lean
Lean circuit DSL
mitschabaude
1,879 commits · 2 repos
pirapira
1,429 commits · 1 repos
gio54321
470 commits · 1 repos
quangvdao
417 commits · 1 repos
Ferinko
153 commits · 1 repos
alexanderlhicks
142 commits · 2 repos
katyhr
138 commits · 1 repos
ElijahVlasov
115 commits · 1 repos
Julek
106 commits · 1 repos
marcobesier
72 commits · 1 repos
pitmonticone
41 commits · 1 repos
katat
Koukyosyumei
20 commits · 1 repos
chung-thai-nguyen
18 commits · 1 repos
BoltonBailey
16 commits · 1 repos
winger
13 commits · 1 repos
matteobusi
12 commits · 1 repos
semaraugusto
MavenRain
12 commits · 2 repos
dtumad
11 commits · 1 repos
erdkocak
10 commits · 2 repos
ChristianoBraga
9 commits · 1 repos
martin-ochoa
6 commits · 1 repos
XC0R
6 commits · 2 repos
BrunoCaste
5 commits · 1 repos
desmondcoles1
4 commits · 1 repos
eliasjudin
ster-oc
finiteprods
FawadHa1der
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.