|
@ -4,7 +4,7 @@ |
|
|
|
|
|
|
|
|
use crate::{
|
|
|
use crate::{
|
|
|
errors::PolyIOPErrors,
|
|
|
errors::PolyIOPErrors,
|
|
|
structs::{DomainInfo, IOPProof, SubClaim},
|
|
|
|
|
|
|
|
|
structs::{DomainInfo, IOPProof, IOPProverState, IOPVerifierState, SubClaim},
|
|
|
transcript::IOPTranscript,
|
|
|
transcript::IOPTranscript,
|
|
|
virtual_poly::VirtualPolynomial,
|
|
|
virtual_poly::VirtualPolynomial,
|
|
|
PolyIOP,
|
|
|
PolyIOP,
|
|
@ -15,9 +15,7 @@ use ark_std::{end_timer, start_timer}; |
|
|
mod prover;
|
|
|
mod prover;
|
|
|
mod verifier;
|
|
|
mod verifier;
|
|
|
|
|
|
|
|
|
pub use prover::ProverState;
|
|
|
|
|
|
pub use verifier::VerifierState;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/// Trait for doing sum check protocols.
|
|
|
pub trait SumCheck<F: PrimeField> {
|
|
|
pub trait SumCheck<F: PrimeField> {
|
|
|
type Proof;
|
|
|
type Proof;
|
|
|
type PolyList;
|
|
|
type PolyList;
|
|
@ -36,27 +34,15 @@ pub trait SumCheck { |
|
|
/// SumCheck prover/verifier.
|
|
|
/// SumCheck prover/verifier.
|
|
|
fn init_transcript() -> Self::Transcript;
|
|
|
fn init_transcript() -> Self::Transcript;
|
|
|
|
|
|
|
|
|
/// generate proof of the sum of polynomial over {0,1}^`num_vars`
|
|
|
|
|
|
///
|
|
|
|
|
|
/// The polynomial is represented by a list of products of polynomials along
|
|
|
|
|
|
/// with its coefficient that is meant to be added together.
|
|
|
|
|
|
///
|
|
|
|
|
|
/// This data structure of the polynomial is a list of list of
|
|
|
|
|
|
/// `(coefficient, DenseMultilinearExtension)`.
|
|
|
|
|
|
/// * Number of products n = `polynomial.products.len()`,
|
|
|
|
|
|
/// * Number of multiplicands of ith product m_i =
|
|
|
|
|
|
/// `polynomial.products[i].1.len()`,
|
|
|
|
|
|
/// * Coefficient of ith product c_i = `polynomial.products[i].0`
|
|
|
|
|
|
|
|
|
/// Generate proof of the sum of polynomial over {0,1}^`num_vars`
|
|
|
///
|
|
|
///
|
|
|
/// The resulting polynomial is
|
|
|
|
|
|
///
|
|
|
|
|
|
/// $$\sum_{i=0}^{n}C_i\cdot\prod_{j=0}^{m_i}P_{ij}$$
|
|
|
|
|
|
|
|
|
/// The polynomial is represented in the form of a VirtualPolynomial.
|
|
|
fn prove(
|
|
|
fn prove(
|
|
|
poly: &Self::PolyList,
|
|
|
poly: &Self::PolyList,
|
|
|
transcript: &mut Self::Transcript,
|
|
|
transcript: &mut Self::Transcript,
|
|
|
) -> Result<Self::Proof, PolyIOPErrors>;
|
|
|
) -> Result<Self::Proof, PolyIOPErrors>;
|
|
|
|
|
|
|
|
|
/// verify the claimed sum using the proof
|
|
|
|
|
|
|
|
|
/// Verify the claimed sum using the proof
|
|
|
fn verify(
|
|
|
fn verify(
|
|
|
sum: F,
|
|
|
sum: F,
|
|
|
proof: &Self::Proof,
|
|
|
proof: &Self::Proof,
|
|
@ -65,6 +51,7 @@ pub trait SumCheck { |
|
|
) -> Result<Self::SubClaim, PolyIOPErrors>;
|
|
|
) -> Result<Self::SubClaim, PolyIOPErrors>;
|
|
|
}
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/// Trait for sum check protocol prover side APIs.
|
|
|
pub trait SumCheckProver<F: PrimeField>
|
|
|
pub trait SumCheckProver<F: PrimeField>
|
|
|
where
|
|
|
where
|
|
|
Self: Sized,
|
|
|
Self: Sized,
|
|
@ -72,22 +59,10 @@ where |
|
|
type PolyList;
|
|
|
type PolyList;
|
|
|
type ProverMessage;
|
|
|
type ProverMessage;
|
|
|
|
|
|
|
|
|
/// initialize the prover to argue for the sum of polynomial over
|
|
|
|
|
|
|
|
|
/// Initialize the prover to argue for the sum of polynomial over
|
|
|
/// {0,1}^`num_vars`
|
|
|
/// {0,1}^`num_vars`
|
|
|
///
|
|
|
///
|
|
|
/// The polynomial is represented by a list of products of polynomials along
|
|
|
|
|
|
/// with its coefficient that is meant to be added together.
|
|
|
|
|
|
///
|
|
|
|
|
|
/// This data structure of the polynomial is a list of list of
|
|
|
|
|
|
/// `(coefficient, DenseMultilinearExtension)`.
|
|
|
|
|
|
/// * Number of products n = `polynomial.products.len()`,
|
|
|
|
|
|
/// * Number of multiplicands of ith product m_i =
|
|
|
|
|
|
/// `polynomial.products[i].1.len()`,
|
|
|
|
|
|
/// * Coefficient of ith product c_i = `polynomial.products[i].0`
|
|
|
|
|
|
///
|
|
|
|
|
|
/// The resulting polynomial is
|
|
|
|
|
|
///
|
|
|
|
|
|
/// $$\sum_{i=0}^{n}C_i\cdot\prod_{j=0}^{m_i}P_{ij}$$
|
|
|
|
|
|
|
|
|
/// The polynomial is represented in the form of a VirtualPolynomial.
|
|
|
fn prover_init(polynomial: &Self::PolyList) -> Result<Self, PolyIOPErrors>;
|
|
|
fn prover_init(polynomial: &Self::PolyList) -> Result<Self, PolyIOPErrors>;
|
|
|
|
|
|
|
|
|
/// receive message from verifier, generate prover message, and proceed to
|
|
|
/// receive message from verifier, generate prover message, and proceed to
|
|
@ -100,6 +75,7 @@ where |
|
|
) -> Result<Self::ProverMessage, PolyIOPErrors>;
|
|
|
) -> Result<Self::ProverMessage, PolyIOPErrors>;
|
|
|
}
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/// Trait for sum check protocol verifier side APIs.
|
|
|
pub trait SumCheckVerifier<F: PrimeField> {
|
|
|
pub trait SumCheckVerifier<F: PrimeField> {
|
|
|
type DomainInfo;
|
|
|
type DomainInfo;
|
|
|
type ProverMessage;
|
|
|
type ProverMessage;
|
|
@ -165,21 +141,9 @@ impl SumCheck for PolyIOP { |
|
|
res
|
|
|
res
|
|
|
}
|
|
|
}
|
|
|
|
|
|
|
|
|
/// generate proof of the sum of polynomial over {0,1}^`num_vars`
|
|
|
|
|
|
///
|
|
|
|
|
|
/// The polynomial is represented by a list of products of polynomials along
|
|
|
|
|
|
/// with its coefficient that is meant to be added together.
|
|
|
|
|
|
|
|
|
/// Generate proof of the sum of polynomial over {0,1}^`num_vars`
|
|
|
///
|
|
|
///
|
|
|
/// This data structure of the polynomial is a list of list of
|
|
|
|
|
|
/// `(coefficient, DenseMultilinearExtension)`.
|
|
|
|
|
|
/// * Number of products n = `polynomial.products.len()`,
|
|
|
|
|
|
/// * Number of multiplicands of ith product m_i =
|
|
|
|
|
|
/// `polynomial.products[i].1.len()`,
|
|
|
|
|
|
/// * Coefficient of ith product c_i = `polynomial.products[i].0`
|
|
|
|
|
|
///
|
|
|
|
|
|
/// The resulting polynomial is
|
|
|
|
|
|
///
|
|
|
|
|
|
/// $$\sum_{i=0}^{n}C_i\cdot\prod_{j=0}^{m_i}P_{ij}$$
|
|
|
|
|
|
|
|
|
/// The polynomial is represented in the form of a VirtualPolynomial.
|
|
|
fn prove(
|
|
|
fn prove(
|
|
|
poly: &Self::PolyList,
|
|
|
poly: &Self::PolyList,
|
|
|
transcript: &mut Self::Transcript,
|
|
|
transcript: &mut Self::Transcript,
|
|
@ -188,12 +152,12 @@ impl SumCheck for PolyIOP { |
|
|
|
|
|
|
|
|
transcript.append_domain_info(&poly.domain_info)?;
|
|
|
transcript.append_domain_info(&poly.domain_info)?;
|
|
|
|
|
|
|
|
|
let mut prover_state = ProverState::prover_init(poly)?;
|
|
|
|
|
|
|
|
|
let mut prover_state = IOPProverState::prover_init(poly)?;
|
|
|
let mut challenge = None;
|
|
|
let mut challenge = None;
|
|
|
let mut prover_msgs = Vec::with_capacity(poly.domain_info.num_variables);
|
|
|
let mut prover_msgs = Vec::with_capacity(poly.domain_info.num_variables);
|
|
|
for _ in 0..poly.domain_info.num_variables {
|
|
|
for _ in 0..poly.domain_info.num_variables {
|
|
|
let prover_msg =
|
|
|
let prover_msg =
|
|
|
ProverState::prove_round_and_update_state(&mut prover_state, &challenge)?;
|
|
|
|
|
|
|
|
|
IOPProverState::prove_round_and_update_state(&mut prover_state, &challenge)?;
|
|
|
transcript.append_prover_message(&prover_msg)?;
|
|
|
transcript.append_prover_message(&prover_msg)?;
|
|
|
prover_msgs.push(prover_msg);
|
|
|
prover_msgs.push(prover_msg);
|
|
|
challenge = Some(transcript.get_and_append_challenge(b"Internal round")?);
|
|
|
challenge = Some(transcript.get_and_append_challenge(b"Internal round")?);
|
|
@ -215,18 +179,18 @@ impl SumCheck for PolyIOP { |
|
|
let start = start_timer!(|| "sum check verify");
|
|
|
let start = start_timer!(|| "sum check verify");
|
|
|
|
|
|
|
|
|
transcript.append_domain_info(domain_info)?;
|
|
|
transcript.append_domain_info(domain_info)?;
|
|
|
let mut verifier_state = VerifierState::verifier_init(domain_info);
|
|
|
|
|
|
|
|
|
let mut verifier_state = IOPVerifierState::verifier_init(domain_info);
|
|
|
for i in 0..domain_info.num_variables {
|
|
|
for i in 0..domain_info.num_variables {
|
|
|
let prover_msg = proof.proofs.get(i).expect("proof is incomplete");
|
|
|
let prover_msg = proof.proofs.get(i).expect("proof is incomplete");
|
|
|
transcript.append_prover_message(prover_msg)?;
|
|
|
transcript.append_prover_message(prover_msg)?;
|
|
|
VerifierState::verify_round_and_update_state(
|
|
|
|
|
|
|
|
|
IOPVerifierState::verify_round_and_update_state(
|
|
|
&mut verifier_state,
|
|
|
&mut verifier_state,
|
|
|
prover_msg,
|
|
|
prover_msg,
|
|
|
transcript,
|
|
|
transcript,
|
|
|
)?;
|
|
|
)?;
|
|
|
}
|
|
|
}
|
|
|
|
|
|
|
|
|
let res = VerifierState::check_and_generate_subclaim(&verifier_state, &claimed_sum);
|
|
|
|
|
|
|
|
|
let res = IOPVerifierState::check_and_generate_subclaim(&verifier_state, &claimed_sum);
|
|
|
|
|
|
|
|
|
end_timer!(start);
|
|
|
end_timer!(start);
|
|
|
res
|
|
|
res
|
|
@ -237,41 +201,49 @@ impl SumCheck for PolyIOP { |
|
|
mod test {
|
|
|
mod test {
|
|
|
|
|
|
|
|
|
use super::*;
|
|
|
use super::*;
|
|
|
use crate::virtual_poly::test::random_list_of_products;
|
|
|
|
|
|
use ark_bls12_381::Fr;
|
|
|
use ark_bls12_381::Fr;
|
|
|
use ark_ff::UniformRand;
|
|
|
use ark_ff::UniformRand;
|
|
|
use ark_poly::{DenseMultilinearExtension, MultilinearExtension};
|
|
|
use ark_poly::{DenseMultilinearExtension, MultilinearExtension};
|
|
|
use ark_std::test_rng;
|
|
|
use ark_std::test_rng;
|
|
|
use std::rc::Rc;
|
|
|
use std::rc::Rc;
|
|
|
|
|
|
|
|
|
fn test_sumcheck(nv: usize, num_multiplicands_range: (usize, usize), num_products: usize) {
|
|
|
|
|
|
|
|
|
fn test_sumcheck(
|
|
|
|
|
|
nv: usize,
|
|
|
|
|
|
num_multiplicands_range: (usize, usize),
|
|
|
|
|
|
num_products: usize,
|
|
|
|
|
|
) -> Result<(), PolyIOPErrors> {
|
|
|
let mut rng = test_rng();
|
|
|
let mut rng = test_rng();
|
|
|
let mut transcript = PolyIOP::init_transcript();
|
|
|
|
|
|
|
|
|
let mut transcript = <PolyIOP<Fr> as SumCheck<Fr>>::init_transcript();
|
|
|
|
|
|
|
|
|
let (poly, asserted_sum) =
|
|
|
let (poly, asserted_sum) =
|
|
|
random_list_of_products::<Fr, _>(nv, num_multiplicands_range, num_products, &mut rng);
|
|
|
|
|
|
let proof = PolyIOP::prove(&poly, &mut transcript).expect("fail to prove");
|
|
|
|
|
|
|
|
|
VirtualPolynomial::rand(nv, num_multiplicands_range, num_products, &mut rng)?;
|
|
|
|
|
|
let proof = <PolyIOP<Fr> as SumCheck<Fr>>::prove(&poly, &mut transcript)?;
|
|
|
let poly_info = poly.domain_info.clone();
|
|
|
let poly_info = poly.domain_info.clone();
|
|
|
let mut transcript = PolyIOP::init_transcript();
|
|
|
|
|
|
let subclaim = PolyIOP::verify(asserted_sum, &proof, &poly_info, &mut transcript)
|
|
|
|
|
|
.expect("fail to verify");
|
|
|
|
|
|
|
|
|
let mut transcript = <PolyIOP<Fr> as SumCheck<Fr>>::init_transcript();
|
|
|
|
|
|
let subclaim = <PolyIOP<Fr> as SumCheck<Fr>>::verify(
|
|
|
|
|
|
asserted_sum,
|
|
|
|
|
|
&proof,
|
|
|
|
|
|
&poly_info,
|
|
|
|
|
|
&mut transcript,
|
|
|
|
|
|
)?;
|
|
|
assert!(
|
|
|
assert!(
|
|
|
poly.evaluate(&subclaim.point).unwrap() == subclaim.expected_evaluation,
|
|
|
poly.evaluate(&subclaim.point).unwrap() == subclaim.expected_evaluation,
|
|
|
"wrong subclaim"
|
|
|
"wrong subclaim"
|
|
|
);
|
|
|
);
|
|
|
|
|
|
Ok(())
|
|
|
}
|
|
|
}
|
|
|
|
|
|
|
|
|
fn test_sumcheck_internal(
|
|
|
fn test_sumcheck_internal(
|
|
|
nv: usize,
|
|
|
nv: usize,
|
|
|
num_multiplicands_range: (usize, usize),
|
|
|
num_multiplicands_range: (usize, usize),
|
|
|
num_products: usize,
|
|
|
num_products: usize,
|
|
|
) {
|
|
|
|
|
|
|
|
|
) -> Result<(), PolyIOPErrors> {
|
|
|
let mut rng = test_rng();
|
|
|
let mut rng = test_rng();
|
|
|
let (poly, asserted_sum) =
|
|
|
let (poly, asserted_sum) =
|
|
|
random_list_of_products::<Fr, _>(nv, num_multiplicands_range, num_products, &mut rng);
|
|
|
|
|
|
|
|
|
VirtualPolynomial::<Fr>::rand(nv, num_multiplicands_range, num_products, &mut rng)?;
|
|
|
let poly_info = poly.domain_info.clone();
|
|
|
let poly_info = poly.domain_info.clone();
|
|
|
let mut prover_state = ProverState::prover_init(&poly).unwrap();
|
|
|
|
|
|
let mut verifier_state = VerifierState::verifier_init(&poly_info);
|
|
|
|
|
|
|
|
|
let mut prover_state = IOPProverState::prover_init(&poly)?;
|
|
|
|
|
|
let mut verifier_state = IOPVerifierState::verifier_init(&poly_info);
|
|
|
let mut challenge = None;
|
|
|
let mut challenge = None;
|
|
|
let mut transcript = IOPTranscript::new(b"a test transcript");
|
|
|
let mut transcript = IOPTranscript::new(b"a test transcript");
|
|
|
transcript
|
|
|
transcript
|
|
@ -279,10 +251,11 @@ mod test { |
|
|
.unwrap();
|
|
|
.unwrap();
|
|
|
for _ in 0..poly.domain_info.num_variables {
|
|
|
for _ in 0..poly.domain_info.num_variables {
|
|
|
let prover_message =
|
|
|
let prover_message =
|
|
|
ProverState::prove_round_and_update_state(&mut prover_state, &challenge).unwrap();
|
|
|
|
|
|
|
|
|
IOPProverState::prove_round_and_update_state(&mut prover_state, &challenge)
|
|
|
|
|
|
.unwrap();
|
|
|
|
|
|
|
|
|
challenge = Some(
|
|
|
challenge = Some(
|
|
|
VerifierState::verify_round_and_update_state(
|
|
|
|
|
|
|
|
|
IOPVerifierState::verify_round_and_update_state(
|
|
|
&mut verifier_state,
|
|
|
&mut verifier_state,
|
|
|
&prover_message,
|
|
|
&prover_message,
|
|
|
&mut transcript,
|
|
|
&mut transcript,
|
|
@ -290,115 +263,120 @@ mod test { |
|
|
.unwrap(),
|
|
|
.unwrap(),
|
|
|
);
|
|
|
);
|
|
|
}
|
|
|
}
|
|
|
let subclaim = VerifierState::check_and_generate_subclaim(&verifier_state, &asserted_sum)
|
|
|
|
|
|
.expect("fail to generate subclaim");
|
|
|
|
|
|
|
|
|
let subclaim =
|
|
|
|
|
|
IOPVerifierState::check_and_generate_subclaim(&verifier_state, &asserted_sum)
|
|
|
|
|
|
.expect("fail to generate subclaim");
|
|
|
assert!(
|
|
|
assert!(
|
|
|
poly.evaluate(&subclaim.point).unwrap() == subclaim.expected_evaluation,
|
|
|
poly.evaluate(&subclaim.point).unwrap() == subclaim.expected_evaluation,
|
|
|
"wrong subclaim"
|
|
|
"wrong subclaim"
|
|
|
);
|
|
|
);
|
|
|
|
|
|
Ok(())
|
|
|
}
|
|
|
}
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
#[test]
|
|
|
fn test_trivial_polynomial() {
|
|
|
|
|
|
|
|
|
fn test_trivial_polynomial() -> Result<(), PolyIOPErrors> {
|
|
|
let nv = 1;
|
|
|
let nv = 1;
|
|
|
let num_multiplicands_range = (4, 13);
|
|
|
let num_multiplicands_range = (4, 13);
|
|
|
let num_products = 5;
|
|
|
let num_products = 5;
|
|
|
|
|
|
|
|
|
test_sumcheck(nv, num_multiplicands_range, num_products);
|
|
|
|
|
|
test_sumcheck_internal(nv, num_multiplicands_range, num_products);
|
|
|
|
|
|
|
|
|
test_sumcheck(nv, num_multiplicands_range, num_products)?;
|
|
|
|
|
|
test_sumcheck_internal(nv, num_multiplicands_range, num_products)
|
|
|
}
|
|
|
}
|
|
|
#[test]
|
|
|
#[test]
|
|
|
fn test_normal_polynomial() {
|
|
|
|
|
|
|
|
|
fn test_normal_polynomial() -> Result<(), PolyIOPErrors> {
|
|
|
let nv = 12;
|
|
|
let nv = 12;
|
|
|
let num_multiplicands_range = (4, 9);
|
|
|
let num_multiplicands_range = (4, 9);
|
|
|
let num_products = 5;
|
|
|
let num_products = 5;
|
|
|
|
|
|
|
|
|
test_sumcheck(nv, num_multiplicands_range, num_products);
|
|
|
|
|
|
test_sumcheck_internal(nv, num_multiplicands_range, num_products);
|
|
|
|
|
|
|
|
|
test_sumcheck(nv, num_multiplicands_range, num_products)?;
|
|
|
|
|
|
test_sumcheck_internal(nv, num_multiplicands_range, num_products)
|
|
|
}
|
|
|
}
|
|
|
#[test]
|
|
|
#[test]
|
|
|
#[should_panic]
|
|
|
|
|
|
fn zero_polynomial_should_error() {
|
|
|
fn zero_polynomial_should_error() {
|
|
|
let nv = 0;
|
|
|
let nv = 0;
|
|
|
let num_multiplicands_range = (4, 13);
|
|
|
let num_multiplicands_range = (4, 13);
|
|
|
let num_products = 5;
|
|
|
let num_products = 5;
|
|
|
|
|
|
|
|
|
test_sumcheck(nv, num_multiplicands_range, num_products);
|
|
|
|
|
|
test_sumcheck_internal(nv, num_multiplicands_range, num_products);
|
|
|
|
|
|
|
|
|
assert!(test_sumcheck(nv, num_multiplicands_range, num_products).is_err());
|
|
|
|
|
|
assert!(test_sumcheck_internal(nv, num_multiplicands_range, num_products).is_err());
|
|
|
}
|
|
|
}
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
#[test]
|
|
|
fn test_extract_sum() {
|
|
|
|
|
|
|
|
|
fn test_extract_sum() -> Result<(), PolyIOPErrors> {
|
|
|
let mut rng = test_rng();
|
|
|
let mut rng = test_rng();
|
|
|
let mut transcript = PolyIOP::init_transcript();
|
|
|
|
|
|
let (poly, asserted_sum) = random_list_of_products::<Fr, _>(8, (3, 4), 3, &mut rng);
|
|
|
|
|
|
|
|
|
let mut transcript = <PolyIOP<Fr> as SumCheck<Fr>>::init_transcript();
|
|
|
|
|
|
let (poly, asserted_sum) = VirtualPolynomial::<Fr>::rand(8, (3, 4), 3, &mut rng)?;
|
|
|
|
|
|
|
|
|
let proof = PolyIOP::prove(&poly, &mut transcript).expect("fail to prove");
|
|
|
|
|
|
assert_eq!(PolyIOP::extract_sum(&proof), asserted_sum);
|
|
|
|
|
|
|
|
|
let proof = <PolyIOP<Fr> as SumCheck<Fr>>::prove(&poly, &mut transcript)?;
|
|
|
|
|
|
assert_eq!(
|
|
|
|
|
|
<PolyIOP<Fr> as SumCheck<Fr>>::extract_sum(&proof),
|
|
|
|
|
|
asserted_sum
|
|
|
|
|
|
);
|
|
|
|
|
|
Ok(())
|
|
|
}
|
|
|
}
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
#[test]
|
|
|
/// Test that the memory usage of shared-reference is linear to number of
|
|
|
/// Test that the memory usage of shared-reference is linear to number of
|
|
|
/// unique MLExtensions instead of total number of multiplicands.
|
|
|
/// unique MLExtensions instead of total number of multiplicands.
|
|
|
fn test_shared_reference() {
|
|
|
|
|
|
|
|
|
fn test_shared_reference() -> Result<(), PolyIOPErrors> {
|
|
|
let mut rng = test_rng();
|
|
|
let mut rng = test_rng();
|
|
|
let ml_extensions: Vec<_> = (0..5)
|
|
|
let ml_extensions: Vec<_> = (0..5)
|
|
|
.map(|_| Rc::new(DenseMultilinearExtension::<Fr>::rand(8, &mut rng)))
|
|
|
.map(|_| Rc::new(DenseMultilinearExtension::<Fr>::rand(8, &mut rng)))
|
|
|
.collect();
|
|
|
.collect();
|
|
|
let mut poly = VirtualPolynomial::new(8);
|
|
|
let mut poly = VirtualPolynomial::new(8);
|
|
|
poly.add_product(
|
|
|
|
|
|
|
|
|
poly.add_mle_list(
|
|
|
vec![
|
|
|
vec![
|
|
|
ml_extensions[2].clone(),
|
|
|
ml_extensions[2].clone(),
|
|
|
ml_extensions[3].clone(),
|
|
|
ml_extensions[3].clone(),
|
|
|
ml_extensions[0].clone(),
|
|
|
ml_extensions[0].clone(),
|
|
|
],
|
|
|
],
|
|
|
Fr::rand(&mut rng),
|
|
|
Fr::rand(&mut rng),
|
|
|
)
|
|
|
|
|
|
.unwrap();
|
|
|
|
|
|
poly.add_product(
|
|
|
|
|
|
|
|
|
)?;
|
|
|
|
|
|
poly.add_mle_list(
|
|
|
vec![
|
|
|
vec![
|
|
|
ml_extensions[1].clone(),
|
|
|
ml_extensions[1].clone(),
|
|
|
ml_extensions[4].clone(),
|
|
|
ml_extensions[4].clone(),
|
|
|
ml_extensions[4].clone(),
|
|
|
ml_extensions[4].clone(),
|
|
|
],
|
|
|
],
|
|
|
Fr::rand(&mut rng),
|
|
|
Fr::rand(&mut rng),
|
|
|
)
|
|
|
|
|
|
.unwrap();
|
|
|
|
|
|
poly.add_product(
|
|
|
|
|
|
|
|
|
)?;
|
|
|
|
|
|
poly.add_mle_list(
|
|
|
vec![
|
|
|
vec![
|
|
|
ml_extensions[3].clone(),
|
|
|
ml_extensions[3].clone(),
|
|
|
ml_extensions[2].clone(),
|
|
|
ml_extensions[2].clone(),
|
|
|
ml_extensions[1].clone(),
|
|
|
ml_extensions[1].clone(),
|
|
|
],
|
|
|
],
|
|
|
Fr::rand(&mut rng),
|
|
|
Fr::rand(&mut rng),
|
|
|
)
|
|
|
|
|
|
.unwrap();
|
|
|
|
|
|
poly.add_product(
|
|
|
|
|
|
|
|
|
)?;
|
|
|
|
|
|
poly.add_mle_list(
|
|
|
vec![ml_extensions[0].clone(), ml_extensions[0].clone()],
|
|
|
vec![ml_extensions[0].clone(), ml_extensions[0].clone()],
|
|
|
Fr::rand(&mut rng),
|
|
|
Fr::rand(&mut rng),
|
|
|
)
|
|
|
|
|
|
.unwrap();
|
|
|
|
|
|
poly.add_product(vec![ml_extensions[4].clone()], Fr::rand(&mut rng))
|
|
|
|
|
|
.unwrap();
|
|
|
|
|
|
|
|
|
)?;
|
|
|
|
|
|
poly.add_mle_list(vec![ml_extensions[4].clone()], Fr::rand(&mut rng))?;
|
|
|
|
|
|
|
|
|
assert_eq!(poly.flattened_ml_extensions.len(), 5);
|
|
|
assert_eq!(poly.flattened_ml_extensions.len(), 5);
|
|
|
|
|
|
|
|
|
// test memory usage for prover
|
|
|
// test memory usage for prover
|
|
|
let prover = ProverState::prover_init(&poly).unwrap();
|
|
|
|
|
|
|
|
|
let prover = IOPProverState::prover_init(&poly).unwrap();
|
|
|
assert_eq!(prover.poly.flattened_ml_extensions.len(), 5);
|
|
|
assert_eq!(prover.poly.flattened_ml_extensions.len(), 5);
|
|
|
drop(prover);
|
|
|
drop(prover);
|
|
|
|
|
|
|
|
|
let mut transcript = PolyIOP::init_transcript();
|
|
|
|
|
|
|
|
|
let mut transcript = <PolyIOP<Fr> as SumCheck<Fr>>::init_transcript();
|
|
|
let poly_info = poly.domain_info.clone();
|
|
|
let poly_info = poly.domain_info.clone();
|
|
|
let proof = PolyIOP::prove(&poly, &mut transcript).expect("fail to prove");
|
|
|
|
|
|
let asserted_sum = PolyIOP::extract_sum(&proof);
|
|
|
|
|
|
|
|
|
|
|
|
let mut transcript = PolyIOP::init_transcript();
|
|
|
|
|
|
let subclaim = PolyIOP::verify(asserted_sum, &proof, &poly_info, &mut transcript)
|
|
|
|
|
|
.expect("fail to verify");
|
|
|
|
|
|
|
|
|
let proof = <PolyIOP<Fr> as SumCheck<Fr>>::prove(&poly, &mut transcript)?;
|
|
|
|
|
|
let asserted_sum = <PolyIOP<Fr> as SumCheck<Fr>>::extract_sum(&proof);
|
|
|
|
|
|
|
|
|
|
|
|
let mut transcript = <PolyIOP<Fr> as SumCheck<Fr>>::init_transcript();
|
|
|
|
|
|
let subclaim = <PolyIOP<Fr> as SumCheck<Fr>>::verify(
|
|
|
|
|
|
asserted_sum,
|
|
|
|
|
|
&proof,
|
|
|
|
|
|
&poly_info,
|
|
|
|
|
|
&mut transcript,
|
|
|
|
|
|
)?;
|
|
|
assert!(
|
|
|
assert!(
|
|
|
poly.evaluate(&subclaim.point).unwrap() == subclaim.expected_evaluation,
|
|
|
|
|
|
|
|
|
poly.evaluate(&subclaim.point)? == subclaim.expected_evaluation,
|
|
|
"wrong subclaim"
|
|
|
"wrong subclaim"
|
|
|
);
|
|
|
);
|
|
|
|
|
|
Ok(())
|
|
|
}
|
|
|
}
|
|
|
}
|
|
|
}
|