nexus_sdk

Module legacy

Source
Expand description

Legacy prover integrations.

Modules§

  • compile
    Configure the dynamic compilation of guest programs.
  • hypernova
    Interface into proving with HyperNova.
  • jolt
    Experimental interface into proving with Jolt.
  • nova
    Interface into proving with Nova.
  • views
    View the output of an execution.

Traits§

  • LegacyProver
    A prover for the zkVM.
  • LegacyVerifiable
    A verifiable proof of a zkVM execution. Also contains a view capturing the output of the machine.
  • LegacyViewable
    A view capturing the output of the machine.
  • UncheckedView
    An unchecked view, the correctness of which is not guaranteed by the proving or checked by the verification.