Module proof 

Dory proof structure

A Dory proof consists of:

• VMV message (PCS transform)
• Multiple rounds of reduce messages (log n rounds)
• Final scalar product message (transparent) or Σ-proofs (ZK)

Structs

DoryProof

A complete Dory evaluation proof

Enums

ProofMode

A DoryProof classified by mode, carrying references to the fields that mode guarantees (see DoryProof::mode).