Trait Protocol

Source

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

    // Required methods
    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>;
}