Repository · quiet
A course on Halo2 in collaboration with Zircuit
stars
35
forks
3
contributors
open issues
1
rot256
@rot256
52
commits
mimoo
@mimoo
2
tiznah
@tiznah
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!
Verified-zkEVM/clean
Lean circuit DSL
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.