POV: Je ontdekt wat verifieerbare computing kan doen met ZK.