A python notebook to explain how Plonky3 underlying works
☆21Mar 2, 2025Updated last year
Alternatives and similar repositories for plonky3-python-notebook
Users that are interested in plonky3-python-notebook 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 fast, modular, optimized ZKEVM core written in C++☆15Updated this week
- ☆13Sep 18, 2023Updated 3 years ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆75Jul 12, 2026Updated 3 months ago
- CLI tool for static analysis of Noir, inspired by Cargo Clippy and Cargo Check.☆10Apr 2, 2025Updated last year
- ☆22Updated this week
- 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.
- ☆18May 29, 2024Updated 2 years ago
- Accelerating MSM Operations on GPU/FPGA☆16Sep 16, 2022Updated 4 years ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Dec 2, 2024Updated last year
- Prover Manager☆28Updated this week
- A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve☆11Nov 18, 2023Updated 2 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- Noir support for Zed☆12Mar 23, 2026Updated 7 months ago
- ☆32Oct 27, 2025Updated last year
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated last year
- 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 month-long zkp study group, one topic at a time.☆190Mar 6, 2026Updated 7 months ago
- ☆112Nov 27, 2025Updated 11 months ago
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated last year
- Simplified educational python plonk implementation☆47Mar 28, 2026Updated 7 months ago
- A zero-knowledge protocol for anonymous interactions.☆13Aug 27, 2025Updated last year
- ☆27Sep 8, 2026Updated last month
- ☆10Mar 28, 2025Updated last year
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆29Apr 4, 2025Updated last year
- ☆32May 21, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Verifiable FHE with GKR☆27Oct 5, 2024Updated 2 years ago
- SpeakUp zkVM Website☆14Jul 3, 2026Updated 3 months ago
- Age Verification ZKP ICAO for Android☆20May 21, 2026Updated 5 months ago
- Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.☆118Updated this week
- A performant and modular zkVM framework built for customization and extensibility.☆397Updated this week
- stone-cli is a CLI for proving and verifying Cairo programs.☆27Aug 7, 2025Updated last year
- Source code for all entries from the 2023 ZPrize competition☆27Jan 29, 2026Updated 9 months ago
- WebGPU MSM implementation☆15Oct 28, 2025Updated last year
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12May 27, 2024Updated 2 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.
- ☆20Jan 8, 2026Updated 9 months ago
- ☆16Mar 13, 2026Updated 7 months ago
- client side proving☆40Mar 12, 2025Updated last year
- Prototype code and helpers for the Zero-Knowledge Control-Flow Attestation (ZEKRA) protocol☆13Dec 22, 2022Updated 3 years ago
- ☆24Mar 8, 2024Updated 2 years ago
- ☆10Jan 7, 2024Updated 2 years ago
- Post-Quantum zkVM☆68Oct 13, 2026Updated 2 weeks ago