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

where Self: Sized,

Initializes a constant of the given primitive value.

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

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

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<Input = Boolean<E>, Randomizer = Scalar<E>, Output = Group<E>>> for Pedersen<E, NUM_BITS>

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

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>>> for Pedersen<E, NUM_BITS>

type Case = Vec<Mode>

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>>> for Pedersen<E, NUM_BITS>

type Case = Vec<Mode>

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<Randomizer = Scalar<E>, Input = Boolean<E>, Output = Field<E>>> for Pedersen<E, NUM_BITS>

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

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

Returns the mode of the output.

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

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

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>>> for Pedersen<E, NUM_BITS>

type Case = Vec<Mode>

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>>> for Pedersen<E, NUM_BITS>

type Case = Vec<Mode>

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

Returns the mode of the output.