miden-stark-transcript 0.25.1

Transcript channels for Fiat-Shamir protocols with raw field/commitment storage
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

# 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
miden-lifted-stark               (prover, verifier, PCS, LMCS, shared types)
├── miden-lifted-air             (AIR traits + symbolic analysis)
├── miden-stark-transcript       (Fiat-Shamir channels)
├── miden-stateful-hasher        (stateful hashers for LMCS)
└── miden-bench                  (profiling binary)
```

## Workspace Crates

| Crate | Purpose |
|------|---------|
| `miden-lifted-stark` | Lifted STARK prover, verifier, PCS, LMCS, and shared types |
| `miden-lifted-air` | Lifted AIR traits and symbolic constraint analysis |
| `miden-stark-transcript` | Transcript channels (`ProverTranscript`, `VerifierTranscript`) |
| `miden-stateful-hasher` | Stateful hashers used by LMCS |
| `miden-bench` | Profiling binary for lifted and batch STARK runs |

## 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: `miden-lifted-stark/src/prover/mod.rs` and `miden-lifted-stark/src/verifier/mod.rs`
- PCS layer: `miden-lifted-stark/src/pcs/prover.rs` and `miden-lifted-stark/src/pcs/verifier.rs`
- Commitment layer: `miden-lifted-stark/src/lmcs/mod.rs` and `miden-lifted-stark/src/lmcs/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 miden-bench --features parallel --release -- keccak:15
```

## Security Disclaimer

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

## License

Any contribution intentionally submitted for inclusion in this repository, as defined in the Apache-2.0 license, shall be dual licensed under the [MIT](LICENSE-MIT) and [Apache 2.0](LICENSE-APACHE) licenses, without any additional terms or conditions.