第40章 最终解答（2 / 2）

-SAT转化为单调的三选一SAT，逻辑语句数大约会膨胀5倍左右。

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

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

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

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

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

（麻薯：文抄公闹麻了！）

“尽管天机镜可以用于视频演示，但知识的传输效率还是太低了。”

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

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

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

作为乙方，拉丝直接怒了，抱着天机镜走上前，也顾不上走光，质问徐林：

“o(≧口≦)o你还想怎么改？”

徐林后世的哈希、承诺等技术照搬到天元大陆未必能达成共识，所以最好还是用原始的零知识证明进行。

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

“入乡随俗？”

“你知道功法玉简吗？”

“那是啥？”拉斯歪头。

徐林想了想，答道：“那是一种给人用的存储卡，使用者将神识探入其中，可以快速下载其中封装好的信息。”

拉斯瞪大了眼：“人也能插存储卡了？”

本地人麻薯追加解释道：“其实是一种把文字与画面记录在竹简内，而非竹简上的技术。只需要一小片玉简就能记录大量信息，而且使用者阅读起来也相对方便。”

“那不还是存储卡。”拉斯歪头，不知道麻薯想解释什么。

徐林从怀中掏出真理残章：“我托人要来了传功玉简的制作方法，你学一下。”

这是他托梦鱼从瀛洲书局弄来的制作说明书，也是书局里常用一个最简单实用的版本。

身为民用版本，其实也不能叫传功玉简，就只是个普通玉简。

拉斯接过徐林递来的制作说明书，对知识的好奇依旧战胜不了被宿主奴役的屈辱，不忿地咬了咬牙。

“我是来学技术的，绝对不是来打白工的。”

拉斯自我催眠着，希望让自己好受一些。

“你做两个部分。一个部分是理论讲解，逐步分析问题是如何转化成最后的拉丁方谜题的。

另一个部分是交互式检查，使用者选择行或者是列，然后你让玉简自动演示一下零知识证明的过程。”

“遵命，狗修金撒马。”

徐林点头，满意地摸了摸头上的荷叶边头饰。

“这才是我的好系统。

渺渺要是回来了，把传功玉简的事告诉她，或许她以后也用得上。”

“是。”

拉斯心中不断默念着：隐忍！隐忍！隐忍！