徒留下失去靠山、一脸懵逼的拉斯迎接徐林的报复。
“以后就这样，裙摆只准遮到签到表。
记得每天穿好白色过膝袜与小皮鞋，荷叶边头饰与蕾丝腿环也得戴。
那啥以后就不用了，反正也只有我会看。”
“狗宿主。”
拉斯羞愤地将自己刚掩到大腿根的裙摆往下拉，想要遮住自己凉飕飕的身子。
然而她现在随便乱动一下，其实都会走光。
这个长度根本是什么也挡不住。
拉斯这具肉身都是天命金丝编织的，身上的衣着装饰自然也可以随便编。
徐林又有梦之钉可以追索自己的记忆，加上真理残章的记录效果，真是想给拉斯换什么衣服，就能给她换什么衣服。
“你这女仆装正经吗？”
拉斯眼角含泪，她以前穿的可是正宗英伦女仆服，徐林这给她换的算是什么？
“养眼也是女仆的工作之一。反正你也没有打扫的工作可以做。”
虽然小四儿已经遗忘了一切，但用天命金丝与妖精之力编衣服的本事倒是可以教教她。
不然每天换好几次衣服也挺麻烦的。
“赶紧把事情办完，楼鳖没多久就要到江州了。”
麻薯看着时间，催促起徐林来。
虽然靠着卡bug，将沈归尘手中的两枚灵珠给骗了回来，可事情不能就这么完。
他们还得想办法完整地通过神君的考验。
至于愚弄守碑人会不会被报复？
徐林本就不相信任何人，如今也只是把翻脸的事从地下弄到明面上来。
不要忘了，徐林与沈归尘的初见并不友善。对方显然不是会讲道理的主。
况且天予不取，反受其咎。见而不作，过在介石者也。
恰如沈归尘的想法，准备充足的人只玩阳谋。
如果F2A就能赢，谁会去做千层饼，赌对面猜不到自己的计策？
零知识证明是计算机时代的技术，仅靠人力就想完成复现是十分不现实的。
徐林光是理论可行性证明都得仰赖拉斯的助力，实践层面就更不可能只使用人工。
拉斯虽然不情愿，但还是忍受着漏风的诡异感，将自己之前做好的天机镜演示给抬了出来。
之前徐林也向沈归尘承认过，三染色的零知识证明只是理论可行，但在实践层面上需要的检查轮次可是天文数字。
拉斯这面天机镜里准备的演示不是三染色，而是徐林以前就向谢思、小汐演示过的“数独”零知识证明。
对于任意的N，都可以考虑N^2xN^2棋盘上的数独游戏，分成N^2行、N^2列、N^2宫仿照3阶数独游玩。
其零知识证明方案只需在行、列、宫里抽查，与N本身的大小无关。
徐林老家2000s的一篇文章指出，数独游戏也是Np巅峰大圆满问题，所以SAt其实可以在多项式时间内化归到数独身上。
其实还可以考虑数独的简化版：在NxN的方格内填入数字1到N，使得每一行、每一列上都没有重复数字。
这种游戏被称之为拉丁方，与数独性质类似，也是Np巅峰大圆满，但在结构上更加简单。
因为只有行与列的约束规则，当对拉丁方进行类似数独的零知识证明时，滥竽充数的证明者被检查者抓包的概率高达50%。
在通过k轮检查后，证明者的置信度会迅速来到1-2^{-k}。
徐林对SAt到拉丁方的转化相当小心。
第1步将SAt问题转化为3-SAt，逻辑语句数大约膨胀至原本逻辑语句中出现的总字符数。
第2步将3-SAt转化为单调的三选一SAt，逻辑语句数大约会膨胀5倍左右。
第3步再将单调的三选一SAt转化为拉丁方残局，拉丁方的尺寸膨胀至逻辑语句数的35倍。
第4步将拉丁方残局补齐成完整的拉丁方，尺寸至多膨胀至2倍。
整个过程里发生的复杂度上升都是线性膨胀，并不会对拉斯的计算力产生荷载。
拉斯在帮徐林制作天机镜演示的过程中，也逐渐了解了零知识证明的理论。
就算是她也不得不承认，徐林这家伙还真是有点东西。
（麻薯：文抄公闹麻了！）
“尽管天机镜可以用于视频演示，但知识的传输效率还是太低了。”
徐林对他之前设计的方案仍旧是不满意。
新方案虽然压缩了交互检查的轮次，可每轮检查内需要查验的对象规模仍旧庞大。
“我们的方案还得再改改。”
作为乙方，拉丝直接怒了，抱着天机镜走上前，也顾不上走光，质问徐林：
“o(≧口≦)o你还想怎么改？”
徐林