Trait snarkvm_wasm::traits::utilities::alloc::AllocBytesGadget

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

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

Required methods

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

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

Loading content...

Provided methods

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

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

Loading content...

Implementors

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

pub fn alloc_bytes<FN, T, CS>(
    cs: CS,
    value_gen: FN
) -> Result<GM17ProofGadget<Pairing, F, P>, SynthesisError> where
    CS: ConstraintSystem<F>,
    T: Borrow<Vec<u8, Global>>,
    FN: FnOnce() -> Result<T, SynthesisError>, 

pub fn alloc_input_bytes<FN, T, CS>(
    cs: CS,
    value_gen: FN
) -> Result<GM17ProofGadget<Pairing, F, P>, SynthesisError> where
    CS: ConstraintSystem<F>,
    T: Borrow<Vec<u8, Global>>,
    FN: FnOnce() -> Result<T, SynthesisError>, 

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

pub fn alloc_bytes<FN, T, CS>(
    cs: CS,
    value_gen: FN
) -> Result<GM17VerifyingKeyGadget<Pairing, F, P>, SynthesisError> where
    CS: ConstraintSystem<F>,
    T: Borrow<Vec<u8, Global>>,
    FN: FnOnce() -> Result<T, SynthesisError>, 

pub fn alloc_input_bytes<FN, T, CS>(
    cs: CS,
    value_gen: FN
) -> Result<GM17VerifyingKeyGadget<Pairing, F, P>, SynthesisError> where
    CS: ConstraintSystem<F>,
    T: Borrow<Vec<u8, Global>>,
    FN: FnOnce() -> Result<T, SynthesisError>, 

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

pub fn alloc_bytes<FN, T, CS>(
    cs: CS,
    value_gen: FN
) -> Result<ProofGadget<PairingE, ConstraintF, P>, SynthesisError> where
    CS: ConstraintSystem<ConstraintF>,
    T: Borrow<Vec<u8, Global>>,
    FN: FnOnce() -> Result<T, SynthesisError>, 

pub fn alloc_input_bytes<FN, T, CS>(
    cs: CS,
    value_gen: FN
) -> Result<ProofGadget<PairingE, ConstraintF, P>, SynthesisError> where
    CS: ConstraintSystem<ConstraintF>,
    T: Borrow<Vec<u8, Global>>,
    FN: FnOnce() -> Result<T, SynthesisError>, 

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

pub fn alloc_bytes<FN, T, CS>(
    cs: CS,
    value_gen: FN
) -> Result<VerifyingKeyGadget<PairingE, ConstraintF, P>, SynthesisError> where
    CS: ConstraintSystem<ConstraintF>,
    T: Borrow<Vec<u8, Global>>,
    FN: FnOnce() -> Result<T, SynthesisError>, 

pub fn alloc_input_bytes<FN, T, CS>(
    cs: CS,
    value_gen: FN
) -> Result<VerifyingKeyGadget<PairingE, ConstraintF, P>, SynthesisError> where
    CS: ConstraintSystem<ConstraintF>,
    T: Borrow<Vec<u8, Global>>,
    FN: FnOnce() -> Result<T, SynthesisError>, 

Loading content...