Skip to main content

verify_execution_scope

Function verify_execution_scope 

Source
pub fn verify_execution_scope(
    caps: &CompiledCapability,
    query_bytecode: &[u8],
) -> Result<(), ExecutionError>
Expand description

Walk compiled bytecode and ensure bound operands stay inside declared ontology domains.