lurk-lab
Results
4
repositories owned by
lurk-lab
lurk-rs
404
Stars
52
Forks
Watchers
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
awesome-folding
246
Stars
29
Forks
Watchers
A curated list of zero-knowledge folding schemes
arecibo
58
Stars
25
Forks
Watchers
An advanced fork of Nova
Wasm.lean
24
Stars
2
Forks
Watchers
A WebAssembly implementation in Lean4