Crate openvm_verify_stark_host 

Modules

deferral

error

pvs

vk

Structs

VmStarkProof

Functions

verify_vm_stark_proof

Verifies a non-root VM STARK proof (as a byte stream) given the internal-recursive layer verifying key and VM- and exe-specific baseline artifacts.

verify_vm_stark_proof_decoded

Verifies a non-root VM STARK proof given the internal-recursive layer verifying key and VM- and exe-specific baseline artifacts.

verify_vm_stark_proof_pvs