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 2 years ago
- hyrax-pcs-commit repository☆15Dec 16, 2025Updated 10 months ago
- ☆12Oct 4, 2023Updated 3 years ago
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated last year
- A GKR proof system optimized for ML tasks (Community Edition)☆19Jul 8, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆19Apr 30, 2024Updated 2 years ago
- ☆11Sep 10, 2024Updated 2 years ago
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16May 5, 2023Updated 3 years ago
- ☆14Dec 26, 2024Updated last year
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated 2 years ago
- Horizontally-scalable zkSNARKs for any iterated computation☆12Feb 19, 2025Updated last year
- ☆24Jun 12, 2025Updated last year
- Polyhedra ZK knowledge base☆27Oct 28, 2024Updated 2 years ago
- ☆10Jun 7, 2018Updated 8 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Vectorized AVX-512 256-bit arithmetic library☆34Sep 28, 2024Updated 2 years ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated 2 years ago
- ☆12Dec 6, 2023Updated 2 years ago
- The NLX SDK☆10Oct 22, 2026Updated last week
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆62Aug 17, 2026Updated 2 months ago
- Hyper-parallel ZK coprocessing.☆18Aug 29, 2025Updated last year
- Tools for Taiko no Tatsujin V☆15Sep 24, 2016Updated 10 years ago
- A re-implemented ECC circuits with halo2.☆29Nov 23, 2024Updated last year
- Web Assembly low level implementation of pairing friendly curves.☆16Oct 4, 2026Updated 3 weeks ago
- 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.
- ☆16Nov 26, 2024Updated last year
- ☆96Aug 19, 2024Updated 2 years ago
- UPA is the proof aggregation engine built by NEBRA team.☆40Mar 13, 2026Updated 7 months ago
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆17May 23, 2023Updated 3 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated last year
- 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 6 months ago
- In this repo I implement a stark prover for learning purposes☆14May 22, 2025Updated last year
- ☆140Dec 18, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The encapsulation of revm tailored for MegaETH.☆15Updated this week
- gnark is a fast, open-source library for zero-knowledge proof protocols written in Go.☆12Oct 20, 2026Updated last week
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- The Validator Kit is a collection of tools and documentation helping to run a validator node on Mezo chain.☆10Oct 22, 2026Updated last week
- ☆11Feb 10, 2026Updated 8 months ago
- rust sdk for zkWasm☆11Feb 11, 2026Updated 8 months ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 3 years ago