Trait CanFinalizeDigest 

pub trait CanFinalizeDigest {
    type Digest;

    // Required method
    fn finalize(self) -> Self::Digest;
}

Extract a binding commitment to the full transcript state.

Consumes the challenger, producing a digest that commits to all previously observed values.

Contract

Implementations must satisfy the following properties:

• Determinism: identical sequences of observations and samples produce identical digests.
• Observation sensitivity: different observed values produce different digests.

Required Associated Types

type Digest

The type of digest produced by finalization.

Required Methods

fn finalize(self) -> Self::Digest

Finalize the transcript and produce a binding digest.

Implementors

impl<F, Inner> CanFinalizeDigest for SerializingChallenger32<F, Inner>

where Inner: CanFinalizeDigest,

type Digest = <Inner as CanFinalizeDigest>::Digest

impl<F, Inner> CanFinalizeDigest for SerializingChallenger64<F, Inner>

where Inner: CanFinalizeDigest,

type Digest = <Inner as CanFinalizeDigest>::Digest

impl<F, P, const WIDTH: usize, const RATE: usize> CanFinalizeDigest for DuplexChallenger<F, P, WIDTH, RATE>

where F: Copy, P: CryptographicPermutation<[F; WIDTH]>,

type Digest = [F; RATE]

impl<F, PF, P, const WIDTH: usize, const RATE: usize> CanFinalizeDigest for MultiField32Challenger<F, PF, P, WIDTH, RATE>

where F: PrimeField32, PF: PrimeField, P: CryptographicPermutation<[PF; WIDTH]>,

type Digest = [PF; RATE]

impl<T, H, const OUT_LEN: usize> CanFinalizeDigest for HashChallenger<T, H, OUT_LEN>

where T: Clone, H: CryptographicHasher<T, [T; OUT_LEN]>,

type Digest = [T; OUT_LEN]