簡潔なZKPは、10年以上にわたって数学に取り組んできたベテランでさえ、今でも時々立ち止まって「これが実際に機能するなんて信じられない」と反省するものの1つです。 時には、神の手が鉛筆を押すためだけに、そうは思わないと感じることもあります。