沈歸塵原本以為神君留下的修煉功法就已足夠艱深晦澀。
這又是誰的部將？
他一開始還願意本著職責詢問幾句什麼是邏輯？什麼是量詞？什麼是真值？
可到後麵他就放棄了，詢問何為多項式時間，結果還需要從多項式講起，詢問何為多項式，結果還需要從映射講起。
這根本不是他所能理解的世界。
但他在某種程度上並不意外。神君留下的傳承試煉如此匪夷所思，若是真有非奇技淫巧的解答，那就必須是他所無法理解的高深道法。
沈歸塵看來，徐林的講解雖然完全沒有要讓他聽懂的意思，可他仍舊能感受到其中的理論體係完備，抽象且高妙。
尤其是他已經認識到幾個具體的例子：河圖洛書幻方）、三染色圖、數獨，均能實現那種被稱為“零知識證明”的手法。
向他人證明自己具備某種知識，卻不對外泄露知識本身的絲毫信息。
沈歸塵迅速意識到這門道法意有所指。
或許可以向外聲稱自己具備某種能力、道法、情報，在讓其餘人信服的同時，卻不使自身的底牌泄露分毫。
難道說神君是想做這樣一件事？
“現在相信我有能力通過神君設下的考驗了嗎？”
徐林見沈歸塵陷入沉思，趁機發問道。
“我還沒看見你將理論化為實踐。”
沈歸塵搖了搖頭，反是欣慰地感慨：“不過僅憑這一席話，你也有機會得到神君的認可。”
他將視線投向傳承石碑，準備以自己所受傳承詛咒）引動神君留下的一道意識，請他做出評判。
就好像陳圭設計的勝天宮，神君的傳承石碑也不具備無限的能量，無法跨越千萬年持續存在。他的處理手法就是用修煉場所作為交換，契約失敗者作為守碑人，讓他們幫自己看著。
“這個解答其實並不可行。”
徐林忽然間的否定打斷了沈歸塵的行動。
沈歸塵老懷大慰的麵色霎時一沉，轉頭質問徐林：“何故不行？”
“因為這個理論真的無法化為實踐。”
代入惡意檢查者守碑人的視角，我們且來看看他是如何被三染色的零知識證明方案說服的。
假定證明人徐林狗屁不懂，壓根沒有珍瓏棋局所對應圖g的三染色方案。
那他製作的每一個解答副本都必然包含瑕疵：至少有一條邊，它的左右兩端點顏色相同。當然也可能出現更誇張的瑕疵，比如偷摸使用紅綠藍三色以外的顏色。
無論徐林做了怎樣的手腳，守碑人的每一輪檢查都會有至少1n的概率抓他個現行，其中n是圖g中邊的總數。
當徐林通過k輪檢查時，他的可信度就是1(11n)k。這個數值隨檢查輪次上升的收斂速度極慢，即便是通過n輪檢查，可信度也隻有大約11e，大約63.2。
想得到一個靠譜的置信度，零知識證明所需要的檢查次數正比於邊的總數n。而在sat到3染色的轉化中，邊的數量n幾乎正比於語句的總長度，這對於圍棋而言是個天文數字，完全不可能實現。
聽罷徐林的分析，沈歸塵氣不打一處來地捏緊了拳頭：“你自己知道有問題還拉著我說半天？
就算你說這個方案無法轉化為實踐，我也聽不出來啊。你裝作不知道不就好了嗎？
既然理論上能過，你在心虛個什麼？”
徐林話鋒一轉：“剛才是理論，其實我有彆的可實現方案。”
沈歸塵深吸一口氣，眯了眯眼。
實不相瞞，他真想捏死徐林。
“那你快說。”
徐林並未作答，而是麻薯笑嘻嘻地問道：“前輩為什麼會在這裡當守碑人？”
喜歡謊言與幻夢的二周目初見殺請大家收藏：()謊言與幻夢的二周目初見殺書更新速度全網最快。