Crate execute_verifier 

OpenVM verifier execution

First, generate the fixtures by running:

cargo r -r --bin generate-fixtures --features generate-fixtures

To profile this binary, build it with the profiling profile:

cargo b --profile profiling --bin execute-verifier

Then run it with samply for profiling:

samply record --rate 10000 target/profiling/execute-verifier --mode preflight --verifier internal kitchen-sink

Structs

Cli 🔒

Enums

ExecutionMode 🔒

ProofType 🔒

VerifierType 🔒

Functions

execute_verifier 🔒

get_internal_verifier_proof_indices 🔒

Determines which proofs an internal verifier at given index should aggregate Returns (proof_type, indices) where indices are the proof indices to load

load_proof 🔒

main 🔒