Repository · dormant
Write low-level WebAssembly, from JavaScript
stars
235
forks
7
contributors
2
open issues
5
mitschabaude
@mitschabaude
102
commits
erhant
@erhant
1
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!
Verified-zkEVM/clean
Lean circuit DSL
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.