简洁的零知识证明（ZKP）是那些即使是已经从事数学工作超过十年的资深专家，有时也会停下来思考的事情："我真不敢相信这真的有效。" 有时感觉如果不是上帝之手推动着铅笔，这一切都不会发生。