Module utils 

Structs

FlattenedVec

MultiVecWithBounds

Traits

FlattenedLayout

Functions

assert_one_ext

assert_zeros

base_to_ext

eq_1

ext_field_add

ext_field_add_scalar

ext_field_multiply

ext_field_multiply_scalar

ext_field_one_minus

ext_field_subtract

ext_field_subtract_scalar

interpolate_quadratic

mobius_eq_1

Per-coordinate Möbius-adjusted equality kernel for eval-to-coeff RS encoding:

poseidon2_hash_slice

poseidon2_hash_slice_with_states

pow_observe_sample

Runs the PoW observe/sample in a preflight transcript, returning the sample (or F::ZERO when pow_bits == 0).

pow_tidx_count

Returns the number of transcript slots consumed by a proof-of-work check.

scalar_subtract_ext_field