Struct snarkvm_circuit_algorithms::pedersen::Pedersen

pub struct Pedersen<E: Environment, const NUM_BITS: u8> { /* 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: Environment, const NUM_BITS: u8> Commit for Pedersen<E, NUM_BITS>

fn commit(
    &self,
    input: &[Self::Input],
    randomizer: &Self::Randomizer
) -> Self::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: Environment, const NUM_BITS: u8> CommitUncompressed for Pedersen<E, NUM_BITS>

fn commit_uncompressed(
    &self,
    input: &[Self::Input],
    randomizer: &Self::Randomizer
) -> Self::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: Environment, const NUM_BITS: u8> Hash for Pedersen<E, NUM_BITS>

fn hash(&self, input: &[Self::Input]) -> Self::Output

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

type Input = Boolean<E>

type Output = Field<E>

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

fn hash_uncompressed(&self, input: &[Self::Input]) -> Self::Output

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

type Input = Boolean<E>

type Output = Group<E>

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

fn new(_mode: Mode, pedersen: Self::Primitive) -> Self

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: Environment, const NUM_BITS: u8> Metrics<dyn Commit<Output = Field<E>, Randomizer = Scalar<E>, Input = Boolean<E>> + 'static> for Pedersen<E, NUM_BITS>

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

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

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

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

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

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

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

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

type Case = Vec<Mode, Global>

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

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

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

type Case = Vec<Mode, Global>

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

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

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

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

fn output_mode(parameters: &Self::Case) -> Mode

Returns the mode of the output.

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

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

fn output_mode(parameters: &Self::Case) -> Mode

Returns the mode of the output.

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

type Case = Vec<Mode, Global>

fn output_mode(parameter: &Self::Case) -> Mode

Returns the mode of the output.

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

type Case = Vec<Mode, Global>

fn output_mode(parameter: &Self::Case) -> Mode

Returns the mode of the output.