As far as I know (because I worked in the cryptography world a long time ago), these kind of computing are based on "zero knowledge proof" (https://en.wikipedia.org/wiki/Zero-knowledge_proof).