谎言与幻梦的二周目初见杀第36章 请假条

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

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

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

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

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

” “狗宿主。

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

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

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

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

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

“你这女仆装正经吗？” 拉斯眼角含泪她以前穿的可是正宗英伦女仆服徐林这给她换的算是什么？ “养眼也是女仆的工作之一。

反正你也没有打扫的工作可以做。

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

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

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

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

虽然靠着卡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-SAT转化为单调的三选一SAT逻辑语句数大约会膨胀5倍左右。

第3步再将单调的三选一SAT转化为拉丁方残局拉丁方的尺寸膨胀至逻辑语句数的35倍。

第4步将拉丁方残局补齐成完整的拉丁方尺寸至多膨胀至2倍。

整个过程里发生的复杂度上升都是线性膨胀并不会对拉斯的计算力产生荷载。

拉斯在帮徐林制作天机镜演示的过程中也逐渐了解了零知识证明的理论。

就算是她也不得不承认徐林这家伙还真是有点东西。

（麻薯：文抄公闹麻了！） “尽管天机镜可以用于视频演示但知识的传输效率还是太低了。

” 徐林对他之前设计的方案仍旧是不满意。

新方案虽然压缩了交互检查的轮次可每轮检查内需要查验的对象规模仍旧庞大。

“我们的方案还得再改改。

” 作为乙方拉丝直接怒了抱着天机镜走上前也顾不上走光质问徐林： “o(≧口≦)o你还想怎么改？” 徐林后世的哈希、承诺等技术照搬到天元大陆未必能达成共识所以最好还是用原始的零知识证明进行。

“用不了计算机证明我们可以入乡随俗啊。

” “入乡随俗？” 这章没有结束请点击下一页继续阅读！。

本文地址谎言与幻梦的二周目初见杀第36章 请假条来源 http://www.glafly.com