repos
23
ecosystems
4
languages
3
commits
208
─── top repos · by commits
─── repositories
23 totalExtracting the semantics of Noir to Lean for formal verification
A Lean 4 implementation of the Poseidon zkSNARK-friendly hash function
https://yatima-inc.github.io/ZKSnark.lean/
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
An advanced fork of Nova (contact:@huitseeker)
Finite Fields and Curves in Lean
A zero-knowledge Lean4 compiler and kernel
A zero-knowledge Lean4 compiler and kernel
Solidity implementation of Nova proving system verifier
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
A Testing Framework for Lean
State-of-the-art streams for Lean 4
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
A curated list of zero-knowledge folding schemes
A support library for working with zero knowledge cryptography in Lean 4.
a Lean4 implementation of the IPLD format
A Rust implementation of the Lean kernel
A toolkit for polynomial IOPs (PIOPs)
─── peer developers
─── languages
- Lean15
- Rust5
- Solidity1
─── subscriber view
Unlock the full view of mpenciak
- · 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.