検証可能なXYZを構築するすべての暗号プロトコルに対して 誰もそんなこと望んでいない