diff --git a/src/plonk/lookup/verifier.rs b/src/plonk/lookup/verifier.rs index 09be0ac..9594c0b 100644 --- a/src/plonk/lookup/verifier.rs +++ b/src/plonk/lookup/verifier.rs @@ -16,8 +16,7 @@ pub struct PermutationCommitments { } pub struct Committed { - permuted_input_commitment: C, - permuted_table_commitment: C, + permuted: PermutationCommitments, product_commitment: C, } @@ -59,8 +58,7 @@ impl PermutationCommitments { .map_err(|_| Error::TranscriptError)?; Ok(Committed { - permuted_input_commitment: self.permuted_input_commitment, - permuted_table_commitment: self.permuted_table_commitment, + permuted: self, product_commitment, }) } @@ -176,19 +174,19 @@ impl Evaluated { // Open lookup input commitments at x .chain(Some(VerifierQuery { point: *x, - commitment: &self.committed.permuted_input_commitment, + commitment: &self.committed.permuted.permuted_input_commitment, eval: self.permuted_input_eval, })) // Open lookup table commitments at x .chain(Some(VerifierQuery { point: *x, - commitment: &self.committed.permuted_table_commitment, + commitment: &self.committed.permuted.permuted_table_commitment, eval: self.permuted_table_eval, })) // Open lookup input commitments at \omega^{-1} x .chain(Some(VerifierQuery { point: x_inv, - commitment: &self.committed.permuted_input_commitment, + commitment: &self.committed.permuted.permuted_input_commitment, eval: self.permuted_input_inv_eval, })) // Open lookup product commitments at \omega^{-1} x