Modulus-Labs / PapersLinks
Repository of papers released by Modulus Labs
☆12Updated last year
Alternatives and similar repositories for Papers
Users that are interested in Papers are comparing it to the libraries listed below
Sorting:
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆11Updated last year
- GPU-acceselerated cryptography libraries for ZKsync☆20Updated last week
- ☆18Updated 10 months ago
- Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security☆60Updated last month
- An observatory fork of SP1☆75Updated 8 months ago
- Cryptography libraries for ZKsync☆35Updated 2 weeks ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Updated 4 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- A ziglang implementation of the SSZ serialization protocol☆28Updated this week
- ☆38Updated 4 years ago
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16Updated 2 years ago
- Circuit components definition library for zkLLVM circuit compiler☆42Updated last year
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆78Updated 4 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆55Updated last year
- Shared Lurk source code, including tests and library code.☆18Updated last year
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆13Updated 2 months ago
- ☆17Updated 3 months ago
- ☆36Updated last year
- A parallel proving service for ZKM.☆22Updated last week
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated 2 years ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆63Updated 5 months ago
- EraVM implementation☆19Updated last year
- Implementation of the Zcash Orchard Protocol☆59Updated 2 months ago
- ☆27Updated 3 years ago
- A set of tooling of halo2 circuits verification in Move environments☆16Updated last month
- The V0 rust IMAP + SMTP server that reads email via imap, generates a zk proofs either locally or on an on-demand AWS machine with modal,…☆12Updated last year
- Bridging ecosystems by storing Zero-knowledge proofs of Solana votes on the Aleo blockchain.☆21Updated last year
- ☆40Updated 2 years ago
- customizable halo2 circuits batcher☆31Updated last week
- Curated list of ZKML models and use cases made with Giza☆51Updated last year