Module snarkvm_marlin::fiat_shamir

RNGs for the Marlin SNARK.

Re-exports

pub use traits::*;

Modules

traits

Traits for the Fiat-Shamir RNG.

Structs

FiatShamirAlgebraicSpongeRng

An RNG from any algebraic sponge

FiatShamirAlgebraicSpongeRngVar

Building the Fiat-Shamir sponge’s gadget from any algebraic sponge’s gadget.

FiatShamirChaChaRng

Implements a Fiat-Shamir based Rng that allows one to incrementally update the seed based on new messages in the proof transcript. Use a ChaCha stream cipher to generate the actual pseudorandom bits. Use a digest function to do absorbing.

PoseidonCryptoHash

PoseidonCryptoHashGadget

PoseidonParameters

Parameters and RNG used

PoseidonSponge

A duplex sponge based using the Poseidon permutation.

PoseidonSpongeGadget

the gadget for Poseidon sponge

State

Enums

FiatShamirError

A enum specifying the possible failure modes of FiatShamir.

Traits

PoseidonDefaultParametersField

A field with Poseidon parameters associated

Functions

find_poseidon_ark_and_mds

Internal function that computes the ark and mds from the Poseidon Grain LFSR.

get_default_poseidon_parameters_internal

Internal function that uses the PoseidonDefaultParameters to compute the Poseidon parameters.