Module core 

Modules

air

channel

circle

constraints

fft

fields

fri

pcs

Implements a FRI polynomial commitment scheme.

poly

proof

proof_of_work

queries

utils

vcs

Vector commitment scheme (VCS) module.

vcs_lifted

verifier

Structs

ComponentVec

A vector of ColumnVecs. Each ColumnVec relates (by index) to a component in the air.

Fraction

Projective fraction.

Type Aliases

ColumnVec

A vector in which each element relates (by index) to a column in the trace.