Repository · dormant
An API compatible port of the Stone prover.
stars
20
forks
2
contributors
3
open issues
5
varunthakore
@varunthakore
68
commits
rot256
@rot256
jaehunkim
@jaehunkim
9
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/halo2-course
A course on Halo2 in collaboration with Zircuit
zksecurity/stark-book
STARK book
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.