p3-miden-dev-utils 0.5.0

Shared development utilities (benchmarks, test fixtures) for p3-miden crates
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68

# Miden Plonky3

Miden-specific [Plonky3](https://github.com/Plonky3/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

```text
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

| Crate | Purpose |
|------|---------|
| `p3-miden-lifted-stark` | Lifted STARK prover, verifier, and shared types (facade crate) |
| `p3-miden-lifted-air` | Lifted AIR traits and symbolic constraint analysis |
| `p3-miden-lifted-fri` | PCS: DEEP quotient + FRI over LMCS commitments |
| `p3-miden-lmcs` | Lifted Matrix Commitment Scheme (uniform-height view) |
| `p3-miden-transcript` | Transcript channels (`ProverTranscript`, `VerifierTranscript`) |
| `p3-miden-stateful-hasher` | Stateful hashers used by LMCS |
| `p3-miden-lifted-examples` | Example 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

```bash
make check
make test
make test-parallel
make lint
make doc
```

## Run An Example

```bash
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](LICENSE-MIT) and [Apache-2.0](LICENSE-APACHE).