Adds the specified commitment to the list of commitments.

Adds the provided auxiliary segment polynomials to this polynomial table.

Applies Rescue-XLIX permutation to the provided state.

ARRAY OPS ================================================================================================

Converts a vector of base elements into a vector of elements in a cubic extension field by fusing three adjacent base elements together. The output ve

Converts a vector of base elements into a vector of elements in a quadratic extension field by fusing two adjacent base elements together. The output

BATCH OPS ================================================================================================

Evaluates constraint composition polynomial over the LDE domain and builds a commitment to these evaluations. The evaluation is done by evaluating ea

Builds a single FRI layer by first committing to the `evaluations`, then drawing a random alpha from the channel and use it to perform degree-respecti

Returns the internal nodes of a Merkle tree defined by the specified leaves. The internal nodes are turned as a vector where the root is stored at po

Builds a all internal nodes of the Merkle using all available threads and stores the results in a single vector such that root of the tree is at posit

Computes a low-degree extension (LDE) of the provided execution trace over the specified domain and build a commitment to the extended trace. The ext

Returns size of the constraint evaluation domain. This is guaranteed to be a power of two, and is equal to `trace_length * ce_blowup_factor`.

Check that the out-of-domain (OOD) trace frame corresponds to the given [Air] and the OOD constraint evaluations. The OOD trace frame is guaranteed c

Generate and compile Circom code to verify a Winterfell proof with given parameters. The execution of this function, especially the generation of the

Computes a linear combination of all transition constraint evaluations and divides the result by transition constraint divisor. A transition constrai

Commits the prover to a FRI layer.

Returns the degree to which all constraint polynomials are normalized before they are composed together. This degree is one less than the size of con

Returns extension degree of this field extension.

Parses internal nodes from the provided `node_bytes`, and constructs a batch Merkle proof from these nodes, provided `leaves`, and provided tree `dept