sonobe-fs 0.1.0-alpha.1

Traits and implementations of folding schemes for the Sonobe library
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

//! Definitions of out-of-circuit values and in-circuit variables for Nova
//! witnesses.

use sonobe_primitives::{arithmetizations::ArithConfig, commitments::CommitmentDef, traits::Dummy};

use crate::FoldingWitness;

pub mod circuits;

/// [`RunningWitness`] defines Nova's running witness.
#[derive(Clone, Debug, Eq, PartialEq)]
pub struct RunningWitness<CM: CommitmentDef> {
    /// [`RunningWitness::e`] is the error term.
    pub e: Vec<CM::Scalar>,
    /// [`RunningWitness::r_e`] is the randomness for the error term commitment.
    pub r_e: CM::Randomness,
    /// [`RunningWitness::w`] is the vector of witnesses (to the circuit).
    pub w: Vec<CM::Scalar>,
    /// [`RunningWitness::r_w`] is the randomness for the witness commitment.
    pub r_w: CM::Randomness,
}

impl<CM: CommitmentDef> FoldingWitness<CM> for RunningWitness<CM> {
    const N_OPENINGS: usize = 2;

    fn openings(&self) -> Vec<(&[CM::Scalar], &CM::Randomness)> {
        vec![(&self.e, &self.r_e), (&self.w, &self.r_w)]
    }
}

impl<CM: CommitmentDef> Dummy<&ArithConfig> for RunningWitness<CM> {
    fn dummy(cfg: &ArithConfig) -> Self {
        Self {
            e: vec![Default::default(); cfg.n_constraints],
            r_e: Default::default(),
            w: vec![Default::default(); cfg.n_witnesses],
            r_w: Default::default(),
        }
    }
}

/// [`IncomingWitness`] defines Nova's incoming witness.
#[derive(Clone, Debug, Eq, PartialEq)]
pub struct IncomingWitness<CM: CommitmentDef> {
    /// [`IncomingWitness::w`] is the witness (to the circuit).
    pub w: Vec<CM::Scalar>,
    /// [`IncomingWitness::r_w`] is the randomness for the witness commitment.
    pub r_w: CM::Randomness,
}

impl<CM: CommitmentDef> FoldingWitness<CM> for IncomingWitness<CM> {
    const N_OPENINGS: usize = 1;

    fn openings(&self) -> Vec<(&[CM::Scalar], &CM::Randomness)> {
        vec![(&self.w, &self.r_w)]
    }
}

impl<CM: CommitmentDef> Dummy<&ArithConfig> for IncomingWitness<CM> {
    fn dummy(cfg: &ArithConfig) -> Self {
        Self {
            w: vec![Default::default(); cfg.n_witnesses],
            r_w: Default::default(),
        }
    }
}