Repository · dormant
A curated list of zero-knowledge folding schemes
stars
310
forks
36
contributors
11
open issues
9
huitseeker
@huitseeker
47
commits
flyq
@flyq
3
mpenciak
@mpenciak
2
Pratyush
@Pratyush
adr1anh
@adr1anh
1
rishotics
@rishotics
samuelburnham
@samuelburnham
yugocabrio
@yugocabrio
pnyda
@pnyda
oskarth
@oskarth
tumberger
@tumberger
lurk-lab/lurk-beta
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
argumentcomputer/yatima-lang-alpha
A programming language for the decentralized web
argumentcomputer/yatima
A zero-knowledge Lean4 compiler and kernel
lurk-lang/arecibo
An advanced fork of Nova (contact:@huitseeker)
lurk-lab/lurk-lisp
Lisp implementation of Lurk.
argumentcomputer/LSpec
A Testing Framework for Lean
argumentcomputer/sphinx
An observatory fork of SP1
lurk-lang/bellpepper
SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
