Function aleo_wasm::programs::execution::verify_function_execution

pub fn verify_function_execution(
    execution: &Execution,
    verifying_key: &VerifyingKey,
    program: &Program,
    function_id: &str
) -> Result<bool, String>

Verify an execution with a single function and a single transition. Executions with multiple transitions or functions will fail to verify. Also, this does not verify that the state root of the execution is included in the Aleo Network ledger.

@param {Execution} execution The function execution to verify @param {VerifyingKey} verifying_key The verifying key for the function @param {Program} program The program that the function execution belongs to @param {String} function_id The name of the function that was executed @returns {boolean} True if the execution is valid, false otherwise