☆25Dec 21, 2024Updated last year
Alternatives and similar repositories for plonky3
Users that are interested in plonky3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Proving historical Ethereum transactions using the Plonky2 zkEVM☆14Jul 26, 2024Updated 2 years ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆60Aug 5, 2024Updated 2 years ago
- Fast UltraGroth prover written in C++ based on rapidsnark, that generates proofs for circuits created with circom and snarkjs.☆10Nov 25, 2025Updated 11 months ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 3 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.
- ZK Theorem Proving☆10Aug 11, 2024Updated 2 years ago
- 🪩 verify plonky3 proofs in plonky2☆20Mar 28, 2024Updated 2 years ago
- ☆55Jun 24, 2026Updated 4 months ago
- ☆26Jan 10, 2024Updated 2 years ago
- Noir support for Zed☆12Mar 23, 2026Updated 7 months ago
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- Verify a chain of x509 certificates in halo2☆33Nov 30, 2023Updated 2 years ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆155Sep 17, 2026Updated last month
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆26Feb 5, 2024Updated 2 years 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.
- ☆33Sep 9, 2023Updated 3 years ago
- Fiat-Shamir for the masses.☆99Updated this week
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆14Jul 12, 2023Updated 3 years ago
- Reader for ICAO 9303 electronic machine readable travel documents.☆42Feb 21, 2025Updated last year
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆44Jun 9, 2024Updated 2 years ago
- The schelling point for ZK applications.☆141May 2, 2024Updated 2 years ago
- Compiling Noir to R1CS with witness generation and automatic differentiation binaries☆25Updated this week
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated last year
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Oct 10, 2024Updated 2 years ago
- 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.
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆57Apr 7, 2025Updated last year
- Starky implementation of Bls12-381☆13May 16, 2024Updated 2 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆42Feb 17, 2025Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Apr 16, 2024Updated 2 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- ☆32Apr 15, 2024Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆23Jul 18, 2025Updated last year
- ECFFT in Rust☆58Oct 3, 2023Updated 3 years ago
- 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.
- An observatory fork of SP1☆80Feb 11, 2025Updated last year
- Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…☆13Jan 21, 2026Updated 9 months ago
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated 2 years ago
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- ☆64May 2, 2024Updated 2 years ago
- ☆18Jul 11, 2025Updated last year
- ☆17Feb 17, 2024Updated 2 years ago