Trait halo2_gadgets::utilities::UtilitiesInstructions

pub trait UtilitiesInstructions<F: FieldExt> {
    type Var: Var<F>;

    fn load_private(
        &self, 
        layouter: impl Layouter<F>, 
        column: Column<Advice>, 
        value: Value<F>
    ) -> Result<Self::Var, Error> { ... }
}

Trait for utilities used across circuits.

Required Associated Types

type Var: Var<F>

Variable in the circuit.

Provided Methods

fn load_private(
    &self,
    layouter: impl Layouter<F>,
    column: Column<Advice>,
    value: Value<F>
) -> Result<Self::Var, Error>

Load a variable.

Implementors

impl<F: FieldExt> UtilitiesInstructions<F> for CondSwapChip<F>

type Var = AssignedCell<F, F>

impl<Fixed: FixedPoints<Affine>> UtilitiesInstructions<Fp> for EccChip<Fixed>

type Var = AssignedCell<Fp, Fp>

impl<Hash, Commit, F> UtilitiesInstructions<Fp> for MerkleChip<Hash, Commit, F> where
    Hash: HashDomains<Affine>,
    F: FixedPoints<Affine>,
    Commit: CommitDomains<Affine, F, Hash>, 

type Var = AssignedCell<Fp, Fp>