谎言与幻梦的二周目初见杀第35章 解3
沈归尘原本以为神君留下的修炼功法就已足够艰深晦涩。
这又是谁的部将? 他一开始还愿意本着职责询问几句什么是逻辑?什么是量词?什么是真值? 可到后面他就放弃了询问何为多项式时间结果还需要从多项式讲起询问何为多项式结果还需要从映射讲起。
这根本不是他所能理解的世界。
但他在某种程度上并不意外。
神君留下的传承试炼如此匪夷所思若是真有非奇技淫巧的解答那就必须是他所无法理解的高深道法。
沈归尘看来徐林的讲解虽然完全没有要让他听懂的意思可他仍旧能感受到其中的理论体系完备抽象且高妙。
尤其是他已经认识到几个具体的例子:河图洛书(幻方)、三染色图、数独均能实现那种被称为“零知识证明”的手法。
向他人证明自己具备某种知识却不对外泄露知识本身的丝毫信息。
沈归尘迅速意识到这门道法意有所指。
或许可以向外声称自己具备某种能力、道法、情报在让其余人信服的同时却不使自身的底牌泄露分毫。
难道说神君是想做这样一件事? “现在相信我有能力通过神君设下的考验了吗?” 徐林见沈归尘陷入沉思趁机发问道。
“我还没看见你将理论化为实践。
” 沈归尘摇了摇头反是欣慰地感慨:“不过仅凭这一席话你也有机会得到神君的认可。
” 他将视线投向传承石碑准备以自己所受传承(诅咒)引动神君留下的一道意识请他做出评判。
就好像陈圭设计的胜天宫神君的传承石碑也不具备无限的能量无法跨越千万年持续存在。
他的处理手法就是用修炼场所作为交换契约失败者作为守碑人让他们帮自己看着。
“这个解答其实并不可行。
” 徐林忽然间的否定打断了沈归尘的行动。
沈归尘老怀大慰的面色霎时一沉转头质问徐林:“何故不行?” “因为这个理论真的无法化为实践。
” 代入恶意检查者守碑人的视角我们且来看看他是如何被三染色的零知识证明方案说服的。
假定证明人徐林狗屁不懂压根没有珍珑棋局所对应图G的三染色方案。
那他制作的每一个解答副本都必然包含瑕疵:至少有一条边它的左右两端点颜色相同。
当然也可能出现更夸张的瑕疵比如偷摸使用红绿蓝三色以外的颜色。
无论徐林做了怎样的手脚守碑人的每一轮检查都会有至少1/N的概率抓他个现行其中N是图G中边的总数。
当徐林通过k轮检查时他的可信度就是1-(1-1/N)^{k}。
这个数值随检查轮次上升的收敛速度极慢即便是通过N轮检查可信度也只有大约1-1/e大约63.2%。
想得到一个靠谱的置信度零知识证明所需要的检查次数正比于边的总数N。
而在SAT到3染色的转化中边的数量N几乎正比于语句的总长度这对于围棋而言是个天文数字完全不可能实现。
听罢徐林的分析沈归尘气不打一处来地捏紧了拳头:“你自己知道有问题还拉着我说半天? 就算你说这个方案无法转化为实践我也听不出来啊。
你装作不知道不就好了吗? 既然理论上能过你在心虚个什么?” 徐林话锋一转:“刚才是理论其实我有别的可实现方案。
” 沈归尘深吸一口气眯了眯眼。
实不相瞒他真想捏死徐林。
“那你快说。
” 徐林并未作答而是麻薯笑嘻嘻地问道:“前辈为什么会在这里当守碑人?” 喜欢谎言与幻梦的二周目初见杀请大家收藏:()谎言与幻梦的二周目初见杀20小说网更新速度全网最快。
本文地址谎言与幻梦的二周目初见杀第35章 解3来源 http://www.glafly.com





