Marker structure storing the instance once it has been provided. ```no_run # #[cfg(feature = "sha3")] # { use spongefish::domain_separator; let _pro

Session state marker: a session context has been bound.

Maps for encoding prover messages and decoding verifier messages. Marker trait for types that have encoding and decoding maps. A type is a [`Codec`]

The interface for all types that can be turned into verifier messages.

A buffer meant to hold enough bytes for obtaining a uniformly-distributed random field element. In practice, for [`DecodingFieldBuffer`] is meant to h

Domain separator for a Fiat--Shamir transformation. The API enforces: `new → session | without_session → instance → prover/verifier`.

A [`DuplexSpongeInterface`] is an abstract interface for absorbing and squeezing elements implementing [`Unit`]. HAZARD**: Don't implement this trait

Interface for turning a type into a duplex sponge input. [`Encoding<T>`] defines an encoding into a type `T`. By default `T = [u8]` in order to serve

Trait for reading an object from a NARG string. # Semantics All objects serialized using [`NargSerialize`] must be de-serializable (i.e., return `Ok

Trait for serialization of an object as a NARG string. # Semantics When using a byte-oriented hash function, the serialized object is the same as wh

A permutation over operating over an array of `WIDTH` [`Unit`]s.

Standalone proof-of-work grinder that can work with any byte challenge. This structure provides a clean separation between the PoW solving logic and

[`ProverState`] is the prover state in the non-interactive transformation. It provides the **secret coins** of the prover for zero-knowledge, and the

A trait denoting the requirements for the elements of the alphabet. ``` # #[cfg(feature = "derive")] # { use spongefish::Unit; #[derive(Clone, Debug

[`VerifierState`] is the verifier state. ``` # #[cfg(feature = "sha3")] # { use spongefish::{StdHash, VerifierState}; let verifier = VerifierState::

Generic XOF-based duplex sponge implementation. This implementation uses any XOF (extendable output function) that implements [`digest::ExtendableOut