lilium-transcript 0.1.0

Transcript 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

use crate::{
    transcript::{MessageGuard, TranscriptGuard},
    Message, TranscriptBuilder,
};
use ark_ff::Field;
use sponge::sponge::Duplex;
use std::fmt::Debug;

pub trait Protocol<F: Field> {
    type Key;
    type Instance: Message<F>;
    type Proof;
    type Error: Debug + Clone;

    fn transcript_pattern(key: &Self::Key, builder: TranscriptBuilder) -> TranscriptBuilder;
    fn prove(instance: Self::Instance) -> Self::Proof;
    fn verify<S: Duplex<F>>(
        key: &Self::Key,
        instance: MessageGuard<Self::Instance>,
        transcript: TranscriptGuard<F, S, Self::Proof>,
    ) -> Result<(), Self::Error>;
}

pub trait Reduction<F: Field> {
    type A: Message<F>;
    type B;
    type Key;
    type Proof;
    type Error;

    fn transcript_pattern(key: &Self::Key, builder: TranscriptBuilder) -> TranscriptBuilder;
    fn verify_reduction<S: Duplex<F>>(
        key: &Self::Key,
        instance: MessageGuard<Self::A>,
        transcript: TranscriptGuard<F, S, Self::Proof>,
    ) -> Result<Self::B, Self::Error>;
}