The guest entry point

The zkVM guest's main: decode the stateless input, verify the payload, and emit the public validation result. Fatal failures publish the invalid result and terminate inside fatal_error; only success returns here.

function fatal_error_set_input

function fatal_error_set_input(_input_ref) = ()

function main

Decodes, verifies, and reports the successful validation result.

function main() -> unit = {
    scratch_reset();
    validation_debug_reset();
    let input_bytes = stateless_input();
    let input_ref = decode_stateless_input_ref(input_bytes);
    fatal_error_set_input(input_ref);
    verify_stateless_payload(input_ref);
    write_validation_result(input_ref, true)
}