repos
18
ecosystems
8
languages
4
commits
175
─── top repos · by commits
─── repositories
18 totalSolidity implementation of Nova proving system verifier
_merkle_ is a lightweight Rust implementation of a Merkle tree, external dependencies agnostic, std::hash compatible with efficient memory layout
_merkle_ is a lightweight Rust implementation of a Merkle tree, external dependencies agnostic, std::hash compatible with efficient memory layout
A collection of ZK light client libraries for various blockchains
Solidity contracts for Sphinx (contact: @storojs72)
A collection of ZK light client libraries for various blockchains
An advanced fork of Nova (contact:@huitseeker)
An observatory fork of SP1
Easy to use cryptographic framework for data protection: secure messaging with forward secrecy and secure data storage. Has unified APIs across 14 platforms.
A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
Proofs for Filecoin in Rust
A curated list of cryptography papers, articles, tutorials and howtos.
Lean4 bindings to Blake3
Proofs for Filecoin in Rust
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
Nova: High-speed recursive arguments from folding schemes
Nova: Recursive SNARKs without trusted setup
A SNARK using towers of binary fields, implemented in Rust
─── peer developers
─── ecosystems
─── languages
- Rust12
- Solidity2
- C1
- Lean1
─── subscriber view
Unlock the full view of storojs72
- · 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.