- cryptographic proof enabling verification of computation without revealing inputs opposite of full knowledge see knowledge completeness