p3_binary_pcs/
lib.rs

1#![doc = include_str!("../README.md")]
2#![no_std]
3
4extern crate alloc;
5
6use p3_sumcheck::layout::SuffixProver;
7
8mod boolean;
9mod boolean_trace;
10mod boolean_trace_transcript;
11mod error;
12mod fold;
13mod grouped_mmcs;
14mod packing;
15mod params;
16mod pcs;
17mod proof;
18mod prover;
19#[cfg(test)]
20mod security_tests;
21#[cfg(test)]
22pub(crate) mod test_util;
23pub mod transcript;
24mod verifier;
25pub mod whir;
26
27pub use boolean::{
28    BitOpening, BitReadings, BooleanBackend, BooleanMultilinearPcs, BooleanPcs, BooleanPcsError,
29    BooleanProof,
30};
31pub use boolean_trace::{
32    BooleanTraceCommitment, BooleanTraceCommitmentData, BooleanTraceCommitmentError,
33    BooleanTraceCommitmentProof, BooleanTraceData, BooleanTraceError, BooleanTracePcs,
34    BooleanTraceProof,
35};
36pub use error::BinaryPcsError;
37pub use fold::{ChallengeField, FoldAlphabet, fold_codeword, fold_pair};
38pub use grouped_mmcs::GroupedCodewordMmcs;
39pub use packing::{Coordinates, PackError, PackedStack, coordinate_bytes, pack, unpack};
40pub use params::{BinaryPcsConfig, BinaryPcsConfigError, BinaryPcsParams};
41pub use pcs::BinaryPcs;
42pub use proof::{BinaryPcsProof, RoundProof};
43pub use prover::BinaryPcsProverData;
44
45/// The stacked-layout binding mode this scheme commits in.
46///
47/// Fixed rather than chosen by the caller.
48/// The codeword fold merges adjacent pairs, which only suffix-order binding matches.
49///
50/// Prefix binding merges halves, and driving it through the same fold falls out of lockstep.
51/// The prover's own tests pin that as a property of the two orders, not a tuning detail.
52pub(crate) type PcsLayout<F, EF> = SuffixProver<F, EF>;
p3_binary_pcs/lib.rs

p3_binary_pcs/
lib.rs
