Miden Plonky3

April 9, 2026 · View on GitHub

Warning

Archived repository: This repository is being archived. Active development has moved to 0xMiden/crypto/tree/next/crates.

Miden-specific Plonky3 crates.

The current focus of this workspace is a lifted STARK prover/verifier stack: multi-trace proofs where traces of different heights are presented to the PCS and verifier as a single uniform-height object via virtual lifting.

Lifted STARK Stack

p3-miden-lifted-stark                (prover, verifier, shared types)
├── p3-miden-lifted-fri              (PCS: DEEP + FRI)
│   └── p3-miden-lmcs                (Merkle commitments with lifting)
├── p3-miden-lifted-air              (AIR traits + symbolic analysis)
├── p3-miden-transcript              (Fiat-Shamir channels)
└── p3-miden-stateful-hasher         (stateful hashers for LMCS)

Workspace Crates

CratePurpose
p3-miden-lifted-starkLifted STARK prover, verifier, and shared types (facade crate)
p3-miden-lifted-airLifted AIR traits and symbolic constraint analysis
p3-miden-lifted-friPCS: DEEP quotient + FRI over LMCS commitments
p3-miden-lmcsLifted Matrix Commitment Scheme (uniform-height view)
p3-miden-transcriptTranscript channels (ProverTranscript, VerifierTranscript)
p3-miden-stateful-hasherStateful hashers used by LMCS
p3-miden-lifted-examplesExample AIRs + benchmark binaries

Docs

  • docs/faq.md (architecture Q&A)
  • docs/lifting.md (math background for lifting)
  • SECURITY.md (audit/review guide; transcript and composition notes)

Where To Start (Code)

  • Protocol flow: p3-miden-lifted-stark/src/prover/mod.rs and p3-miden-lifted-stark/src/verifier/mod.rs
  • PCS layer: p3-miden-lifted-fri/src/prover.rs and p3-miden-lifted-fri/src/verifier.rs
  • Commitment layer: p3-miden-lmcs/src/lmcs.rs and p3-miden-lmcs/src/lifted_tree.rs
  • Math background: docs/lifting.md

Build / Test

make check
make test
make test-parallel
make lint
make doc

Run An Example

cargo run -p p3-miden-lifted-examples --release --bin lifted_keccak

Security Disclaimer

This code is research/prototype quality and has not been independently audited. Do not treat any default parameters as production-ready.

License

Dual-licensed under MIT and Apache-2.0.