Module quotient

Computation of DEEP quotient polynomial and commitment

Modules

• single

Structs

• ProverQuotientData
  Prover data for multi-matrix quotient polynomial commitment. Quotient polynomials for multiple RAP matrices are committed together into a single commitment. The quotient polynomials can be committed together even if the corresponding trace matrices are committed separately.
• 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.
• QuotientVkData
  All necessary data from VK to compute ProverQuotientData
• SingleQuotientData
  The quotient polynomial from a single matrix RAP, evaluated on the quotient domain.