Modulus-Labs / Papers
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
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆10Updated 4 months ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 6 months ago
- ☆17Updated 3 months ago
- ☆20Updated 8 months ago
- Reversion strategy for Haiko AMM☆11Updated 10 months ago
- A ziglang implementation of the SSZ serialization protocol☆25Updated 2 weeks ago
- ☆16Updated 10 months ago
- GPU-acceselerated cryptography libraries for ZKsync☆15Updated this week
- High performance EraVM for zkSync.☆23Updated this week
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 3 years ago
- ☆15Updated 9 months ago
- Shared Lurk source code, including tests and library code.☆18Updated last year
- Bridging ecosystems by storing Zero-knowledge proofs of Solana votes on the Aleo blockchain.☆20Updated last year
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated last year
- an implementation of indexed merkle trees based on descriptions from the paper by tzialla et al https://eprint.iacr.org/2021/1263.pdf☆11Updated 7 months ago
- A set of tooling of halo2 circuits verification in Move environments☆16Updated 7 months ago
- ☆37Updated last year
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- Circuits☆22Updated 2 months ago
- Shared front-end code of the ZKsync compilers.☆21Updated this week
- 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 11 months ago
- revm (Rust Ethereum VM) translation for Era / zkEVM☆12Updated 2 months ago
- A collection of ZK light client libraries for various blockchains☆49Updated 3 months ago
- Circom arithmetic circuits and concepts explained, in depth.☆25Updated 2 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Cubist multichain SDK and CLI☆18Updated 8 months ago
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated 9 months ago
- EraVM implementation☆20Updated 6 months ago
- Configuration and scripts for running Astria☆21Updated 7 months ago
- Z4: multiplayer real-time decentralized game framework (zk powered)☆15Updated 3 months ago