From 775151a67df340e737e8b35c5fc981c2fe5c2553 Mon Sep 17 00:00:00 2001
From: Sean Bowe <ewillbefull@gmail.com>
Date: Wed, 13 Jan 2021 15:47:35 -0700
Subject: [PATCH] Change absorb_ to read_ in subprotocols.

---
 src/plonk/lookup/verifier.rs      | 4 ++--
 src/plonk/permutation/verifier.rs | 2 +-
 src/plonk/vanishing/verifier.rs   | 2 +-
 src/plonk/verifier.rs             | 8 ++++----
 4 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/src/plonk/lookup/verifier.rs b/src/plonk/lookup/verifier.rs
index 9594c0b..317f6ac 100644
--- a/src/plonk/lookup/verifier.rs
+++ b/src/plonk/lookup/verifier.rs
@@ -30,7 +30,7 @@ pub struct Evaluated<C: CurveAffine> {
 }
 
 impl Argument {
-    pub(in crate::plonk) fn absorb_permuted_commitments<C: CurveAffine, T: TranscriptRead<C>>(
+    pub(in crate::plonk) fn read_permuted_commitments<C: CurveAffine, T: TranscriptRead<C>>(
         &self,
         transcript: &mut T,
     ) -> Result<PermutationCommitments<C>, Error> {
@@ -49,7 +49,7 @@ impl Argument {
 }
 
 impl<C: CurveAffine> PermutationCommitments<C> {
-    pub(in crate::plonk) fn absorb_product_commitment<T: TranscriptRead<C>>(
+    pub(in crate::plonk) fn read_product_commitment<T: TranscriptRead<C>>(
         self,
         transcript: &mut T,
     ) -> Result<Committed<C>, Error> {
diff --git a/src/plonk/permutation/verifier.rs b/src/plonk/permutation/verifier.rs
index 38205f4..c4e6be1 100644
--- a/src/plonk/permutation/verifier.rs
+++ b/src/plonk/permutation/verifier.rs
@@ -21,7 +21,7 @@ pub struct Evaluated<C: CurveAffine> {
 }
 
 impl Argument {
-    pub(crate) fn absorb_product_commitment<C: CurveAffine, T: TranscriptRead<C>>(
+    pub(crate) fn read_product_commitment<C: CurveAffine, T: TranscriptRead<C>>(
         &self,
         transcript: &mut T,
     ) -> Result<Committed<C>, Error> {
diff --git a/src/plonk/vanishing/verifier.rs b/src/plonk/vanishing/verifier.rs
index 1641e15..f132756 100644
--- a/src/plonk/vanishing/verifier.rs
+++ b/src/plonk/vanishing/verifier.rs
@@ -19,7 +19,7 @@ pub struct Evaluated<C: CurveAffine> {
 }
 
 impl<C: CurveAffine> Argument<C> {
-    pub(in crate::plonk) fn absorb_commitments<T: TranscriptRead<C>>(
+    pub(in crate::plonk) fn read_commitments<T: TranscriptRead<C>>(
         vk: &VerifyingKey<C>,
         transcript: &mut T,
     ) -> Result<Committed<C>, Error> {
diff --git a/src/plonk/verifier.rs b/src/plonk/verifier.rs
index 02b4c7c..85c34c1 100644
--- a/src/plonk/verifier.rs
+++ b/src/plonk/verifier.rs
@@ -44,7 +44,7 @@ pub fn verify_proof<'a, C: CurveAffine, T: TranscriptRead<C>>(
         .cs
         .lookups
         .iter()
-        .map(|argument| argument.absorb_permuted_commitments(transcript))
+        .map(|argument| argument.read_permuted_commitments(transcript))
         .collect::<Result<Vec<_>, _>>()?;
 
     // Sample beta challenge
@@ -58,19 +58,19 @@ pub fn verify_proof<'a, C: CurveAffine, T: TranscriptRead<C>>(
         .cs
         .permutations
         .iter()
-        .map(|argument| argument.absorb_product_commitment(transcript))
+        .map(|argument| argument.read_product_commitment(transcript))
         .collect::<Result<Vec<_>, _>>()?;
 
     // Hash each lookup product commitment
     let lookups = lookups
         .into_iter()
-        .map(|lookup| lookup.absorb_product_commitment(transcript))
+        .map(|lookup| lookup.read_product_commitment(transcript))
         .collect::<Result<Vec<_>, _>>()?;
 
     // Sample y challenge, which keeps the gates linearly independent.
     let y = ChallengeY::get(transcript);
 
-    let vanishing = vanishing::Argument::absorb_commitments(vk, transcript)?;
+    let vanishing = vanishing::Argument::read_commitments(vk, transcript)?;
 
     // Sample x challenge, which is used to ensure the circuit is
     // satisfied with high probability.