新笔趣屋【m.xbiquwu.com】第一时间更新《谎言与幻梦的二周目初见杀》最新章节。
理光只是给徐林安排了几句，便又消失不见。
徒留下失去靠山、一脸懵逼的拉斯迎接徐林的报复。
“以后就这样，裙摆只准遮到签到表。
记得每天穿好白色过膝袜与小皮鞋，荷叶边头饰与蕾丝腿环也得戴。
那啥以后就不用了，反正也只有我会看。”
“狗宿主。”
拉斯羞愤地将自己刚掩到大腿根的裙摆往下拉，想要遮住自己凉飕飕的身子。
然而她现在随便乱动一下，其实都会走光。
这个长度根本是什么也挡不住。
拉斯这具肉身都是天命金丝编织的，身上的衣着装饰自然也可以随便编。
徐林又有梦之钉可以追索自己的记忆，加上真理残章的记录效果，真是想给拉斯换什么衣服，就能给她换什么衣服。
“你这女仆装正经吗？”
拉斯眼角含泪，她以前穿的可是正宗英伦女仆服，徐林这给她换的算是什么？
“养眼也是女仆的工作之一。反正你也没有打扫的工作可以做。”
虽然小四儿已经遗忘了一切，但用天命金丝与妖精之力编衣服的本事倒是可以教教她。
不然每天换好几次衣服也挺麻烦的。
“赶紧把事情办完，楼鳖没多久就要到江州了。”
麻薯看着时间，催促起徐林来。
虽然靠着卡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到拉丁方的转化相当小心。
