lilium-sumcheck 0.1.0

generic Sumcheck implementation for Lilium
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

//! An environment to check the function of evaluations in a point.
//! At the end of sumcheck G(x) has to be check at a point r, as
//! G is but a composition of several multilinear polynomials, we instead
//! evaluates each of those polynomials at r and then apply the function
//! to get the evaluation. For example:
//! G(r) = f_0(r) * f_1(r) + f_2(r)

use crate::{
    polynomials::Evals,
    sumcheck::{Env, Var},
};
use ark_ff::Field;
use std::{marker::PhantomData, ops::Index};

impl<F: Field> Var<F> for F {}

pub struct EvalCheckEnv<F, E, C> {
    evals: E,
    challs: C,
    _phantom: PhantomData<F>,
}

impl<F, E, C> EvalCheckEnv<F, E, C> {
    pub fn new(eval: E, challs: C) -> Self {
        Self {
            evals: eval,
            challs,
            _phantom: PhantomData,
        }
    }
}

impl<F, I1, I2, C, E> Env<F, F, I1, I2> for EvalCheckEnv<F, E, C>
where
    F: Field,
    E: Evals<F, Idx = I1>,
    C: Index<I2, Output = F>,
{
    fn get(&self, i: I1) -> F {
        let f = *self.evals.index(i);
        f
    }
    fn get_chall(&self, chall_idx: I2) -> F {
        self.challs[chall_idx]
    }
}