Expand description
CPU implementation of proving backend
Modules§
- Polynomial opening proofs
- Computation of DEEP quotient polynomial and commitment
Structs§
- CPU backend using Plonky3 traits.
- Proves multiple chips with interactions together. This prover implementation is specialized for Interactive AIRs.