sp1-recursion-circuit 6.1.0

Recursion circuit for SP1 proof aggregation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

use slop_algebra::{Field, UnivariatePolynomial};
use slop_multilinear::Point;
use slop_sumcheck::PartialSumcheckProof;

pub fn dummy_sumcheck_proof<F: Field>(
    num_variables: usize,
    degree: usize,
) -> PartialSumcheckProof<F> {
    PartialSumcheckProof {
        univariate_polys: vec![
            UnivariatePolynomial::new(vec![F::one(); degree + 1]);
            num_variables
        ],
        claimed_sum: F::zero(),
        point_and_eval: (Point::<F>::from_usize(0, num_variables), F::zero()),
    }
}