Trait snarkvm_gadgets::traits::alloc::AllocBytesGadget

pub trait AllocBytesGadget<V: ?Sized, F: Field>: Sized where
    V: Into<Option<Vec<u8>>>, {
    fn alloc_bytes<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
        cs: CS, 
        f: Fn
    ) -> Result<Self, SynthesisError>;
    fn alloc_input_bytes<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
        cs: CS, 
        f: Fn
    ) -> Result<Self, SynthesisError>;

    fn alloc_bytes_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
        cs: CS, 
        f: Fn
    ) -> Result<Self, SynthesisError> { ... }
    fn alloc_input_bytes_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
        cs: CS, 
        f: Fn
    ) -> Result<Self, SynthesisError> { ... }
}

Required methods

fn alloc_bytes<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
    cs: CS,
    f: Fn
) -> Result<Self, SynthesisError>

fn alloc_input_bytes<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
    cs: CS,
    f: Fn
) -> Result<Self, SynthesisError>

Provided methods

fn alloc_bytes_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
    cs: CS,
    f: Fn
) -> Result<Self, SynthesisError>

fn alloc_input_bytes_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
    cs: CS,
    f: Fn
) -> Result<Self, SynthesisError>

Implementors

impl<Pairing: PairingEngine, F: Field, P: PairingGadget<Pairing, F>> AllocBytesGadget<Vec<u8, Global>, F> for GM17ProofGadget<Pairing, F, P>

fn alloc_bytes<FN, T, CS: ConstraintSystem<F>>(
    cs: CS,
    value_gen: FN
) -> Result<Self, SynthesisError> where
    FN: FnOnce() -> Result<T, SynthesisError>,
    T: Borrow<Vec<u8>>, 

fn alloc_input_bytes<FN, T, CS: ConstraintSystem<F>>(
    cs: CS,
    value_gen: FN
) -> Result<Self, SynthesisError> where
    FN: FnOnce() -> Result<T, SynthesisError>,
    T: Borrow<Vec<u8>>, 

impl<Pairing: PairingEngine, F: Field, P: PairingGadget<Pairing, F>> AllocBytesGadget<Vec<u8, Global>, F> for GM17VerifyingKeyGadget<Pairing, F, P>

fn alloc_bytes<FN, T, CS: ConstraintSystem<F>>(
    cs: CS,
    value_gen: FN
) -> Result<Self, SynthesisError> where
    FN: FnOnce() -> Result<T, SynthesisError>,
    T: Borrow<Vec<u8>>, 

fn alloc_input_bytes<FN, T, CS: ConstraintSystem<F>>(
    cs: CS,
    value_gen: FN
) -> Result<Self, SynthesisError> where
    FN: FnOnce() -> Result<T, SynthesisError>,
    T: Borrow<Vec<u8>>, 

impl<PairingE, ConstraintF, P> AllocBytesGadget<Vec<u8, Global>, ConstraintF> for ProofGadget<PairingE, ConstraintF, P> where
    PairingE: PairingEngine,
    ConstraintF: Field,
    P: PairingGadget<PairingE, ConstraintF>, 

fn alloc_bytes<FN, T, CS: ConstraintSystem<ConstraintF>>(
    cs: CS,
    value_gen: FN
) -> Result<Self, SynthesisError> where
    FN: FnOnce() -> Result<T, SynthesisError>,
    T: Borrow<Vec<u8>>, 

fn alloc_input_bytes<FN, T, CS: ConstraintSystem<ConstraintF>>(
    cs: CS,
    value_gen: FN
) -> Result<Self, SynthesisError> where
    FN: FnOnce() -> Result<T, SynthesisError>,
    T: Borrow<Vec<u8>>, 

impl<PairingE, ConstraintF, P> AllocBytesGadget<Vec<u8, Global>, ConstraintF> for VerifyingKeyGadget<PairingE, ConstraintF, P> where
    PairingE: PairingEngine,
    ConstraintF: Field,
    P: PairingGadget<PairingE, ConstraintF>, 

fn alloc_bytes<FN, T, CS: ConstraintSystem<ConstraintF>>(
    cs: CS,
    value_gen: FN
) -> Result<Self, SynthesisError> where
    FN: FnOnce() -> Result<T, SynthesisError>,
    T: Borrow<Vec<u8>>, 

fn alloc_input_bytes<FN, T, CS: ConstraintSystem<ConstraintF>>(
    cs: CS,
    value_gen: FN
) -> Result<Self, SynthesisError> where
    FN: FnOnce() -> Result<T, SynthesisError>,
    T: Borrow<Vec<u8>>,