Expand description
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.