Trait snarkvm_polycommit::PrepareGadget [−][src]
pub trait PrepareGadget<Unprepared, F: PrimeField>: Sized { fn prepare<CS: ConstraintSystem<F>>(
cs: CS,
unprepared: &Unprepared
) -> Result<Self, SynthesisError>; }
Expand description
Define the minimal interface of prepared allocated structures.
Required methods
fn prepare<CS: ConstraintSystem<F>>(
cs: CS,
unprepared: &Unprepared
) -> Result<Self, SynthesisError>
[src]
fn prepare<CS: ConstraintSystem<F>>(
cs: CS,
unprepared: &Unprepared
) -> Result<Self, SynthesisError>
[src]Prepare from an unprepared element.
Implementors
impl<TargetCurve, BaseCurve, PG> PrepareGadget<CommitmentVar<TargetCurve, BaseCurve, PG>, <BaseCurve as PairingEngine>::Fr> for PreparedCommitmentVar<TargetCurve, BaseCurve, PG> where
TargetCurve: PairingEngine,
BaseCurve: PairingEngine,
PG: PairingGadget<TargetCurve, <BaseCurve as PairingEngine>::Fr>,
<TargetCurve as PairingEngine>::G1Affine: ToConstraintField<<BaseCurve as PairingEngine>::Fr>,
<TargetCurve as PairingEngine>::G2Affine: ToConstraintField<<BaseCurve as PairingEngine>::Fr>,
[src]
impl<TargetCurve, BaseCurve, PG> PrepareGadget<CommitmentVar<TargetCurve, BaseCurve, PG>, <BaseCurve as PairingEngine>::Fr> for PreparedCommitmentVar<TargetCurve, BaseCurve, PG> where
TargetCurve: PairingEngine,
BaseCurve: PairingEngine,
PG: PairingGadget<TargetCurve, <BaseCurve as PairingEngine>::Fr>,
<TargetCurve as PairingEngine>::G1Affine: ToConstraintField<<BaseCurve as PairingEngine>::Fr>,
<TargetCurve as PairingEngine>::G2Affine: ToConstraintField<<BaseCurve as PairingEngine>::Fr>,
[src]fn prepare<CS: ConstraintSystem<<BaseCurve as PairingEngine>::Fr>>(
cs: CS,
unprepared: &CommitmentVar<TargetCurve, BaseCurve, PG>
) -> Result<Self, SynthesisError>
[src]
cs: CS,
unprepared: &CommitmentVar<TargetCurve, BaseCurve, PG>
) -> Result<Self, SynthesisError>
impl<TargetCurve, BaseCurve, PG> PrepareGadget<LabeledCommitmentVar<TargetCurve, BaseCurve, PG>, <BaseCurve as PairingEngine>::Fr> for PreparedLabeledCommitmentVar<TargetCurve, BaseCurve, PG> where
TargetCurve: PairingEngine,
BaseCurve: PairingEngine,
PG: PairingGadget<TargetCurve, <BaseCurve as PairingEngine>::Fr>,
<TargetCurve as PairingEngine>::G1Affine: ToConstraintField<<BaseCurve as PairingEngine>::Fr>,
<TargetCurve as PairingEngine>::G2Affine: ToConstraintField<<BaseCurve as PairingEngine>::Fr>,
[src]
impl<TargetCurve, BaseCurve, PG> PrepareGadget<LabeledCommitmentVar<TargetCurve, BaseCurve, PG>, <BaseCurve as PairingEngine>::Fr> for PreparedLabeledCommitmentVar<TargetCurve, BaseCurve, PG> where
TargetCurve: PairingEngine,
BaseCurve: PairingEngine,
PG: PairingGadget<TargetCurve, <BaseCurve as PairingEngine>::Fr>,
<TargetCurve as PairingEngine>::G1Affine: ToConstraintField<<BaseCurve as PairingEngine>::Fr>,
<TargetCurve as PairingEngine>::G2Affine: ToConstraintField<<BaseCurve as PairingEngine>::Fr>,
[src]fn prepare<CS: ConstraintSystem<<BaseCurve as PairingEngine>::Fr>>(
cs: CS,
unprepared: &LabeledCommitmentVar<TargetCurve, BaseCurve, PG>
) -> Result<Self, SynthesisError>
[src]
cs: CS,
unprepared: &LabeledCommitmentVar<TargetCurve, BaseCurve, PG>
) -> Result<Self, SynthesisError>
impl<TargetCurve, BaseCurve, PG> PrepareGadget<VerifierKeyVar<TargetCurve, BaseCurve, PG>, <BaseCurve as PairingEngine>::Fr> for PreparedVerifierKeyVar<TargetCurve, BaseCurve, PG> where
TargetCurve: PairingEngine,
BaseCurve: PairingEngine,
PG: PairingGadget<TargetCurve, <BaseCurve as PairingEngine>::Fr>,
<TargetCurve as PairingEngine>::G1Affine: ToConstraintField<<BaseCurve as PairingEngine>::Fr>,
<TargetCurve as PairingEngine>::G2Affine: ToConstraintField<<BaseCurve as PairingEngine>::Fr>,
[src]
impl<TargetCurve, BaseCurve, PG> PrepareGadget<VerifierKeyVar<TargetCurve, BaseCurve, PG>, <BaseCurve as PairingEngine>::Fr> for PreparedVerifierKeyVar<TargetCurve, BaseCurve, PG> where
TargetCurve: PairingEngine,
BaseCurve: PairingEngine,
PG: PairingGadget<TargetCurve, <BaseCurve as PairingEngine>::Fr>,
<TargetCurve as PairingEngine>::G1Affine: ToConstraintField<<BaseCurve as PairingEngine>::Fr>,
<TargetCurve as PairingEngine>::G2Affine: ToConstraintField<<BaseCurve as PairingEngine>::Fr>,
[src]fn prepare<CS: ConstraintSystem<<BaseCurve as PairingEngine>::Fr>>(
cs: CS,
unprepared: &VerifierKeyVar<TargetCurve, BaseCurve, PG>
) -> Result<Self, SynthesisError>
[src]
cs: CS,
unprepared: &VerifierKeyVar<TargetCurve, BaseCurve, PG>
) -> Result<Self, SynthesisError>