Trait snarkvm_circuit::HashToGroup

pub trait HashToGroup {
    type Input;
    type Group: GroupTrait<Self::Scalar>;
    type Scalar: ScalarTrait;

    // Required method
    fn hash_to_group(&self, input: &[Self::Input]) -> Self::Group;
}

A trait for a hash function that projects the value to an affine group element.

Required Associated Types

type Input

type Group: GroupTrait<Self::Scalar>

type Scalar: ScalarTrait

Required Methods

fn hash_to_group(&self, input: &[Self::Input]) -> Self::Group

Returns the hash of the given input.

Implementors

impl<E, const RATE: usize> HashToGroup for Poseidon<E, RATE>where E: Environment,

type Group = Group<E>

type Input = Field<E>

type Scalar = Scalar<E>