Trait BooleanBackend 

pub trait BooleanBackend<EF> {
    type Commitment: Clone + Serialize + DeserializeOwned;
    type ProverData;
    type Proof: Clone + Serialize + DeserializeOwned;
    type Error: Debug;

    // Required method
    fn num_variables(&self) -> usize;
}

What a bit commitment keeps and sends, named without reference to a transcript.

Required Associated Types

type Commitment: Clone + Serialize + DeserializeOwned

Succinct binding commitment sent to the verifier.

type ProverData

Prover-side data retained between committing and opening.

type Proof: Clone + Serialize + DeserializeOwned

The proof one opening carries.

type Error: Debug

Why a commitment or an opening was refused.

Required Methods

fn num_variables(&self) -> usize

Variables the committed bit witness has, so 2^n bits in all.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<EF, Dft, MT, Challenger> BooleanBackend<EF> for BooleanWhirPcs<EF, Dft, MT, Challenger>

where EF: Field + TranscriptField + TowerLevel + Coordinates + Ord + Send + Sync, Dft: WhirDomain<EF, EF>, MT: Mmcs<EF>,

type Commitment = <MT as Mmcs<EF>>::Commitment

type ProverData = WhirProverData<EF, EF, MT, SuffixProver<EF, EF>>

type Proof = BooleanWhirProof<EF, MT>

type Error = BooleanWhirError

impl<EF, MT, MX> BooleanBackend<EF> for BooleanPcs<EF, MT, MX>

where EF: EncodableLevel + TowerLevel, MT: Mmcs<EF>, MX: Mmcs<EF, Error = MT::Error>,

type Commitment = <MT as Mmcs<EF>>::Commitment

type ProverData = BinaryPcsProverData<EF, EF, MT>

type Proof = BooleanProof<EF, MT, MX>

type Error = BooleanPcsError<EF, <MT as Mmcs<EF>>::Error>