第1步將sat問題轉化為3sat，邏輯語句數大約膨脹至原本邏輯語句中出現的總字符數。
第2步將3sat轉化為單調的三選一sat，邏輯語句數大約會膨脹5倍左右。
第3步再將單調的三選一sat轉化為拉丁方殘局，拉丁方的尺寸膨脹至邏輯語句數的35倍。
第4步將拉丁方殘局補齊成完整的拉丁方，尺寸至多膨脹至2倍。
整個過程裡發生的複雜度上升都是線性膨脹，並不會對拉斯的計算力產生荷載。
拉斯在幫徐林製作天機鏡演示的過程中，也逐漸了解了零知識證明的理論。
就算是她也不得不承認，徐林這家夥還真是有點東西。
麻薯：文抄公鬨麻了！）
“儘管天機鏡可以用於視頻演示，但知識的傳輸效率還是太低了。”
徐林對他之前設計的方案仍舊是不滿意。
新方案雖然壓縮了交互檢查的輪次，可每輪檢查內需要查驗的對象規模仍舊龐大。
“我們的方案還得再改改。”
作為乙方，拉絲直接怒了，抱著天機鏡走上前，也顧不上走光，質問徐林：
“o(≧口≦)o你還想怎麼改？”
徐林後世的哈希、承諾等技術照搬到天元大陸未必能達成共識，所以最好還是用原始的零知識證明進行。
“用不了計算機證明，我們可以入鄉隨俗啊。”
“入鄉隨俗？”
小主，這個章節後麵還有哦，請點擊下一頁繼續閱讀，後麵更精彩！
“你知道功法玉簡嗎？”
“那是啥？”拉斯歪頭。
徐林想了想，答道：“那是一種給人用的存儲卡，使用者將神識探入其中，可以快速下載其中封裝好的信息。”
拉斯瞪大了眼：“人也能插存儲卡了？”
本地人麻薯追加解釋道：“其實是一種把文字與畫麵記錄在竹簡內，而非竹簡上的技術。隻需要一小片玉簡就能記錄大量信息，而且使用者閱讀起來也相對方便。”
“那不還是存儲卡。”拉斯歪頭，不知道麻薯想解釋什麼。
徐林從懷中掏出真理殘章：“我托人要來了傳功玉簡的製作方法，你學一下。”
這是他托夢魚從瀛洲書局弄來的製作說明書，也是書局裡常用一個最簡單實用的版本。
身為民用版本，其實也不能叫傳功玉簡，就隻是個普通玉簡。
拉斯接過徐林遞來的製作說明書，對知識的好奇依舊戰勝不了被宿主奴役的屈辱，不忿地咬了咬牙。
“我是來學技術的，絕對不是來打白工的。”
拉斯自我催眠著，希望讓自己好受一些。
“你做兩個部分。一個部分是理論講解，逐步分析問題是如何轉化成最後的拉丁方謎題的。
另一個部分是交互式檢查，使用者選擇行或者是列，然後你讓玉簡自動演示一下零知識證明的過程。”
“遵命，狗修金撒馬。”
徐林點頭，滿意地摸了摸頭上的荷葉邊頭飾。
“這才是我的好係統。
渺渺要是回來了，把傳功玉簡的事告訴她，或許她以後也用得上。”
“是。”
拉斯心中不斷默念著：隱忍！隱忍！隱忍！
喜歡謊言與幻夢的二周目初見殺請大家收藏：()謊言與幻夢的二周目初見殺書更新速度全網最快。