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:
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 9 months ago
- A Rust framework that bridges clap command-line applications with the Model Context Protocol (MCP)☆26Updated last week
- Shared Lurk source code, including tests and library code.☆18Updated last year
- Z4: multiplayer real-time decentralized game framework (zk powered)☆16Updated 6 months ago
- A ziglang implementation of the SSZ serialization protocol☆25Updated 3 weeks ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- GPU-acceselerated cryptography libraries for ZKsync☆19Updated 3 weeks ago
- ☆20Updated 11 months ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆11Updated 7 months ago
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated last year
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated last year
- ☆17Updated 6 months ago
- Fully-compatible implementation of Privacy Pass in Rust.☆35Updated 5 years ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆51Updated last year
- ☆17Updated last year
- A parallel proving service for ZKM.☆21Updated last week
- ☆37Updated last year
- ☆17Updated last year
- ExEx templates by WeaveVM☆10Updated 3 weeks ago
- ☆14Updated this week
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆83Updated 2 months ago
- Interchain Atomicity, Blockbuilding and Routing via Composable VM☆13Updated last year
- A library for decentralized private computation☆19Updated 3 years ago
- Emeris web app☆12Updated 11 months ago
- Foundry project for the RLN☆17Updated last year
- Celo Light Client (IBC compatible)☆16Updated 3 years ago
- EraVM implementation☆19Updated 9 months ago
- Integration of IBC with Starknet☆20Updated this week
- High-performance Multi-scalar Multiplication for Pasta curves☆23Updated last year