← → Print all
02 — Framework · Framework

Plonky3

Proof-system toolkit

In one paragraph

Plonky3: Proof-system toolkit. Kind: Proof-system toolkit. Arithmetisation / backend: AIR / FRI over small fields. Setup: None. Maintained by: Plonky3 org (Polygon Zero lineage). Licence: MIT / Apache-2.0. Status: Widely used downstream; pre-1.0 API. Choose it when: Teams building a zkVM, a custom AIR-based prover, or a domain-specific proving engine.

By MarketComp Updated v1.3 About the authors Changelog
Kind
Proof-system toolkit
Arithmetisation / backend
AIR / FRI over small fields
Setup
None
Maintained by
Plonky3 org (Polygon Zero lineage)
Licence
MIT / Apache-2.0
Status
Widely used downstream; pre-1.0 API
Selection matrix · see the row in context

What it is

A toolkit of polynomial IOP primitives — fields, FRI, commitment schemes, DFTs — for building STARK provers over small fields. Not a DSL: you write AIRs against it or build a zkVM on it. It is the shared substrate beneath a large fraction of the modern zkVM landscape.

Strengths and tradeoffs

Strengths
  • Improvements propagate broadly because so much of the zkVM landscape sits on it
  • Field-agnostic design lets the same proof system be retargeted across field choices
  • Extremely active development; permissive dual licence
Tradeoffs
  • Not usable directly by application developers — designing an AIR is a specialist skill
  • No stable 1.0 API; component crates version independently and downstream projects commonly pin forks
  • Security depends on parameters you choose; a Plonky3 dependency by itself implies nothing about soundness level

Choose it whenTeams building a zkVM, a custom AIR-based prover, or a domain-specific proving engine.

Maintained implementations

Plonky3 organisation (Polygon Zero lineage), with contributors from the zkVM teams built on it

Maturity: Widely used downstream; pre-1.0 API · License: MIT / Apache-2.0 · github.com ↗

How to decide
Other frameworks in §02
CircomNoirHalo2gnarkCairo and the Stwo proverSP1RISC Zero (R0VM)OpenVMZKsync AirbenderJoltMiden VMHosted proving servicesDecentralised proof markets

Sources cited on this page · 1

  1. Plonky3 — polynomial IOP toolkitproject

All 45 sources for §02 are listed on the section page →

Cite this page 
MarketComp (2026). Plonky3. The ZK Field Manual (Version 1.3). MarketComp. https://zkpick.com/frameworks/plonky3/
@misc{zkfieldmanual-plonky3,
  title        = {Plonky3 — The ZK Field Manual},
  author       = {MarketComp},
  year         = {2026},
  version      = {1.3},
  howpublished = {\url{https://zkpick.com/frameworks/plonky3/}},
  note         = {Accessed: YYYY-MM-DD}
}