這章沒有結束，請點擊下一頁繼續閱讀！
至少在圍棋ai研究的早期，地球人嘗試這條道路完全走不通。
好在拉斯有力大飛磚的超絕計算力，能幫徐林將這個轉化變作現實。
徐林讓拉斯做的第一件事就是這個：將珍瓏棋局轉為sat問題，無論在難度還是形式上，都比原本更加簡單。
想要零知識證明珍瓏棋局，隻需要零知識證明其相對應的sat問題。
sat雖隻是np之境，卻也是np巔峰大圓滿，人稱np完全境。
sat足以降維打擊一切np境以內的敵人。所有np問題都可在多項式時間內化歸為sat問題。
零知識證明sat，實際上就能零知識證明一切np問題。
可實際上，徐林也沒有直接處理sat問題，而是轉而尋求其他np巔峰大圓滿的高手。
同為np巔峰大圓滿，sat與其他高手並沒有區彆，零知識證明任意一個np完全問題都足以實現回推。
徐林求助的正是三染色問題：給定一張圖g，求問能否用三種顏色給圖g的所有端點染色，使得相鄰頂點顏色不同。
注：一張圖是指一些頂點用一些線連接在一起。）
所有np巔峰大圓滿都可以在多項式時間內相互轉化，sat也可以按照某種規則轉化為3染色問題。
這個轉化可以如下粗淺理解：首先構造一個基本三角形，三個端點染色為【真】【假】【占位符】。
然後將所有的布爾變量與邏輯語句當做圖的點，通過合適的方法連接在一起。
對這個圖的三染色方案，實際上就是給每個布爾變量與邏輯語句賦值【真】【假】。
總而言之，零知識證明sat，隻需要零知識證明三染色問題。
與sat不同，三染色問題的零知識證明是相當輕鬆的。
隻需要在正確3染色的圖上不停地抽查，驗證每一次抽樣所得邊的左右兩個端點顏色是否不相同即可。
可在神君的考驗中，守碑人是一個惡意的檢查者，他會試圖用檢查所得到的信息來破解徐林的染色方案，從而竊取珍瓏棋局的正解。
也就是說，每一次進行邊的抽樣時，檢查者都會獲悉這條邊兩個端點的顏色情況。當他遍曆徐林的3染色圖時，一切信息便全部泄露。
小汐曾向徐林建言：“將答案隱藏在一些誤導項之中”。
乍一聽似乎沒有可實現性，但3染色的零知識證明恰恰就是要用這般思路。
汐：那為什麼隻誇思不誇我？）
假設徐林現在用紅綠藍三種顏色實現了圖g的三染色。
他的下一步操作是：再準備一張圖g，但這次把本該染紅的地方染綠，把本該染綠的地方染藍，再把本該染藍的地方染紅。
可以想象，在新得到的圖裡，相鄰端點所染上的顏色依舊不同。
紅綠藍三種顏色有6種辦法打亂，徐林總共可以製作6份圖g的三染色副本。
每當惡意檢查者抽查一條邊時，徐林就隨機抽取一個副本，將那個副本上的這條邊透露給檢查者看。
比如檢查者看到這條邊連接了一個紅色端點與一個綠色端點。
那他能照抄答案，一個塗成紅色，一個塗成綠色嗎？
答案是不能。
因為他下一次抽查連接紅色點的邊時，就可能意外地發現：本該被染成紅色的點，這次居然被染成了綠色？
對於任何一條邊，兩端點顏色的檢查結果會在紅藍，紅綠，藍綠，藍紅，綠紅，綠藍中均勻地隨機出現。
檢查者唯一能確鑿知曉的事項，僅有兩端點顏色不同。
至此，三染色問題可零知識證明，進而一切np問題都有零知識證明方案，其中包括圍棋轉化來的sat。
喜歡謊言與幻夢的二周目初見殺請大家收藏：()謊言與幻夢的二周目初見殺書更新速度全網最快。