Tag: verifiable processing unit