This commit is contained in:
jeong0982
2024-06-29 18:46:42 +09:00
parent a2dd573e9b
commit b24110b45b
2 changed files with 3 additions and 3 deletions

View File

@@ -78,7 +78,7 @@ pub struct TablePolynomial<F> {
#[cfg(test)]
mod test {
use super::Table;
use crate::utils::{transpose, ProtocolError};
use crate::utils::ProtocolError;
use ff::Field;
use halo2curves::bn256::Fr;

View File

@@ -48,7 +48,7 @@ impl<F: PrimeField> SumCheck<F> for ParallelSumcheck {
fn prove(
pp: &Self::ProverParam,
combine_function: &impl Fn(&Vec<F>) -> F,
sum: F,
_: F,
mut virtual_poly: VirtualPolynomial<F>,
transcript: &mut impl FieldTranscriptWrite<F>,
) -> Result<(Vec<F>, Vec<F>), ProtocolError> {
@@ -107,7 +107,7 @@ impl<F: PrimeField> SumCheck<F> for ParallelSumcheck {
fn verify(
vp: &Self::VerifierParam,
degree: usize,
_: usize,
sum: F,
num_polys: usize,
transcript: &mut impl FieldTranscriptRead<F>,