pub type Proof<F, Digest, Hash, Compress> = ProofGenericPCS<F, Digest, Proof<Proof<F, BinaryMerkleTreeScheme<Digest, Hash, Compress>>>>;Expand description
Constraint system proof with the standard PCS.
Aliased Type§
struct Proof<F, Digest, Hash, Compress> {
pub commitments: Vec<Digest>,
pub flush_products: Vec<F>,
pub non_zero_products: Vec<F>,
pub prodcheck_proof: GrandProductBatchProof<F>,
pub zerocheck_univariate_proof: ZerocheckUnivariateProof<F>,
pub zerocheck_proof: Proof<F>,
pub univariatizing_proof: Proof<F>,
pub greedy_evalcheck_proof: GreedyEvalcheckProof<F>,
pub pcs_proofs: Vec<Proof<Proof<F, BinaryMerkleTreeScheme<Digest, Hash, Compress>>>>,
pub transcript: Vec<u8>,
pub advice: Vec<u8>,
}Fields§
§commitments: Vec<Digest>§flush_products: Vec<F>§non_zero_products: Vec<F>§prodcheck_proof: GrandProductBatchProof<F>§zerocheck_univariate_proof: ZerocheckUnivariateProof<F>§zerocheck_proof: Proof<F>§univariatizing_proof: Proof<F>§greedy_evalcheck_proof: GreedyEvalcheckProof<F>§pcs_proofs: Vec<Proof<Proof<F, BinaryMerkleTreeScheme<Digest, Hash, Compress>>>>§transcript: Vec<u8>§advice: Vec<u8>