Crate openvm_verify_stark 

Modules

host

Macros

define_verify_openvm_stark

Define a function that verifies an OpenVM Stark proof. To define this function, users need to specify the function name and an ASM file containing the assembly code for the verification(this ASM file can be generated by Sdk.generate_root_verifier_asm function). To specify the ASM file, users need to provide the parent folder and filename of the ASM file. To call this function: