Repository of papers released by Modulus Labs
☆15Mar 13, 2024Updated 2 years ago
Alternatives and similar repositories for Papers
Users that are interested in Papers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A repository for the Leela VS the World project for On-Chain machine learning☆19Sep 26, 2024Updated last year
- hyrax-pcs-commit repository☆15Dec 16, 2025Updated 9 months ago
- ☆12Oct 4, 2023Updated 2 years ago
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated last year
- A GKR proof system optimized for ML tasks (Community Edition)☆18Jul 8, 2026Updated 2 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆19Apr 30, 2024Updated 2 years ago
- ☆11Sep 10, 2024Updated 2 years ago
- ☆12Dec 6, 2023Updated 2 years ago
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16May 5, 2023Updated 3 years ago
- Smart contract orchestration pattern☆11Sep 4, 2020Updated 6 years ago
- ☆24Jun 12, 2025Updated last year
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated 2 years ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated 2 years ago
- ☆140Dec 18, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- UPA is the proof aggregation engine built by NEBRA team.☆40Mar 13, 2026Updated 6 months ago
- Tools for Taiko no Tatsujin V☆15Sep 24, 2016Updated 9 years ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆61Aug 17, 2026Updated last month
- adapters for awarding Ethena points to users of integrating protocols☆22Updated this week
- Web Assembly low level implementation of pairing friendly curves.☆16Sep 3, 2026Updated 2 weeks ago
- Hyper-parallel ZK coprocessing.☆18Aug 29, 2025Updated last year
- A re-implemented ECC circuits with halo2.☆29Nov 23, 2024Updated last year
- ☆11Jan 14, 2023Updated 3 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆18May 23, 2023Updated 3 years ago
- Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures☆21May 16, 2024Updated 2 years ago
- implentation of Ligerito☆20Apr 16, 2026Updated 5 months ago
- ☆15Nov 26, 2024Updated last year
- Small Authentication Large Trie: memory-efficient authenticated KV store for blockchain state☆19Updated this week
- Snapshot monorepo☆54Updated this week
- Benchmark for adding Lasso lookup argument to halo2 backend☆38Mar 3, 2024Updated 2 years ago
- ☆20Aug 10, 2026Updated last month
- A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.☆32Sep 11, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ERC-7824 Nitro reference implementation☆16Mar 11, 2025Updated last year
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- rust sdk for zkWasm☆11Feb 11, 2026Updated 7 months ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆22Sep 9, 2025Updated last year
- Experimental implementation of Sumcheck protocol using CUDA☆23Nov 14, 2024Updated last year
- a lattice lib for building snarks☆21May 20, 2024Updated 2 years ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 3 years ago