挑戦: ZK証明を4語で説明する