Repository · shipping
Lean circuit DSL
stars
143
forks
22
contributors
18
open issues
35
mitschabaude
@mitschabaude
1,849
commits
pirapira
@pirapira
1,429
gio54321
@gio54321
470
marcobesier
@marcobesier
72
katat
@katat
41
Koukyosyumei
@Koukyosyumei
20
semaraugusto
@semaraugusto
12
matteobusi
@matteobusi
MavenRain
@MavenRain
11
erdkocak
@erdkocak
9
ChristianoBraga
@ChristianoBraga
martin-ochoa
@martin-ochoa
6
BrunoCaste
@BrunoCaste
5
oxarbitrage
@oxarbitrage
4
FawadHa1der
@FawadHa1der
finiteprods
@finiteprods
XC0R
@XC0R
3
alexanderlhicks
@alexanderlhicks
2
zksecurity/wasmati
Write low-level WebAssembly, from JavaScript
zksecurity/noname
Noname: a programming language to write zkapps
zksecurity/zkBank
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
zksecurity/halo2-course
A course on Halo2 in collaboration with Zircuit
zksecurity/stark-book
STARK book
zksecurity/pumice
An API compatible port of the Stone prover.
zksecurity/stwo-book
zksecurity/zprize-ecdsa-varuna
specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.