Struct ZeroCheckProtocol 

pub struct ZeroCheckProtocol;

Trait Implementations

impl SigmaProof for ZeroCheckProtocol

const LABEL: &'static [u8] = b"zero-check-protocol"

type WITNESS = ZeroCheckWitness

type INSTANCE = ZeroCheckInstance

fn f(instance: &Self::INSTANCE) -> Vec<SymPoint>

fn psi(witness: &Self::WITNESS, instance: &Self::INSTANCE) -> Vec<SymPoint>

fn prove( witness: &Self::WITNESS, instance: &Self::INSTANCE, ) -> SigmaProofResult<Vec<u8>>

fn verify( instance: &Self::INSTANCE, proof: &[u8], ) -> Result<(), SigmaProofError>

fn spec() -> String

Generate a specification document in Markdown+LaTeX format