Module vk 

Structs

VerificationBaseline

Baseline artifacts for a specific VM and fixed executable that are used to verify a final (i.e. internal-recursive) VM STARK proof

VmStarkVerifyingKey

Verifying key and artifacts used to verify a STARK proof for a fixed VM and executable

Functions

read_vk_from_file

write_vk_to_file