Trait sp1_recursion_circuit_v2::hash::FieldHasherVariable

pub trait FieldHasherVariable<C: CircuitConfig> {
    type Digest: Clone + Copy;

    // Required methods
    fn hash(builder: &mut Builder<C>, input: &[Felt<C::F>]) -> Self::Digest;
    fn compress(
        builder: &mut Builder<C>,
        input: [Self::Digest; 2],
    ) -> Self::Digest;
    fn assert_digest_eq(
        builder: &mut Builder<C>,
        a: Self::Digest,
        b: Self::Digest,
    );
    fn select_chain_digest(
        builder: &mut Builder<C>,
        should_swap: C::Bit,
        input: [Self::Digest; 2],
    ) -> [Self::Digest; 2];
}

Required Associated Types

type Digest: Clone + Copy

Required Methods

fn hash(builder: &mut Builder<C>, input: &[Felt<C::F>]) -> Self::Digest

fn compress(builder: &mut Builder<C>, input: [Self::Digest; 2]) -> Self::Digest

fn assert_digest_eq(builder: &mut Builder<C>, a: Self::Digest, b: Self::Digest)

fn select_chain_digest( builder: &mut Builder<C>, should_swap: C::Bit, input: [Self::Digest; 2], ) -> [Self::Digest; 2]

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<C: CircuitConfig<F = BabyBear, Bit = Felt<BabyBear>>> FieldHasherVariable<C> for BabyBearPoseidon2

type Digest = [Felt<BabyBear>; 8]

fn hash( builder: &mut Builder<C>, input: &[Felt<<C as Config>::F>], ) -> Self::Digest

fn compress(builder: &mut Builder<C>, input: [Self::Digest; 2]) -> Self::Digest

fn assert_digest_eq(builder: &mut Builder<C>, a: Self::Digest, b: Self::Digest)

fn select_chain_digest( builder: &mut Builder<C>, should_swap: <C as CircuitConfig>::Bit, input: [Self::Digest; 2], ) -> [Self::Digest; 2]

impl<C: CircuitConfig<F = BabyBear, N = Bn254Fr, Bit = Var<Bn254Fr>>> FieldHasherVariable<C> for BabyBearPoseidon2Outer

type Digest = [Var<Bn254Fr>; 1]

fn hash( builder: &mut Builder<C>, input: &[Felt<<C as Config>::F>], ) -> Self::Digest

fn compress(builder: &mut Builder<C>, input: [Self::Digest; 2]) -> Self::Digest

fn assert_digest_eq(builder: &mut Builder<C>, a: Self::Digest, b: Self::Digest)

fn select_chain_digest( builder: &mut Builder<C>, should_swap: <C as CircuitConfig>::Bit, input: [Self::Digest; 2], ) -> [Self::Digest; 2]

Implementors