Sponge
Fixtype of sponge states.
This is a product type introduced by fty::defprod.
Fields
- stat — nat-list
- mode — mode
- index — natp
This consists of a state vector,
an absorbing or squeezing mode,
and an index.
The index points to an element of the sublist of the state vector
that consists of the r elements against which
inputs are absorbed or outputs are squeezed:
the index indicates the next element absorbed or squeezed.
Here we just say that the state vector is a list of natural numbers,
because we do not have the prime that defines the prime field.
Requirements on the state vector,
and on the absorbing or squeezing index,
are expressed in sponge-validp,
since they involve the parameters.
Subtopics
- Sponge-fix
- Fixing function for sponge structures.
- Sponge-equiv
- Basic equivalence relation for sponge structures.
- Spongep
- Recognizer for sponge structures.
- Make-sponge
- Basic constructor macro for sponge structures.
- Change-sponge
- Modifying constructor for sponge structures.
- Sponge->stat
- Get the stat field from a sponge.
- Sponge->mode
- Get the mode field from a sponge.
- Sponge->index
- Get the index field from a sponge.
