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
67
68

//! Traits that define variants of folding schemes based on different underlying
//! mathematical structures.

use sonobe_primitives::{
    commitments::{CommitmentDef, GroupBasedCommitment},
    traits::CF2,
};

use crate::{
    FoldingSchemeDef, FoldingSchemeDefGadget, FoldingSchemeFullVerifierGadget, FoldingSchemeOps,
    FoldingSchemePartialVerifierGadget,
};

/// [`GroupBasedFoldingSchemePrimaryDef`] defines a folding scheme based on
/// groups (elliptic curves), whose transcript field is the scalar field of its
/// group-based commitment scheme.
pub trait GroupBasedFoldingSchemePrimaryDef:
    FoldingSchemeDef<
        CM: GroupBasedCommitment,
        TranscriptField = <<Self as FoldingSchemeDef>::CM as CommitmentDef>::Scalar,
    >
{
    /// [`GroupBasedFoldingSchemePrimaryDef::Gadget`] is the in-circuit gadget
    /// that defines the folding scheme.
    type Gadget: FoldingSchemeDefGadget<Widget = Self, CM = <Self::CM as GroupBasedCommitment>::Gadget2>;
}

/// [`GroupBasedFoldingSchemePrimary`] is a convenience trait that combines the
/// definition [`GroupBasedFoldingSchemePrimaryDef`] and operations
/// [`FoldingSchemeOps`].
pub trait GroupBasedFoldingSchemePrimary<const M: usize, const N: usize>:
    GroupBasedFoldingSchemePrimaryDef<Gadget: FoldingSchemePartialVerifierGadget<M, N>>
    + FoldingSchemeOps<M, N>
{
}

impl<FS, const M: usize, const N: usize> GroupBasedFoldingSchemePrimary<M, N> for FS where
    FS: GroupBasedFoldingSchemePrimaryDef<Gadget: FoldingSchemePartialVerifierGadget<M, N>>
{
}

/// [`GroupBasedFoldingSchemeSecondaryDef`] defines a folding scheme based on
/// groups (elliptic curves), whose transcript field is the base field of its
/// group-based commitment scheme.
pub trait GroupBasedFoldingSchemeSecondaryDef:
    FoldingSchemeDef<
        CM: GroupBasedCommitment,
        TranscriptField = CF2<<<Self as FoldingSchemeDef>::CM as CommitmentDef>::Commitment>,
    >
{
    /// [`GroupBasedFoldingSchemeSecondaryDef::Gadget`] is the in-circuit gadget
    /// that defines the folding scheme.
    type Gadget: FoldingSchemeDefGadget<Widget = Self, CM = <Self::CM as GroupBasedCommitment>::Gadget1>;
}

/// [`GroupBasedFoldingSchemeSecondary`] is a convenience trait that combines
/// the definition [`GroupBasedFoldingSchemeSecondaryDef`] and operations
/// [`FoldingSchemeOps`].
pub trait GroupBasedFoldingSchemeSecondary<const M: usize, const N: usize>:
    GroupBasedFoldingSchemeSecondaryDef<Gadget: FoldingSchemeFullVerifierGadget<M, N>>
    + FoldingSchemeOps<M, N>
{
}

impl<FS, const M: usize, const N: usize> GroupBasedFoldingSchemeSecondary<M, N> for FS where
    FS: GroupBasedFoldingSchemeSecondaryDef<Gadget: FoldingSchemeFullVerifierGadget<M, N>>
{
}