nexus_sdk::legacy::hypernova

Module seq

Source
Expand description

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.