From 9a26ef1acda2e0c347452d542b5614b58b8681e1 Mon Sep 17 00:00:00 2001 From: Sean Bowe Date: Wed, 13 Jan 2021 15:44:37 -0700 Subject: [PATCH] Refactor the Committed structure. --- src/plonk/lookup/verifier.rs | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) 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