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
- 👾 DX-focused decentralized zero-knowledge framework 🛸☆40Updated last year
- ☆17Updated 6 months ago
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Updated 5 months ago
- GPU-acceselerated cryptography libraries for ZKsync☆22Updated 2 weeks ago
- Shared Lurk source code, including tests and library code.☆18Updated last year
- Finite Fields and Curves in Lean☆14Updated 2 years ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆56Updated last year
- ☆27Updated 3 years ago
- ☆37Updated 2 years ago
- A ziglang implementation of the SSZ serialization protocol☆30Updated this week
- ☆18Updated last year
- Trader agent for AI prediction markets on Gnosis☆63Updated this week
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Updated 4 years ago
- Aleo's Minimum Anti-Collusion Infrastructure / MACI☆13Updated 3 years ago
- EraVM implementation☆19Updated last year
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated 2 years ago
- An observatory fork of SP1☆77Updated 11 months ago
- Curated list of ZKML models and use cases made with Giza☆51Updated last year
- Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security☆63Updated 2 months ago
- Circuit components definition library for zkLLVM circuit compiler☆41Updated last year
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16Updated 2 years ago
- ☆39Updated 2 years ago
- Foundry project for the RLN☆17Updated 2 years ago
- customizable halo2 circuits batcher☆31Updated 3 months ago
- A mutation testing CLI tool built in Rust. Currently supports Noir as a target language☆12Updated last year
- The Onchain AI Oracle Intents Engine (IE): A Basic Text-to-tx Simulator Contract based on OAO.☆16Updated last year
- ☆17Updated 2 years ago
- Kate-Zaverucha-Goldberg polynomial commitments in rust playground☆13Updated 4 years ago
- A parallel proving service for ZKM.☆22Updated last month