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☆13Updated last year
- GPU-acceselerated cryptography libraries for ZKsync☆22Updated 2 weeks ago
- A toolchain for interaction with the Proof Market protocol.☆23Updated 2 years ago
- 👾 DX-focused decentralized zero-knowledge framework 🛸☆40Updated last year
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Updated 5 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆56Updated last year
- Curated list of ZKML models and use cases made with Giza☆51Updated last year
- ☆18Updated last year
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16Updated 2 years ago
- ☆37Updated 2 years ago
- ☆27Updated 3 years ago
- Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security☆63Updated 2 months ago
- EraVM implementation☆19Updated last year
- An observatory fork of SP1☆77Updated 11 months ago
- Cryptography libraries for ZKsync☆39Updated 2 weeks ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated 2 years ago
- A parallel proving service for ZKM.☆22Updated last month
- A mutation testing CLI tool built in Rust. Currently supports Noir as a target language☆12Updated last year
- Foundry project for the RLN☆17Updated 2 years ago
- ☆17Updated 6 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆83Updated 7 months ago
- ☆18Updated last year
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Updated 4 years ago
- ☆49Updated 2 years ago
- ☆39Updated 2 years ago
- Giza Platform CLI☆19Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆41Updated last year
- Finite Fields and Curves in Lean☆14Updated 2 years ago
- zero-knowledge execution of eBPF bytecode☆94Updated 2 years ago