Thibaut Schaeffer 0f66c6a755 Integrated plonky3 prover (#1857) ...

This is a major change to the plonky3 prover to support proving many
machines.

# Sharing costs across tables
- at setup phase, fixed columns for each machine are committed to for
each possible size. This happens in separate commitments, so that the
prover and verifier can pick the relevant ones for a given execution
- for each phase of the proving, the corresponding traces across all
machines are committed to jointly
- the quotient chunks are committed to jointly across all tables

# Multi-stage publics
The implementation supports public values for each stage of each table.
This is tested internally in the plonky3 crate but not end-to-end in
pipeline tests.

---------

Co-authored-by: Leo Alt <leo@powdrlabs.com>

2024-10-17 11:49:09 +00:00

..

src

Integrated plonky3 prover (#1857)

2024-10-17 11:49:09 +00:00

Cargo.toml

Use jit compiler to generate fixed column values. (#1825)

2024-10-03 17:10:58 +00:00