理光只是给徐林安排了几句，便又消失不见。
徒留下失去靠山、一脸懵逼的拉斯迎接徐林的报复。
“以后就这样，裙摆只准遮到签到表。
记得每天穿好白色过膝袜与小皮鞋，荷叶边头饰与蕾丝腿环也得戴。
那啥以后就不用了，反正也只有我会看。”
“狗宿主。”
拉斯羞愤地将自己刚掩到大腿根的裙摆往下拉，想要遮住自己凉飕飕的身子。
然而她现在随便乱动一下，其实都会走光。
这个长度根本是什么也挡不住。
拉斯这具肉身都是天命金丝编织的，身上的衣着装饰自然也可以随便编。
徐林又有梦之钉可以追索自己的记忆，加上真理残章的记录效果，真是想给拉斯换什么衣服，就能给她换什么衣服。
“你这女仆装正经吗？”
拉斯眼角含泪，她以前穿的可是正宗英伦女仆服，徐林这给她换的算是什么？
“养眼也是女仆的工作之一。反正你也没有打扫的工作可以做。”
虽然小四儿已经遗忘了一切，但用天命金丝与妖精之力编衣服的本事倒是可以教教她。
不然每天换好几次衣服也挺麻烦的。
“赶紧把事情办完，楼鳖没多久就要到江州了。”
麻薯看着时间，催促起徐林来。
虽然靠着卡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你还想怎么改？”
徐林后世的哈希、承诺等技术照搬到天元大陆未必能达成共识，所以最好还是用原始的零知识证明进行。
“用不了计算机证明，我们可以入乡随俗啊。”
“入乡随俗？”
“你知道功法玉简吗？”
“那是啥？”拉斯歪头。
徐林想了想，答道：“那是一种给人用的存储卡，使用者将神识探入其中，可以快速下载其中封装好的信息。”
拉斯瞪大了眼：“人也能插存储卡了？”
本地人麻薯追加解释道：“其实是一种把文字与画面记录在竹简内，而非竹简上的技术。只需要一小片玉简就能记录大量信息，而且使用者阅读起来也相对方便。”
“那不还是存储卡。”拉斯歪头，不知道麻薯想解释什么。
徐林从怀中掏出真理残章：“我托人要来了传功玉简的制作方法，你学一下。”
这是他托梦鱼从瀛洲书局弄来的制作说明书，也是书局里常用一个最简单实用的版本。
身为民用版本，其实也不能叫传功玉简，就只是个普通玉简。
拉斯接过徐林递来的制作说明书，对知识的好奇依旧战胜不了被宿主奴役的屈辱，不忿地咬了咬牙。
“我是来学技术的，绝对不是来打白工的。”
拉斯自我催眠着，希望让自己好受一些。
“你做两个部分。一个部分是理论讲解，逐步分析问题是如何转化成最后的拉丁方谜题的。
另一个部分是交互式检查，使用者选择行或者是列，然后你让玉简自动演示一下零知识证明的过程。”
“遵命，狗修金撒马。”
徐林点头，满意地摸了摸头上的荷叶边头饰。
“这才是我的好系统。
渺渺要是回来了，把传功玉简的事告诉她，或许她以后也用得上。”
“是。”
拉斯心中不断默念着：隐忍！隐忍！隐忍！