理光隻是給徐林安排了幾句，便又消失不見。
徒留下失去靠山、一臉懵逼的拉斯迎接徐林的報複。
“以後就這樣，裙擺隻準遮到簽到表。
記得每天穿好白色過膝襪與小皮鞋，荷葉邊頭飾與蕾絲腿環也得戴。
那啥以後就不用了，反正也隻有我會看。”
“狗宿主。”
拉斯羞憤地將自己剛掩到大腿根的裙擺往下拉，想要遮住自己涼颼颼的身子。
然而她現在隨便亂動一下，其實都會走光。
這個長度根本是什麼也擋不住。
拉斯這具肉身都是天命金絲編織的，身上的衣著裝飾自然也可以隨便編。
徐林又有夢之釘可以追索自己的記憶，加上真理殘章的記錄效果，真是想給拉斯換什麼衣服，就能給她換什麼衣服。
“你這女仆裝正經嗎？”
拉斯眼角含淚，她以前穿的可是正宗英倫女仆服，徐林這給她換的算是什麼？
“養眼也是女仆的工作之一。反正你也沒有打掃的工作可以做。”
雖然小四兒已經遺忘了一切，但用天命金絲與妖精之力編衣服的本事倒是可以教教她。
不然每天換好幾次衣服也挺麻煩的。
“趕緊把事情辦完，樓鱉沒多久就要到江州了。”
麻薯看著時間，催促起徐林來。
雖然靠著卡bug，將沈歸塵手中的兩枚靈珠給騙了回來，可事情不能就這麼完。
他們還得想辦法完整地通過神君的考驗。
至於愚弄守碑人會不會被報複？
徐林本就不相信任何人，如今也隻是把翻臉的事從地下弄到明麵上來。
不要忘了，徐林與沈歸塵的初見並不友善。對方顯然不是會講道理的主。
況且天予不取，反受其咎。見而不作，過在介石者也。
恰如沈歸塵的想法，準備充足的人隻玩陽謀。
如果f2a就能贏，誰會去做千層餅，賭對麵猜不到自己的計策？
零知識證明是計算機時代的技術，僅靠人力就想完成複現是十分不現實的。
徐林光是理論可行性證明都得仰賴拉斯的助力，實踐層麵就更不可能隻使用人工。
拉斯雖然不情願，但還是忍受著漏風的詭異感，將自己之前做好的天機鏡演示給抬了出來。
之前徐林也向沈歸塵承認過，三染色的零知識證明隻是理論可行，但在實踐層麵上需要的檢查輪次可是天文數字。
拉斯這麵天機鏡裡準備的演示不是三染色，而是徐林以前就向謝思、小汐演示過的“數獨”零知識證明。
對於任意的n，都可以考慮n2xn2棋盤上的數獨遊戲，分成n2行、n2列、n2宮仿照3階數獨遊玩。
其零知識證明方案隻需在行、列、宮裡抽查，與n本身的大小無關。
徐林老家2000s的一篇文章指出，數獨遊戲也是np巔峰大圓滿問題，所以sat其實可以在多項式時間內化歸到數獨身上。
其實還可以考慮數獨的簡化版：在nxn的方格內填入數字1到n，使得每一行、每一列上都沒有重複數字。
這種遊戲被稱之為拉丁方，與數獨性質類似，也是np巔峰大圓滿，但在結構上更加簡單。
因為隻有行與列的約束規則，當對拉丁方進行類似數獨的零知識證明時，濫竽充數的證明者被檢查者抓包的概率高達50。
在通過k輪檢查後，證明者的置信度會迅速來到12k。
徐林對sat到拉丁方的轉化相當小心。