第40章 最终解答（1 / 2）

理光只是给徐林安排了几句，便又消失不见。

徒留下失去靠山、一脸懵逼的拉斯迎接徐林的报复。

“以后就这样，裙摆只准遮到签到表。

记得每天穿好白色过膝袜与小皮鞋，荷叶边头饰与蕾丝腿环也得戴。

那啥以后就不用了，反正也只有我会看。”

“狗宿主。”

拉斯羞愤地将自己刚掩到大腿根的裙摆往下拉，想要遮住自己凉飕飕的身子。

然而她现在随便乱动一下，其实都会走光。

这个长度根本是什么也挡不住。

拉斯这具肉身都是天命金丝编织的，身上的衣着装饰自然也可以随便编。

徐林又有梦之钉可以追索自己的记忆，加上真理残章的记录效果，真是想给拉斯换什么衣服，就能给她换什么衣服。

“你这女仆装正经吗？”

拉斯眼角含泪，她以前穿的可是正宗英伦女仆服，徐林这给她换的算是什么？

“养眼也是女仆的工作之一。反正你也没有打扫的工作可以做。”

虽然小四儿已经遗忘了一切，但用天命金丝与妖精之力编衣服的本事倒是可以教教她。

不然每天换好几次衣服也挺麻烦的。

“赶紧把事情办完，楼鳖没多久就要到江州了。”

麻薯看着时间，催促起徐林来。

虽然靠着卡bug，将沈归尘手中的两枚灵珠给骗了回来，可事情不能就这么完。

他们还得想办法完整地通过神君的考验。

至于愚弄守碑人会不会被报复？

徐林本就不相信任何人，如今也只是把翻脸的事从地下弄到明面上来。

不要忘了，徐林与沈归尘的初见并不友善。对方显然不是会讲道理的主。

况且天予不取，反受其咎。见而不作，过在介石者也。

恰如沈归尘的想法，准备充足的人只玩阳谋。

如果F2A就能赢，谁会去做千层饼，赌对面猜不到自己的计策？

零知识证明是计算机时代的技术，仅靠人力就想完成复现是十分不现实的。

徐林光是理论可行性证明都得仰赖拉斯的助力，实践层面就更不可能只使用人工。

拉斯虽然不情愿，但还是忍受着漏风的诡异感，将自己之前做好的天机镜演示给抬了出来。

之前徐林也向沈归尘承认过，三染色的零知识证明只是理论可行，但在实践层面上需要的检查轮次可是天文数字。

拉斯这面天机镜里准备的演示不是三染色，而是徐林以前就向谢思、小汐演示过的“数独”零知识证明。

对于任意的N，都可以考虑N^2×N^2棋盘上的数独游戏，分成N^2行、N^2列、N^2宫仿照3阶数独游玩。

其零知识证明方案只需在行、列、宫里抽查，与N本身的大小无关。

徐林老家2000s的一篇文章指出，数独游戏也是NP巅峰大圆满问题，所以SAT其实可以在多项式时间内化归到数独身上。

其实还可以考虑数独的简化版：在N×N的方格内填入数字1到N，使得每一行、每一列上都没有重复数字。

这种游戏被称之为拉丁方，与数独性质类似，也是NP巅峰大圆满，但在结构上更加简单。

因为只有行与列的约束规则，当对拉丁方进行类似数独的零知识证明时，滥竽充数的证明者被检查者抓包的概率高达50%。

在通过k轮检查后，证明者的置信度会迅速来到1-2^{-k}。

徐林对SAT到拉丁方的转化相当小心。

第1步将SAT问题转化为3-SAT，逻辑语句数大约膨胀至原本逻辑语句中出现的总字符数。

第2步将3