Struct ark_r1cs_std::groups::curves::short_weierstrass::bls12::G2PreparedVar

pub struct G2PreparedVar<P: Bls12Config> { /* private fields */ }

Represents the cached precomputation that can be performed on a G2 element which enables speeding up pairing computation.

Implementations

impl<P: Bls12Config> G2PreparedVar<P>

pub fn from_group_var(q: &G2Var<P>) -> Result<Self, SynthesisError>

Constructs Self from a G2Var.

Trait Implementations

impl<P: Bls12Config> AllocVar<G2Prepared<P>, <P as Bls12Config>::Fp> for G2PreparedVar<P>

fn new_variable<T: Borrow<G2Prepared<P>>>(
    cs: impl Into<Namespace<P::Fp>>,
    f: impl FnOnce() -> Result<T, SynthesisError>,
    mode: AllocationMode
) -> Result<Self, SynthesisError>

Allocates a new variable of type Self in the ConstraintSystem cs. The mode of allocation is decided by mode.

fn new_constant(
    cs: impl Into<Namespace<F>>,
    t: impl Borrow<V>
) -> Result<Self, SynthesisError>

Allocates a new constant of type Self in the ConstraintSystem cs.

fn new_input<T: Borrow<V>>(
    cs: impl Into<Namespace<F>>,
    f: impl FnOnce() -> Result<T, SynthesisError>
) -> Result<Self, SynthesisError>

Allocates a new public input of type Self in the ConstraintSystem cs.

fn new_witness<T: Borrow<V>>(
    cs: impl Into<Namespace<F>>,
    f: impl FnOnce() -> Result<T, SynthesisError>
) -> Result<Self, SynthesisError>

Allocates a new private witness of type Self in the ConstraintSystem cs.

impl<P: Bls12Config> Clone for G2PreparedVar<P>where
    Fp2Var<P::Fp2Config>: Clone,

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<P: Bls12Config> Debug for G2PreparedVar<P>where
    Fp2Var<P::Fp2Config>: Debug,

fn fmt(&self, __f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<P: Bls12Config> ToBytesGadget<<P as Bls12Config>::Fp> for G2PreparedVar<P>

fn to_bytes(&self) -> Result<Vec<UInt8<P::Fp>>, SynthesisError>

Outputs a canonical, little-endian, byte decomposition of self.

fn to_non_unique_bytes(&self) -> Result<Vec<UInt8<P::Fp>>, SynthesisError>

Outputs a possibly non-unique byte decomposition of self.