Struct BooleanProof 

pub struct BooleanProof<EF: Field, MT: Mmcs<EF>, MX: Mmcs<EF>> {
    pub reduction: BitRingSwitchClaimsProof<EF>,
    pub opening: BinaryPcsProof<EF, EF, MT, MX>,
}

One Boolean opening: the reductions, and the commitment opening that discharges them.

Fields

reduction: BitRingSwitchClaimsProof<EF>

One batched bit-alphabet ring switch, with every claim’s elements in the order they came in.

opening: BinaryPcsProof<EF, EF, MT, MX>

The single commitment opening that discharges the one surviving claim.

Trait Implementations

impl<EF: Clone + Field, MT: Clone + Mmcs<EF>, MX: Clone + Mmcs<EF>> Clone for BooleanProof<EF, MT, MX>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'de, EF, MT: Mmcs<EF>, MX: Mmcs<EF>> Deserialize<'de> for BooleanProof<EF, MT, MX>

where EF: TowerLevel + Field, MT::Commitment: Deserialize<'de>, MT::MultiProof: Deserialize<'de>, MX::Commitment: Deserialize<'de>, MX::MultiProof: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<EF, MT: Mmcs<EF>, MX: Mmcs<EF>> Serialize for BooleanProof<EF, MT, MX>

where EF: TowerLevel + Field, MT::Commitment: Serialize, MT::MultiProof: Serialize, MX::Commitment: Serialize, MX::MultiProof: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.