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.
pub fn verify_execution_scope(
caps: &CompiledCapability,
query_bytecode: &[u8],
) -> Result<(), ExecutionError>Walk compiled bytecode and ensure bound operands stay inside declared ontology domains.