Miden Plonky3

Miden-specific Plonky3 crates for the Miden VM STARK prover.

Crates

Modifications

p3-miden-goldilocks

• Adds const constructors (new, from_u64_unchecked, from_u64_array) for compile-time field element creation
• Provides inner() and as_int() accessors for miden-crypto compatibility
• Implements try_checked() for validated construction (replaces TryFrom<u64>)

p3-miden-air & p3-miden-uni-stark

• Extends Entry enum with Aux (auxiliary trace columns) and Periodic (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.