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:
- GPU-acceselerated cryptography libraries for ZKsync☆20Updated last week
- ☆17Updated 3 weeks ago
- ☆17Updated last year
- ☆17Updated 8 months ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Updated 3 years ago
- Finite Fields and Curves in Lean☆13Updated 2 years ago
- An observatory fork of SP1☆72Updated 5 months ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated 2 years ago
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16Updated 2 years ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- Cryptography libraries for ZKsync☆33Updated 2 months ago
- A parallel proving service for ZKM.☆21Updated last week
- ☆37Updated last year
- A toolchain for interaction with the Proof Market protocol.☆23Updated last year
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- ☆27Updated 3 years ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆78Updated last month
- Foundry project for the RLN☆17Updated last year
- A ziglang implementation of the SSZ serialization protocol☆25Updated 2 months ago
- Implementation of the Zcash Orchard Protocol☆55Updated last month
- Plonkish Nova implementation along with advanced features☆16Updated last year
- ☆37Updated 3 years ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆52Updated last year
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆58Updated 3 months ago
- ☆40Updated 2 years ago
- Kate-Zaverucha-Goldberg polynomial commitments in rust playground☆13Updated 3 years ago
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆86Updated 4 months ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Updated last year
- EraVM implementation☆19Updated 11 months ago
- customizable halo2 circuits batcher☆31Updated 2 weeks ago