Module quotient

openvm_stark_backend::prover::cpu

Module quotient 

Source
Expand description

Computation of DEEP quotient polynomial and commitment

Structsยง

QuotientChunk
The vector of evaluations of the quotient polynomial on the quotient domain, split into chunks of size equal to the trace domain size (quotient domain size divided by quotient_degree).
QuotientCommitter
QuotientData
The quotient polynomials from multiple RAP matrices.