[][src]Struct bulletproofs::r1cs::verifier::RandomizingVerifier

pub struct RandomizingVerifier<'t> {
    verifier: Verifier<'t>,
}

Verifier in the randomizing phase.

Note: this type is exported because it is used to specify the associated type in the public impl of a trait ConstraintSystem, which boils down to allowing compiler to monomorphize the closures for the proving and verifying code. However, this type cannot be instantiated by the user and therefore can only be used within the callback provided to specify_randomized_constraints.

Fields

verifier: Verifier<'t>

Trait Implementations

impl<'t> ConstraintSystem for RandomizingVerifier<'t>[src]

impl<'t> RandomizedConstraintSystem for RandomizingVerifier<'t>[src]

Auto Trait Implementations

impl<'t> !RefUnwindSafe for RandomizingVerifier<'t>

impl<'t> !Send for RandomizingVerifier<'t>

impl<'t> !Sync for RandomizingVerifier<'t>

impl<'t> Unpin for RandomizingVerifier<'t>

impl<'t> !UnwindSafe for RandomizingVerifier<'t>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T, U> Cast<U> for T where
    U: FromCast<T>, 

impl<T> From<T> for T[src]

impl<T> FromBits<T> for T

impl<T> FromCast<T> for T

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T, U> IntoBits<U> for T where
    U: FromBits<T>, 

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = !

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.