Struct snarkvm_circuit::pedersen::Pedersen

pub struct Pedersen<E, const NUM_BITS: u8>where
    E: Environment,{ /* private fields */ }

Pedersen is a collision-resistant hash function that takes a variable-length input. The Pedersen hash function does not behave like a random oracle, see Poseidon for one.

Trait Implementations

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

fn commit(
    &self,
    input: &[<Pedersen<E, NUM_BITS> as Commit>::Input],
    randomizer: &<Pedersen<E, NUM_BITS> as Commit>::Randomizer
) -> <Pedersen<E, NUM_BITS> as Commit>::Output

Returns the Pedersen commitment of the given input and randomizer as a field element.

type Input = Boolean<E>

type Output = Field<E>

type Randomizer = Scalar<E>

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

fn commit_uncompressed(
    &self,
    input: &[<Pedersen<E, NUM_BITS> as CommitUncompressed>::Input],
    randomizer: &<Pedersen<E, NUM_BITS> as CommitUncompressed>::Randomizer
) -> <Pedersen<E, NUM_BITS> as CommitUncompressed>::Output

Returns the Pedersen commitment of the given input and randomizer as an affine group element.

type Input = Boolean<E>

type Output = Group<E>

type Randomizer = Scalar<E>

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

fn hash(
    &self,
    input: &[<Pedersen<E, NUM_BITS> as Hash>::Input]
) -> <Pedersen<E, NUM_BITS> as Hash>::Output

Returns the Pedersen hash of the given input as a field element.

type Input = Boolean<E>

type Output = Field<E>

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

fn hash_uncompressed(
    &self,
    input: &[<Pedersen<E, NUM_BITS> as HashUncompressed>::Input]
) -> <Pedersen<E, NUM_BITS> as HashUncompressed>::Output

Returns the Pedersen hash of the given input as an affine group element.

type Input = Boolean<E>

type Output = Group<E>

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

fn new(
    _mode: Mode,
    pedersen: <Pedersen<E, NUM_BITS> as Inject>::Primitive
) -> Pedersen<E, NUM_BITS>

Initializes a new instance of Pedersen with the given Pedersen variant.

type Primitive = Pedersen<<E as Environment>::Network, NUM_BITS>

fn constant(value: Self::Primitive) -> Selfwhere
    Self: Sized,

Initializes a constant of the given primitive value.

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>)

fn count(
    case: &<Pedersen<E, NUM_BITS> as Metrics<dyn Commit<Randomizer = Scalar<E>, Input = Boolean<E>, Output = Field<E>> + 'static>>::Case
) -> Count

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

impl<E, const NUM_BITS: u8> Metrics<dyn CommitUncompressed<Randomizer = Scalar<E>, Output = Group<E>, Input = Boolean<E>> + 'static> 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>> + 'static>>::Case
) -> Count

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

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>

fn count(
    case: &<Pedersen<E, NUM_BITS> as Metrics<dyn Hash<Output = Field<E>, Input = Boolean<E>> + 'static>>::Case
) -> Count

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

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

type Case = Vec<Mode, Global>

fn count(
    case: &<Pedersen<E, NUM_BITS> as Metrics<dyn HashUncompressed<Output = Group<E>, Input = Boolean<E>> + 'static>>::Case
) -> Count

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

impl<E, const NUM_BITS: u8> OutputMode<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>)

fn output_mode(
    parameters: &<Pedersen<E, NUM_BITS> as OutputMode<dyn Commit<Randomizer = Scalar<E>, Input = Boolean<E>, Output = Field<E>> + 'static>>::Case
) -> Mode

Returns the mode of the output.

impl<E, const NUM_BITS: u8> OutputMode<dyn CommitUncompressed<Randomizer = Scalar<E>, Output = Group<E>, Input = Boolean<E>> + 'static> 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>> + 'static>>::Case
) -> Mode

Returns the mode of the output.

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

type Case = Vec<Mode, Global>

fn output_mode(
    parameter: &<Pedersen<E, NUM_BITS> as OutputMode<dyn Hash<Output = Field<E>, Input = Boolean<E>> + 'static>>::Case
) -> Mode

Returns the mode of the output.

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

type Case = Vec<Mode, Global>

fn output_mode(
    parameter: &<Pedersen<E, NUM_BITS> as OutputMode<dyn HashUncompressed<Output = Group<E>, Input = Boolean<E>> + 'static>>::Case
) -> Mode

Returns the mode of the output.