Module seq

Sequential (non-parallelized, non-distributed) proving for Nova.

Structs

• Nova
  Prover for the Nexus zkVM using Nova.
• Proof
  A verifiable proof of a zkVM execution. Also contains a view capturing the output of the machine.

Enums

• Error
  Errors that occur while proving using Nova.

Type Aliases

• PP
  Public parameters used to prove and verify zkVM executions.