谎言与幻梦的二周目初见杀

第40章 最终解答(2/2)

新笔趣屋【m.xbiquwu.com】第一时间更新《谎言与幻梦的二周目初见杀》最新章节。

第1步将SAT问题转化为3-SAT,逻辑语句数大约膨胀至原本逻辑语句中出现的总字符数。

第2步将3-SAT转化为单调的三选一SAT,逻辑语句数大约会膨胀5倍左右。

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

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

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

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

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

(麻薯:文抄公闹麻了!)

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

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

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

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

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

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

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

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

“入乡随俗?”

“你知道功法玉简吗?”

“那是啥?”拉斯歪头。

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

拉斯瞪大了眼:“人也能插存储卡了?”

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

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

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

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

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

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

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

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

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

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

“遵命,狗修金撒马。”

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

“这才是我的好系统。

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

“是。”

拉斯心中不断默念着:隐忍!隐忍!隐忍!

人气小说推荐More+

重生之为蚁
重生之为蚁
关于重生之为蚁:孙云是个乐观主义青年,但也许是命运捉弄,他无奈的穿越了。悲催的是没有老头师傅,没有美女和神器,却成为弱小的蚂蚁。他可不相信自己是什么魔神附体,只好小心翼翼的求生存。
孙秋枫
女儿骨
女儿骨
那位唯我独尊的魔界尊主伏诛后竟转生为了仙门少女? 曾经不可一世、唯我独尊,而今开局好像有点子惨:失忆了,还患有怪病只要和人说话超过十个字就会晕倒。 唯一的好消息:家人宠她,咸鱼小日子过得有滋有味。 所以,姜
规则类怪谈:4016
规则类怪谈:4016
【原汁原味的克系规则类怪谈,已精品,质量保证,但是想看爽文的贵客请三思而后行】 为了获得一笔不菲的大学生活体验奖金,林异与舍友报名前往了一所郊区大学。 看似平平无奇却透着一丝不对劲的学生守则; 建筑楼前古怪
沧月玄
我家掌门天下第一
我家掌门天下第一
关于我家掌门天下第一:陈沙来到一个仙武世界,临危受命执掌天下第一宗门。上代掌门临死前叮嘱他:“一日不修成天下第一,便一日不准下山。于是他苦苦闭关,跨过体内天门,与古今强手对决…………很多年后,陈沙回忆起下山那一日,他从下山后便是天下第一。至以后十数个纪元,任神魔回归,仙佛住世,远古的大能,古神纷纷出现。不管时代如何变化,他竟一直都是天下第一,从未变改。
鹿食萍
师兄邀我飞升但我要下乡支农
师兄邀我飞升但我要下乡支农
十七岁那年上京赶考司农寺女官,偶遇仙门遴选,乔慧凑了热闹,小小一试。 那头女科高中,这头仙门入选,两相权衡,她决定先留学仙门。长生大道,通天权柄,她全无兴趣。只想学点仙家法术回人间种田,培育良种,改良农艺
初鸿影