diff --git a/halo2_proofs/src/plonk/poly.rs b/halo2_proofs/src/plonk/poly.rs index 37dd99339..fa6c73c5f 100644 --- a/halo2_proofs/src/plonk/poly.rs +++ b/halo2_proofs/src/plonk/poly.rs @@ -14,7 +14,7 @@ pub trait EvaluationCommitment> { T: TranscriptWrite; /// Extract a set of polynomial evaluations from the transcript. - fn decommit(n: usize, transcript: &mut T) -> io::Result> + fn read(n: usize, transcript: &mut T) -> io::Result> where T: TranscriptRead; } @@ -36,7 +36,7 @@ impl> EvaluationCommitment for Dire Ok(()) } - fn decommit(n: usize, transcript: &mut T) -> io::Result> + fn read(n: usize, transcript: &mut T) -> io::Result> where T: TranscriptRead, { @@ -97,7 +97,7 @@ where num_evals: usize, transcript: &mut T, ) -> io::Result> { - EvalComm::decommit(num_evals, transcript) + EvalComm::read(num_evals, transcript) } } @@ -142,7 +142,7 @@ mod proptests { let read_evals = { let mut reader = Blake2bRead::<_, Curve, Challenge255<_>>::init(&proof[..]); - let res = DirectCommitment::decommit(NUM_EVALS, &mut reader); + let res = DirectCommitment::read(NUM_EVALS, &mut reader); prop_assert!( res.is_ok(), "Reading commitments failed: {res:?}", diff --git a/halo2_proofs/src/plonk/verifier.rs b/halo2_proofs/src/plonk/verifier.rs index 30a13d396..c09416ee6 100644 --- a/halo2_proofs/src/plonk/verifier.rs +++ b/halo2_proofs/src/plonk/verifier.rs @@ -174,7 +174,7 @@ where let instance_evals = if V::QUERY_INSTANCE { (0..num_proofs) .map(|_| -> Result, _> { - Gen::EvalComm::decommit(vk.cs.instance_queries.len(), transcript) + Gen::EvalComm::read(vk.cs.instance_queries.len(), transcript) }) .collect::, _>>()? } else { @@ -220,7 +220,7 @@ where let advice_evals = (0..num_proofs) .map(|_| -> Result, _> { - Gen::EvalComm::decommit(vk.cs.advice_queries.len(), transcript) + Gen::EvalComm::read(vk.cs.advice_queries.len(), transcript) }) .collect::, _>>()?;