p3-miden-prover
| Crates.io | p3-miden-prover |
| lib.rs | p3-miden-prover |
| version | 0.4.2 |
| created_at | 2025-12-25 06:24:40.657594+00 |
| updated_at | 2026-01-14 18:06:04.580136+00 |
| description | Miden-specific STARK prover built on Plonky3. |
| homepage | https://github.com/0xMiden/p3-miden |
| repository | https://github.com/0xMiden/p3-miden |
| max_upload_size | |
| id | 2004263 |
| size | 173,767 |
Bobbin Threadbare (bobbinth)
documentation
README
Miden Plonky3
Miden-specific Plonky3 crates for the Miden VM STARK prover.
Crates
| Crate | Based On | Purpose |
|---|---|---|
p3-miden-air |
p3-air |
AIR traits supporting auxiliary and periodic columns |
p3-miden-uni-stark |
p3-uni-stark |
Extended Entry enum with Aux and Periodic variants |
p3-miden-fri |
p3-fri |
Miden FRI implementation with configurable folding factors |
p3-miden-prover |
- | Miden STARK prover combining the above crates |
Modifications
p3-miden-air & p3-miden-uni-stark
- Extends
Entryenum withAux(auxiliary trace columns) andPeriodic(periodic columns) variants - Required for Miden's permutation arguments and periodic column constraints
p3-miden-fri
- Supports higher folding factors for Miden's FRI implementation
- Configurable folding strategy for future transition to lifted FRI
p3-miden-prover
- Orchestrates proof generation with auxiliary trace support
- Includes LogUp argument implementation for permutation checks
- Constraint folding for auxiliary constraints
Upstream Compatibility
Core Plonky3 crates remain unchanged from upstream:
p3-field, p3-matrix, p3-commit, p3-challenger, p3-symmetric, p3-merkle-tree, p3-dft, p3-interpolation, p3-util
License
This project is dual-licensed under MIT and Apache-2.0.