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§
- Legacy
Prover - A prover for the zkVM.
- Legacy
Verifiable - A verifiable proof of a zkVM execution. Also contains a view capturing the output of the machine.
- Legacy
Viewable - A view capturing the output of the machine.
- Unchecked
View - An unchecked view, the correctness of which is not guaranteed by the proving or checked by the verification.