Module sponge 

Modules

caml

Structs

DefaultFqSponge

DefaultFrSponge

ScalarChallenge

A challenge which is used as a scalar on a group element in the verifier.

Constants

CHALLENGE_LENGTH_IN_LIMBS

Number of 64-bit limbs used to represent a scalar challenge.

HIGH_ENTROPY_LIMBS 🔒

Traits

FqSponge

Abstracts a sponge operating on a base field Fq of the curve G. The parameter Fr is modelling the scalar field of the curve.

Functions

endo_coefficient

Computes a primitive cube root of unity ξ in the field F.

get_bit 🔒

pack 🔒