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 7 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 last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆19Apr 30, 2024Updated 2 years ago
- ☆11Sep 10, 2024Updated last year
- ☆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 5 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 last year
- ☆140Dec 18, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- UPA is the proof aggregation engine built by NEBRA team.☆40Mar 13, 2026Updated 4 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☆61May 19, 2023Updated 3 years ago
- adapters for awarding Ethena points to users of integrating protocols☆20Updated this week
- Web Assembly low level implementation of pairing friendly curves.☆16Jul 13, 2026Updated 3 weeks ago
- Hyper-parallel ZK coprocessing.☆18Aug 29, 2025Updated 11 months ago
- 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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 3 months ago
- ☆15Nov 26, 2024Updated last year
- Small Authentication Large Trie: memory-efficient authenticated KV store for blockchain state☆20Jul 31, 2026Updated last week
- Snapshot monorepo☆54Updated this week
- Benchmark for adding Lasso lookup argument to halo2 backend☆38Mar 3, 2024Updated 2 years ago
- ☆19Jul 17, 2026Updated 3 weeks ago
- A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.☆31May 26, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 5 months ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆22Sep 9, 2025Updated 11 months ago
- 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