Trait snarkvm_circuit::CommitUncompressed

pub trait CommitUncompressed {
    type Input;
    type Output;
    type Randomizer;

    // Required method
    fn commit_uncompressed(
        &self,
        input: &[Self::Input],
        randomizer: &Self::Randomizer
    ) -> Self::Output;
}

A trait for a commitment scheme.

Required Associated Types

type Input

type Output

type Randomizer

Required Methods

fn commit_uncompressed( &self, input: &[Self::Input], randomizer: &Self::Randomizer ) -> Self::Output

Returns the commitment to the given input and randomizer.

Trait Implementations

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

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

fn count( case: &<Pedersen<E, NUM_BITS> as Metrics<dyn CommitUncompressed<Randomizer = Scalar<E>, Output = Group<E>, Input = Boolean<E>>>>::Case ) -> Count

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

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

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

fn output_mode( parameters: &<Pedersen<E, NUM_BITS> as OutputMode<dyn CommitUncompressed<Randomizer = Scalar<E>, Output = Group<E>, Input = Boolean<E>>>>::Case ) -> Mode

Returns the mode of the output.

Implementors

impl<E, const NUM_BITS: u8> CommitUncompressed for Pedersen<E, NUM_BITS>where E: Environment,

type Input = Boolean<E>

type Output = Group<E>

type Randomizer = Scalar<E>

impl<E, const NUM_WINDOWS: u8, const WINDOW_SIZE: u8> CommitUncompressed for BHP<E, NUM_WINDOWS, WINDOW_SIZE>where E: Environment,

type Input = Boolean<E>

type Output = Group<E>

type Randomizer = Scalar<E>