compressed_sigma 0.0.4

Compressed Sigma Protocols and proofs of k-Out-Of-n Partial Knowledge
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

use crate::error::CompSigmaError;
use ark_ff::Field;

/// For a linear form, i.e. for a form `L` and a vector `x` of size `n`, `L(x) = a_0*x_0 + a_1*x_1 + ... + a_n*x_n`
/// for constants `a_0`, `a_1`, etc
pub trait LinearForm<F: Field>: Sized {
    fn eval(&self, x: &[F]) -> F;

    fn scale(&self, scalar: &F) -> Self;

    fn add(&self, other: &Self) -> Self;

    fn split_in_half(&self) -> (Self, Self);

    fn size(&self) -> usize;

    fn pad(&self, new_size: usize) -> Self;
}

/// For a group homomorphism, i.e. for a function `f` and vectors `x` and `y`, `f(x+y) = f(x)*f(y)`
pub trait Homomorphism<F: Field>: Sized {
    type Output;

    fn eval(&self, x: &[F]) -> Result<Self::Output, CompSigmaError>;

    fn scale(&self, scalar: &F) -> Self;

    fn add(&self, other: &Self) -> Result<Self, CompSigmaError>;

    fn split_in_half(&self) -> (Self, Self);

    fn size(&self) -> usize;

    fn pad(&self, new_size: usize) -> Self;
}