Trait snarkvm_circuit::Metrics

pub trait Metrics<Op> where
    Op: ?Sized, {
    type Case: ?Sized;

    fn count(parameter: &Self::Case) -> Count;
}

Trait for determining the number of constants, public input, private inputs, and constraints for an operation.

Required Associated Types

type Case: ?Sized

Required Methods

fn count(parameter: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

Implementors

impl<E> Metrics<dyn Add<Field<E>, Output = Field<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = (Mode, Mode)

impl<E> Metrics<dyn Add<Group<E>, Output = Group<E>> + 'static> for Group<E> where
    E: Environment, 

type Case = (Mode, Mode)

impl<E> Metrics<dyn Add<Scalar<E>, Output = Scalar<E>> + 'static> for Scalar<E> where
    E: Environment, 

type Case = (Mode, Mode)

impl<E> Metrics<dyn Div<Field<E>, Output = Field<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = (Mode, Mode)

impl<E> Metrics<dyn Double<Output = Field<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = Mode

impl<E> Metrics<dyn Equal<Field<E>, Output = Boolean<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = (Mode, Mode)

impl<E> Metrics<dyn FromBits<Boolean = Boolean<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = Vec<Mode, Global>

impl<E> Metrics<dyn FromBoolean<Boolean = Boolean<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = ()

impl<E> Metrics<dyn Inverse<Output = Field<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = Mode

impl<E> Metrics<dyn Mul<Field<E>, Output = Field<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = (Mode, Mode)

impl<E> Metrics<dyn Neg<Output = Field<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = Mode

impl<E> Metrics<dyn Neg<Output = Group<E>> + 'static> for Group<E> where
    E: Environment, 

type Case = Mode

impl<E> Metrics<dyn Nor<Boolean<E>, Output = Boolean<E>> + 'static> for Boolean<E> where
    E: Environment, 

type Case = (Mode, Mode)

impl<E> Metrics<dyn Not<Output = Boolean<E>> + 'static> for Boolean<E> where
    E: Environment, 

type Case = Mode

impl<E> Metrics<dyn One<Boolean = Boolean<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = ()

impl<E> Metrics<dyn Pow<Field<E>, Output = Field<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = (CircuitType<Field<E>>, CircuitType<Field<E>>)

impl<E> Metrics<dyn Square<Output = Field<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = Mode

impl<E> Metrics<dyn SquareRoot<Output = Field<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = Mode

impl<E> Metrics<dyn Sub<Field<E>, Output = Field<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = (Mode, Mode)

impl<E> Metrics<dyn Sub<Group<E>, Output = Group<E>> + 'static> for Group<E> where
    E: Environment, 

type Case = (Mode, Mode)

impl<E> Metrics<dyn Ternary<Output = Address<E>, Boolean = Boolean<E>> + 'static> for Address<E> where
    E: Environment, 

type Case = (Mode, Mode, Mode)

impl<E> Metrics<dyn Ternary<Output = Field<E>, Boolean = Boolean<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = (Mode, Mode, Mode)

impl<E> Metrics<dyn Ternary<Output = Group<E>, Boolean = Boolean<E>> + 'static> for Group<E> where
    E: Environment, 

type Case = (Mode, Mode, Mode)

impl<E> Metrics<dyn ToBits<Boolean = Boolean<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = Mode

impl<E> Metrics<dyn ToLowerBits<Boolean = Boolean<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = (Mode, u64)

impl<E> Metrics<dyn ToUpperBits<Boolean = Boolean<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = (Mode, u64)

impl<E> Metrics<dyn Zero<Boolean = Boolean<E>> + 'static> for Field<E> where
    E: Environment, 

type Case = ()

impl<E, I> Metrics<dyn AbsChecked<Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = Mode

impl<E, I> Metrics<dyn AbsWrapped<Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = Mode

impl<E, I> Metrics<dyn Add<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn AddChecked<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn AddWrapped<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn BitAnd<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn BitOr<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn BitXor<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn Compare<Integer<E, I>, Output = Boolean<E>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn Div<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn DivChecked<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn DivWrapped<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn Equal<Integer<E, I>, Output = Boolean<E>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn Mul<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn MulChecked<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn MulWrapped<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn Neg<Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = Mode

impl<E, I> Metrics<dyn Not<Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = Mode

impl<E, I> Metrics<dyn One<Boolean = Boolean<E>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = ()

impl<E, I> Metrics<dyn Rem<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn RemChecked<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn RemWrapped<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn Shl<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn Shr<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn Sub<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn SubChecked<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn SubWrapped<Integer<E, I>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode)

impl<E, I> Metrics<dyn Ternary<Output = Integer<E, I>, Boolean = Boolean<E>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = (Mode, Mode, Mode)

impl<E, I> Metrics<dyn Zero<Boolean = Boolean<E>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType, 

type Case = ()

impl<E, I, M> Metrics<dyn PowChecked<Integer<E, M>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType,
    M: Magnitude, 

type Case = (Mode, Mode)

impl<E, I, M> Metrics<dyn PowWrapped<Integer<E, M>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType,
    M: Magnitude, 

type Case = (Mode, Mode)

impl<E, I, M> Metrics<dyn ShlChecked<Integer<E, M>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType,
    M: Magnitude, 

type Case = (Mode, Mode)

impl<E, I, M> Metrics<dyn ShlWrapped<Integer<E, M>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType,
    M: Magnitude, 

type Case = (Mode, Mode)

impl<E, I, M> Metrics<dyn ShrChecked<Integer<E, M>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType,
    M: Magnitude, 

type Case = (Mode, Mode)

impl<E, I, M> Metrics<dyn ShrWrapped<Integer<E, M>, Output = Integer<E, I>> + 'static> for Integer<E, I> where
    E: Environment,
    I: IntegerType,
    M: Magnitude, 

type Case = (Mode, Mode)

impl<E, const NUM_BITS: u8> Metrics<dyn Commit<Randomizer = Scalar<E>, Input = Boolean<E>, Output = Field<E>> + 'static> for Pedersen<E, NUM_BITS> where
    E: Environment, 

type Case = (Vec<Mode, Global>, Vec<Mode, Global>)

impl<E, const NUM_BITS: u8> Metrics<dyn CommitUncompressed<Output = Group<E>, Input = Boolean<E>, Randomizer = Scalar<E>> + 'static> for Pedersen<E, NUM_BITS> where
    E: Environment, 

type Case = (Vec<Mode, Global>, Vec<Mode, Global>)

impl<E, const NUM_BITS: u8> Metrics<dyn Hash<Output = Field<E>, Input = Boolean<E>> + 'static> for Pedersen<E, NUM_BITS> where
    E: Environment, 

type Case = Vec<Mode, Global>

impl<E, const NUM_BITS: u8> Metrics<dyn HashUncompressed<Input = Boolean<E>, Output = Group<E>> + 'static> for Pedersen<E, NUM_BITS> where
    E: Environment, 

type Case = Vec<Mode, Global>