Module seq

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

Structs

HyperNova

Prover for the Nexus zkVM using HyperNova.

Proof

A verifiable proof of a zkVM execution. Also contains a view capturing the output of the machine.

SRS

Structured reference string (SRS) used to generate public parameters.

Enums

Error

Errors that occur while proving using HyperNova.

Type Aliases

PP

Public parameters used to prove and verify zkVM executions.