openvm_stark_backend::prover::cpu

Module quotient

Source
Expand description

Computation of DEEP quotient polynomial and commitment

Structs§

  • 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).