repos
24
ecosystems
5
languages
5
commits
208
─── top repos · by commits
─── repositories
24 totalA zero-knowledge Lean4 compiler and kernel
A zero-knowledge Lean4 compiler and kernel
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
An advanced fork of Nova (contact:@huitseeker)
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
https://yatima-inc.github.io/ZKSnark.lean/
a Lean4 implementation of the IPLD format
Zero-knowledge template library
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
Loam is the Lurk Ontological Abstract Machine. (contact: @porcuquine)
A Testing Framework for Lean
A macros 1.1 #[derive(Abomonation)] implementation for the abomonation crate
An observatory fork of SP1
Ingonyama's implementation of an MSM for the Grumpkin curve cycle
logic programming in Rust
Solidity implementation of Nova proving system verifier
Finite Fields and Curves in Lean
SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
Lisp implementation of Lurk.
An observatory fork of the Linera protocol
─── peer developers
─── languages
- Rust12
- Lean7
- Common Lisp2
- Cuda1
- Solidity1
─── subscriber view
Unlock the full view of winston-h-zhang
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.