openvm_stark_backend::prover

Module cpu

Source
Expand description

CPU implementation of proving backend

Modules§

  • Polynomial opening proofs
  • Computation of DEEP quotient polynomial and commitment

Structs§