Repository · dormant
Nova: Recursive SNARKs without trusted setup
stars
1
forks
contributors
23
open issues
0
Not enough history yet — signal stabilises after ~2 snapshots.
srinathsetty
@srinathsetty
148
commits
huitseeker
@huitseeker
39
porcuquine
@porcuquine
12
samuelburnham
@samuelburnham
6
microsoftopensource
@microsoftopensource
5
ashWhiteHat
@ashWhiteHat
zk-Lee
@zk-Lee
iontzialla
@iontzialla
4
nalinbhardwaj
@nalinbhardwaj
3
arthurgreef
@arthurgreef
2
xiaolou86
@xiaolou86
shuoer86
@shuoer86
oskarth
@oskarth
flyq
@flyq
field-worker
@field-worker
dignifiedquire
@dignifiedquire
spiral-ladder
@spiral-ladder
dmpierre
@dmpierre
hero78119
@hero78119
mmaker
@mmaker
TheLitFire
@TheLitFire
chiro-hiro
@chiro-hiro
3for
@3for
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
lurk-lab/awesome-folding
A curated list of zero-knowledge folding schemes
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
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
