Module ark_sponge::constraints

Infrastructure for the constraints counterparts.

Traits

AbsorbGadget	An interface for objects that can be absorbed by a CryptographicSpongeVar whose constraint field is CF.
CryptographicSpongeVar	The interface for a cryptographic sponge constraints on field CF. A sponge can absorb or take in inputs and later squeeze or output bytes or field elements. The outputs are dependent on previous absorb and squeeze calls.

Functions

bits_le_to_nonnative

Converts little-endian bits to a list of nonnative elements.