Describir: EXTERNALLY VERIFIABLE CODE EXECUTION.