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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115

//! An environment to measure degree of functions

use crate::sumcheck::{Env, Var};
use ark_ff::Field;
use std::{
    cmp::max,
    ops::{Add, AddAssign, Mul, MulAssign, Sub},
};

#[derive(Clone, Copy)]
pub(crate) struct Degree(pub usize);

impl Add for Degree {
    type Output = Degree;

    fn add(self, rhs: Self) -> Self::Output {
        let Degree(a) = self;
        let Degree(b) = rhs;
        Degree(max(a, b))
    }
}
impl Add<&Self> for Degree {
    type Output = Degree;

    fn add(self, rhs: &Self) -> Self::Output {
        self + *rhs
    }
}
impl Sub for Degree {
    type Output = Degree;

    fn sub(self, rhs: Self) -> Self::Output {
        let Degree(a) = self;
        let Degree(b) = rhs;
        Degree(max(a, b))
    }
}
impl Sub<&Self> for Degree {
    type Output = Degree;

    fn sub(self, rhs: &Self) -> Self::Output {
        self - *rhs
    }
}
impl Mul for Degree {
    type Output = Degree;

    #[allow(clippy::suspicious)]
    fn mul(self, rhs: Self) -> Self::Output {
        let Degree(a) = self;
        let Degree(b) = rhs;
        Degree(a + b)
    }
}
impl Mul<&Self> for Degree {
    type Output = Degree;

    fn mul(self, rhs: &Self) -> Self::Output {
        self * *rhs
    }
}
impl<F: Field> Add<F> for Degree {
    type Output = Degree;

    fn add(self, _rhs: F) -> Self::Output {
        self
    }
}
impl<F: Field> Sub<F> for Degree {
    type Output = Degree;

    fn sub(self, _rhs: F) -> Self::Output {
        self
    }
}
impl<F: Field> Mul<F> for Degree {
    type Output = Degree;

    fn mul(self, _rhs: F) -> Self::Output {
        self
    }
}

impl AddAssign<&Self> for Degree {
    fn add_assign(&mut self, rhs: &Self) {
        let max = std::cmp::max(self.0, rhs.0);
        self.0 = max;
    }
}
impl<F: Field> MulAssign<F> for Degree {
    fn mul_assign(&mut self, _rhs: F) {
        // nothing to do, as it won't change degree
    }
}

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

pub(crate) struct DegreeEnv;

impl DegreeEnv {
    pub(crate) fn new() -> Self {
        Self
    }
}

impl<F: Field, I, C> Env<F, Degree, I, C> for DegreeEnv {
    fn get(&self, _i: I) -> Degree {
        // TODO: this assumes every polynomial to be multilinear
        // which for now should be true in every case
        Degree(1)
    }
    fn get_chall(&self, _chall_idx: C) -> Degree {
        Degree(0)
    }
}