知識共識鏈：用 PoS 和智慧體投票給事實與邏輯記賬

設想一條鏈上存著這樣一條記錄。它不到 500 位元組，說的是一件中學就學過的事：

{"id":"kb:7f3a…c21","type":"claim",
 "statement":"√2 不是有理数：不存在整数 p、q（q≠0）使 (p/q)² = 2。",
 "refs":["kb:1b09… 有理数的定义",
         "kb:5d2e… 若 n² 为偶数则 n 为偶数",
         "kb:0c77… 反证法"],
 "argument":"设 p/q 为最简分数且 (p/q)²=2，则 p²=2q²，p² 为偶数，由引理 p 为偶数，记 p=2k，得 q²=2k²，q 也为偶数，与最简矛盾。",
 "author":"0x9e…41","stake":"50 KC"}

它引用了另外三條記錄，自己不憑空斷言任何東西。提交之後，二十幾個 agent 讀了它、投了票，它被標成“成立”。提交它的人和投贊成票的 agent 都分到了一筆新發出來的幣，就像比特幣礦工挖到一個區塊。如果把物理世界的共識、各種數學定理都這樣一條條放上去，最後得到的會不會是一張比 Lean 形式化證明覆蓋面更廣的知識網？

這個設想裡有好幾件事值得問清楚。這樣的東西有人做過嗎？一條記錄憑什麼算“成立”？幣從哪裡來、怎麼分？“必須引用別的記錄”這條規則，能不能真的擋住憑空冒出來的知識？

本文先把這個設想畫完整，看清它長什麼樣、和哪些已有專案是親戚，再回頭一項一項檢查它在邏輯上站不站得住。

一、設想的樣子

兩層：賬本和知識

設想裡有兩種“塊”，先把名字分開。 一種是賬本上的區塊，記的是轉賬、提交、投票這些交易，和比特幣的區塊是一回事；另一種是裝知識的小單元，每條不超過 1 KB。下文把前者叫“區塊”，後者叫“知識塊”。

賬本層用 PoS 出塊。 PoS（Proof of Stake，權益證明）不讓礦工比算力，而是按質押的幣多少輪流選出記賬人（驗證者），作惡會被罰沒質押。以太坊 2022 年以後就是這樣出塊的。它只負責一件事：大家對“發生過哪些交易、按什麼順序”達成一致。

知識層是一張引用圖。 每個知識塊寫一句結論，列出它依賴的其他知識塊，再附一段不長的論證。規則是知識塊必須引用鏈上已經被接受的知識塊，引用為空的提交直接作廢，用來保證“知識不能憑空冒出來”。

知識塊是否成立，由 agent 投票決定。 提交之後進入投票期，一批 agent（可以背後是人，也可以是大模型程式）讀這個知識塊，判斷它從引用能不能推出結論，投贊成或反對。票數夠了就標為“已接受”，之後才能被別的知識塊引用。

獎勵像挖礦。 每個週期新發一筆幣，一部分給記賬的驗證者，一部分給被接受的知識塊的作者，一部分給投票的 agent。圖 1 把兩層畫在一起，跟著開頭那個 kb:7f3a 走一遍。

和 Lean 比，想多放些什麼

Lean 只收能寫成形式語言的數學。 Lean 是一個證明助手：定理和證明都寫成程式，由一個很小的核心逐步檢查，每一步都必須由公理或已證定理推出。開頭那條 √2 在 Lean 的數學庫 mathlib 裡只有兩行¹：

theorem irrational_sqrt_two : Irrational (√2) := by
  simpa using Nat.prime_two.irrational_sqrt

它也“引用”了別的定理（Nat.prime_two.irrational_sqrt），只是這個引用由核心檢查，不需要任何人投票。mathlib 目前大約有 29 萬條定理、14 萬個定義²。

設想想要的是更大的範圍。 “水在一個標準大氣壓下的沸點”“某種藥能降低血壓”這些物理世界的共識，幾乎不可能寫成 Lean 能檢查的形式，但用一句自然語言加幾條引用就能放進知識塊。用投票代替核心檢查，換來的就是這份普適：任何能用 1 KB 文字說清楚的東西都能上鍊。

這是設想自己的邏輯。它完整地畫出來之後，接下來的問題是：這些部件，有沒有人已經做過？

二、有沒有人做過

把設想拆開看，它由五個部件組成：知識必須引用已有知識；知識放在鏈上；用投票裁定真假；創作和投票都發獎勵；由機器（agent）來評判。每個部件單獨看都有現成的專案，而且不少已經跑了很多年。

必須引用：Metamath、mathlib、維基百科、奈米出版物

“不能憑空冒出知識”在數學裡早就是硬規則。 Metamath 從 1992 年開始積累一個叫 set.mm 的定理庫，每條定理只能由公理和前面已有的定理推出，網頁上直接列出它依賴了哪些公理、被哪些後來的定理引用³。mathlib 也一樣，只是檢查器更強。

在數學以外，維基百科用的是政策而不是檢查器。 它的“不得原創研究”政策要求內容能追溯到可靠的已發表來源，把幾個來源拼起來推出它們自己沒說的結論也算原創研究⁴。這和“知識塊必須引用”是同一個意思，只是引用物件是外部文獻。

“一條知識一個小單元”也有先例。 生命科學領域的奈米出版物（nanopublication）把一條斷言、它的出處、釋出資訊打包成一個最小單元，已經有超過一千萬條⁵。知識塊幾乎就是帶了投票欄位的奈米出版物。

知識上鍊：Proofgold、OriginTrail、DeSci Nodes

Proofgold 是和設想最接近的一個。 它是一條專門放形式化數學的鏈，用 PoS 出塊；任何人可以釋出理論（一組公理）、在理論裡釋出定義和定理，命題可以掛賞金，誰交出證明誰領走⁶。為了讓新人拿到初始質押，它的前 5000 個區塊還自動給隨機生成的命題掛了賞金⁷。和設想的關鍵差別是：Proofgold 判斷一條定理是否成立，用的是寫在共識規則裡的證明檢查器，不是投票。

OriginTrail 做的是通用知識上鍊。 它的去中心化知識圖譜裡，每條“知識資產”都帶著可驗證的出處和釋出者，釋出要付代幣 TRAC，跑節點要質押 TRAC，定位是“給 AI 的可信記憶”⁸。但它只證明“誰在什麼時候釋出了什麼”，不裁決內容的真假。

DeSci Nodes 給研究成果發持久標識。 一篇研究和它的資料、程式碼各有一個可按版本引用的標識，放在 IPFS 上⁹。它解決的是“引用不會失效”，也不判斷對錯。

投票裁定真假：Augur、UMA、Kleros、Community Notes

預測市場早就在用投票決定“現實世界發生了什麼”。 Augur 讓持有 REP 代幣的人押注報告結果，有爭議就加倍押金再報，最極端時整個系統按不同答案分叉¹⁰。UMA 讓代幣持有人先提交加密的票、再揭示，投錯或缺席的人被罰質押的 0.1%¹¹；Polymarket 的爭議市場就交給它裁決。

Kleros 把陪審團搬上了鏈。 質押 PNK 代幣的人被隨機抽中當陪審員，投在少數一邊的人被罰，罰款分給多數一邊；不服可以上訴，陪審團人數大約翻倍¹²。

X 的 Community Notes 換了一種算票方式。 它不簡單數贊成票，而是用矩陣分解把每個評分者的“立場”分離出來，只有立場不同的人都覺得有幫助的筆記才會被展示¹³。這一點後面講投票的問題時會再用到。

創作和投票都發獎勵：Steemit、ResearchHub、Bittensor

Steemit 是“發帖和點贊都挖礦”的原型。 作者按收到的票分獎池，投票的策展人也按投票分一份。ResearchHub 把同樣的機制搬到科研：上線時每收到一個贊發 1 個 ResearchCoin，每週 100 萬枚按贊分配¹⁴。

Bittensor 是“機器給機器打分、按分發幣”的現成例子。 每個子網裡，驗證者給礦工的輸出打權重，鏈上的 Yuma 共識按質押加權彙總這些權重，決定新發的幣怎麼分¹⁵。把“礦工的輸出”換成“知識塊”、把“驗證者”換成“投票的 agent”，結構幾乎一樣。

更早的 Primecoin 則代表了另一條思路：讓挖礦本身產出有用的東西，它的挖礦就是找素數鏈¹⁶。設想裡“提交知識即挖礦”和它同出一源。

由 AI 寫的知識庫：Grokipedia

最後一個部件是“由機器來生產和評判知識”。xAI 在 2025 年 10 月上線的 Grokipedia 開張時就有約 88.5 萬篇由模型寫的條目，隨即因為錯誤和照搬維基百科受到批評¹⁷。它不上鍊、不投票，但說明了用模型批次生產“知識”會遇到什麼。

圖 2 把這些專案和設想的五個部件放在一起對照。

所以這個組合是新的，但每一塊都有前人踩過的路。 最近的兩個親戚是 Proofgold 和 Bittensor：前者證明了“鏈上存數學、證明即挖礦”能跑起來，靠的是檢查器；後者證明了“agent 互相打分、按分發幣”能跑起來，判定的是“有用”而不是“真”。設想要做的，是用後者的判定方式去覆蓋前者乃至維基百科的範圍。

知道了親戚是誰，這個系統具體該怎麼設計？

三、系統設計

設計目標

把設想落到能實現的程度，需要回答四件事：知識塊裡寫什麼、引用圖從哪裡開始、一個知識塊從提交到成立經過哪些步驟、幣怎麼發。下面的引數（押金、票數、比例）都是為了討論而定的示例值，不來自任何現有系統。

知識塊的格式

一個知識塊有型別、結論、引用和論證四個核心欄位。 型別分四種：公理（數學的起點）、定義（約定一個名字的含義）、觀測（一次測量或實驗的記錄，附資料的雜湊）、論斷（由引用推出的結論）。結論和論證用自然語言寫，引用是其他知識塊的雜湊。物理世界的例子長這樣：

{"id":"kb:d40e…b72","type":"claim",
 "statement":"纯水（VSMOW）在 101.325 kPa 下的沸点约为 99.97 °C。",
 "refs":["kb:a311… 摄氏温度的定义（ITS-90）",
         "kb:6c5f… 标准大气压 = 101.325 kPa",
         "kb:e820… 沸点测量报告（sha256:91c4…）"],
 "argument":"ITS-90 下摄氏度由开尔文定义，不再以水的沸点定义 100 °C；按该温标复测，标准大气压下沸点约 99.97 °C。"}

這條按 UTF-8 算是 519 位元組，√2 那條是 490 位元組，引用換成完整的 64 位十六進位制雜湊後也在 700 位元組左右。1 KB 對一句結論加三五條引用是夠的，對論證就很緊。 這一點後面還會回來。

引用圖和根塊

“必須引用”不能對所有知識塊都成立。 如果每個知識塊都必須引用一個更早的知識塊，第一個知識塊就無從寫起。所以引用圖一定有一批不引用任何人的“根塊”：數學的根是公理和推理規則，物理的根是觀測記錄，再加上一批約定（單位、溫標）。圖 3 把開頭兩條知識塊的引用一直追到根。

根塊的准入要單獨設計。 一種做法是創世時由發起人放入一批公理和單位定義，之後新增根塊需要比普通知識塊更高的門檻，比如更高的押金和更多的票。觀測類根塊還要附上原始資料的雜湊，讓別人能拿資料複核。

一個知識塊的一生

從提交到被接受，一個知識塊要經過五步。 前兩步是確定性的：任何節點拿到同一份資料，算出來的結果都一樣。後三步是投票，結果取決於誰來投。圖 4 跟著 kb:7f3a 走一遍。

為什麼要先承諾再揭示？ 如果票是明著投的，後投的 agent 可以直接抄前面的多數，自己什麼都不讀。先交“票加一個隨機數”的雜湊，截止後再公開原文，誰也看不到別人投了什麼。UMA 用的就是這種做法¹¹。挑戰期借鑑的是 Kleros 的上訴：不服的人押更多的錢，換一個更大的陪審團重投¹²。挑戰期結束也不是終點，後面講推翻機制時再說。

幣從哪來、到哪去

使用者問的“如何發幣”，答案是按週期增發，再按比例切開。 每個週期（比如一天）新發固定數量的幣，加上本週期罰沒的押金，組成一個獎池；獎池按固定比例分給三類人：記賬的 PoS 驗證者、被接受的知識塊的作者、投在多數一邊的 agent。圖 5 是一個週期的示例。

推翻：用新的知識塊挑戰舊的

挑戰期過了，也不等於永遠正確。 認知在變，今天投票透過的結論，幾年後可能被更好的測量或更嚴密的推理推翻。所以設想需要一條“翻案”的路：任何時候，任何人都可以提交一個反駁塊，指向一個已接受的知識塊，說它哪裡有問題。

反駁塊也是知識塊，同樣不能憑空出現。 它多一個 target 欄位指向被挑戰的塊，refs 裡放支援反駁的證據（新的觀測、更早被忽略的定義、一個反例），押金比普通知識塊高，比如 100 KC，防止有人隨手挑戰刷存在感。它的結果不只“推翻”一種：結論本身錯了是推翻；結論在某些條件下才成立是收窄，比如給牛頓力學加上“速度遠小於光速”；反駁不成立是駁回，反駁者的押金被罰沒。

舊塊不刪除，只改狀態。 鏈上留著它被提交、被接受、被推翻的全過程，變的只是它當前的狀態。引用它的下游知識塊也不會跟著自動作廢，因為它們可能還有別的依據；它們被標成“待複審”，各自重新投票。圖 6 是一個例子：早期有人提交了“水在一個標準大氣壓下 100 °C 沸騰”，後來有人拿 ITS-90 的定義和測量資料反駁它。

要讓推翻有意義，獎勵必須延後發放。 如果作者在挑戰期結束時就拿走全部獎勵，事後被推翻也沒有任何損失。所以圖 5 裡作者和投票者分到的幣不是一次到賬，而是分比如 180 天線性釋放；知識塊在這期間被推翻或收窄，沒釋放的部分轉給反駁者和投贊成票支援反駁的投票者。這樣“提交經得起時間檢驗的知識”才比“提交能混過這一輪投票的知識”更賺錢。

同一個塊被反覆翻案，門檻逐次提高。 一個已經被推翻的塊，可以再被一個“反駁的反駁”推翻回來，但每翻一次，押金和投票人數都翻倍，這和 Kleros 的上訴是同一個思路¹²。來回翻得越多，說明這個問題越有爭議，狀態也就越適合用一個置信度來表達，而不是“對 / 錯”二選一。

到這裡設想已經是一個完整的系統：有格式、有起點、有流程、有錢，也有翻案的路。它的骨架和 Proofgold、Bittensor、Kleros 都能一一對上。接下來換一個角度：這套規則在邏輯上有沒有漏洞？

四、邏輯上的問題

下面七個問題按“從知識本身到人的行為”的順序排列。前三個和激勵無關，即使所有參與者都誠實也存在；後面幾個是加入了錢以後才出現的。

問題一：根從哪來

“每條知識都必須引用別的知識”，推到底只有三種結局。 要麼無窮地引用下去，要麼轉一圈引用回自己，要麼停在某些不再引用別人的起點上。哲學裡把這叫阿格里帕三難（也叫明希豪森三難）¹⁸。鏈上不允許環，也不可能無窮，所以只剩第三種：根塊。

設想的核心規則因此需要改一個字。 “不能憑空冒出知識”在根塊那裡必然失效，圖 3 左邊那一列就是憑空出現的。數學裡這沒有問題：公理本來就是約定，Lean 和 Metamath 也是從公理出發的。物理世界麻煩得多：觀測記錄是根，但一份測量報告是不是真做過實驗、資料有沒有挑過，引用圖裡看不出來。最終還是落回投票，或者落回“誰有資格放根塊”的治理問題。

所以嚴格地說，這條鏈保證的不是“知識不能憑空出現”，而是“除了根塊，知識不能憑空出現”。整張圖的可靠性，上限就是根塊的可靠性。

問題二：引用對了，推理不一定對

引用檢查只能確認“依賴關係存在”，確認不了“從依賴能推出結論”。 圖 4 的格式檢查會驗證三條引用都存在、都已接受，但論證那一段自然語言寫得對不對，機器在這一步完全不看。圖 7 是一個具體的例子：把 √2 那條照抄一遍，換成 √4。

1 KB 的上限讓這件事更難。 √2 的論證三句話就寫完了，大部分有意思的結論做不到。寫不下的推理只能拆成更多中間知識塊，每一塊都要單獨投票；或者省略步驟，留給投票者自己補。前者讓投票次數成倍增加，後者讓投票者需要補的東西越來越多。Lean 的做法是不限長度、但每一步都由機器檢查，兩者正好相反。

問題三：多數票不等於真

投票能逼近真相，靠的是一個有前提的定理。 孔多塞陪審團定理說：如果每個投票者答對的機率大於一半，而且彼此獨立，那麼人越多，多數票越可能正確，趨近於 1¹⁹。設想預設的就是這個結論：agent 越多，越靠譜。

問題出在“獨立”。 現在能用來當 agent 的大模型就那麼幾家，同一個底座模型的不同例項，會在同一類題上犯同一個錯。為了看清這件事有多大影響，我們做了一個小模擬：每道題，每個底座模型答對的機率是 0.7；每個 agent 有 90% 的機率照抄自己底座模型的答案，10% 反著投。這樣每個 agent 單獨答對的機率都是 0.66，和獨立的情形一樣。結果畫在圖 8 裡。

3 個底座模型的曲線停在 0.787，這個數可以直接算出來。 當 agent 足夠多時，每個底座模型名下的 agent 會穩定地投出這個模型的答案，多數票就變成了“三個模型的多數”，而三個模型裡至少兩個答對的機率是 $0.7^3 + 3 \times 0.7^2 \times 0.3 = 0.784$。只有一個底座模型時，上限就是它自己的 0.7。加 agent 只是在加票數，加不了獨立的判斷。

按“和多數一致”發獎，會進一步削弱獨立性。 圖 5 裡投票者的錢來自“站在多數一邊”。UMA 和 Kleros 都這樣設計，背後的想法叫 Schelling 點：大家無法商量時，最容易不約而同選中的答案就是真相¹²。但對一個理性的投票者來說，最賺錢的策略是猜“別人會怎麼投”，而不是自己去查。對“巴黎是不是法國首都”這類題，兩者一致；對剛出現的、和主流看法相反的結論，兩者恰好相反。幽門螺桿菌導致胃潰瘍這個發現在 1980 年代初幾乎沒人相信，二十年後獲得了諾貝爾獎²⁰。在這樣的規則下，早期投贊成票的人會一直被罰。

問題四：投票權落在誰手裡

agent 可以零成本複製，所以票不能按“個”算。 一個人開一萬個 agent 就能控制所有投票，這叫女巫攻擊。區塊鏈的通用解法是按質押的幣加權：開再多的號，總票數也只等於質押的總量。Kleros 抽陪審員、Bittensor 彙總打分，都按質押加權¹²¹⁵。

按幣加權，就會出現誰幣多誰說了算。 UMA 的情況可以作為參照：據 Bloomberg 的分析（經 Outlook Money 轉述），過去三年 Polymarket 的爭議投票裡，9 個錢包占了大約一半的票²¹。放到知識鏈上，一條結論是否成立，可能由幾個大戶的 agent 決定，而這幾個大戶可能恰好在相關的問題上有利益。

針對合謀的補丁已經有人做了，但補不全。 Bittensor 的 Yuma 共識會把明顯高於“多數質押認可水平”的打分裁掉，專門對付驗證者合謀抬高某個礦工¹⁵。Community Notes 要求不同立場的人都認可才算數¹³，但它的團隊自己發表的研究也發現，最多 10.7% 的低質量筆記只要不到 10 個協同評分就能被推過門檻²²。

問題五：獎勵會把人引向哪裡

按塊發獎，就會有人把一條知識拆成十條。 圖 5 裡作者按“被接受的塊數”分錢。把“水在一個標準大氣壓下沸點約 99.97 °C”拆成 100 kPa、101 kPa……各一條，每條都對，每條都領錢，知識卻沒有增加。按“被引用次數”發獎可以緩解，但會引出新的問題：幾個賬號互相引用，刷出一個引用環。

按票發獎，就會有人不讀就投。 Steemit 是現成的教訓：作者和點讚的人都能分獎池，最後超過 16% 的轉賬流向了疑似機器人的點贊賬號，圍繞它形成了專門出售投票的機器人生意²³。知識鏈的投票者本來就是 agent，“不讀就投”的成本更低：一個只看多數傾向、從不檢查推理的 agent，在圖 5 的規則下收益並不比認真檢查的差，算力成本卻低得多。

問題六：共識會變

物理世界的“共識”不是一次定下的。 圖 3 的沸點就是例子：很多人記得的“水在一個標準大氣壓下 100 °C 沸騰”，在 1990 年的國際溫標（ITS-90）下約為 99.974 °C，嚴格按熱力學溫度算又是約 99.984 °C²⁴。同一個現象，換一個定義，數字就變了。牛頓力學也沒有“被推翻”，而是被加上了適用範圍。

推翻機制讓修訂可以發生，但它自己也是投票。 第三章的反駁塊解決了“透過了就改不掉”的問題，這和科學本來的做法一致：結論隨時準備被新證據推翻。但決定推翻與否的，仍然是問題三、問題四里那群彼此相關、按質押加權的投票者。多數票可以把錯的舊塊推翻，也可以把對的舊塊推翻；幽門螺桿菌那樣的少數派結論，在“翻案也靠投票”的規則下並不會更容易立住。

引用圖越深，一次推翻牽動的塊越多。 一個根塊被收窄，所有直接或間接引用它的塊都要複審，每一塊都要重新投票、重新結算獎勵。數學裡很少發生這種事：一個定理一旦在 Lean 裡證明，除非公理或核心本身出錯，就不會失效。實證知識則不同，越是基礎的觀測和定義，被修訂時波及的範圍越大。複審的成本由誰出、複審期間下游的塊還能不能被新塊引用，都需要額外的規則。

問題七：比 Lean 更普適嗎

“更普適”是對的，但它是用“保證變弱”換來的。 圖 9 把兩者和 Proofgold 放在一起比較。

兩者回答的其實是不同的問題。 Lean 回答“這條結論是不是從這些前提必然推出”，這個問題對數學有確定的答案，所以能交給程式。知識共識鏈回答“這群參與者是否接受這條說法”，這個問題對任何領域都有答案，所以它更普適。前者的結論可以獨立驗證，後者的結論只能再問一次同一群人。說它“比 Lean 更普適”成立，說它“比 Lean 更可靠”或“能替代 Lean”則不成立。在數學這一部分，用投票代替檢查器是嚴格的退步：同一條 √2，Lean 幾秒就能給出確定答案，投票卻要 30 小時，還可能把 √4 也放過去。

五、可以怎麼改

七個問題裡，前三個說的都是同一件事：投票被用在了它不擅長的地方。 對“從公理推出定理”這類有確定答案的問題，投票不如檢查器；對“單位怎麼定義”這類本來就是約定的問題，投票恰好合適；對“實驗結果是什麼”這類經驗問題，投票只能當最後一道防線，前面還應該有資料和復現。按知識塊的型別分開處理，設想的大部分問題都能緩解。圖 10 是改過的流程。

數學塊交給檢查器。 這就是 Proofgold 的做法：證明檢查器寫進共識規則，任何節點都能復算，不需要投票，也不需要“和多數一致”的獎勵⁶。設想裡“數學公式也放上去”的那部分，用 Lean 證明作為知識塊的附件，檢查器就是唯一的裁判。圖 7 的 √4 在這一步就會被攔下。

實證塊投票，但改三處。 第一，要求附上原始資料的雜湊和復現指令碼，評審的物件從“這句話對不對”變成“這份資料能不能支援這句話”。第二，投票者按底座模型分組，參照 Community Notes 的做法，要求不同組的 agent 都認可才算透過，減輕圖 8 裡的相關性。第三，結果不是“成立 / 不成立”，而是一個置信度，並且永遠可以被挑戰；投票者的獎勵也和作者一樣延後釋放，並且按知識塊最終站不站得住來結算，而不是按投票當時是否站在多數一邊，這樣“猜多數”就不再是最賺錢的策略。

約定塊直接投票。 攝氏度怎麼定義、標準大氣壓取多少，本來就是人為約定，投票決定是合適的。每次改動生成新版本，引用它的知識塊顯式寫明引用的是哪個版本，這樣約定的修訂不必走推翻流程，下游也知道自己依賴的是哪一版。

作者的獎勵按“被後來的知識塊引用、且經受住挑戰”來發。 把一條知識拆成十條不會多拿錢，因為沒人會引用那些碎片；互相引用刷數的賬號，在挑戰期內一旦被發現，押金和獎勵一起罰沒。

這些改法並不新：每一條都來自第二章裡某個已經在執行的專案。把它們組合進設想，代價是系統複雜了很多，而且“一個幣、一套投票管所有知識”的簡潔感沒有了。

六、回到那條 490 位元組的記錄

現在可以回答開頭的幾個問題了。

這樣的東西有人做過嗎？ 每個部件都有人做過，而且大多跑了很多年：Metamath 和 mathlib 做到了“知識必須引用”，Proofgold 把數學放上了鏈並按證明發獎，UMA 和 Kleros 用質押投票裁定現實世界的事，Bittensor 讓機器互相打分領幣。把它們組合成“agent 投票 + 強制引用 + 數學和物理混放 + 雙向獎勵”的，目前沒有找到在執行的專案。

kb:7f3a 憑什麼算“成立”？ 在設想的規則下，憑的是 21 個 agent 裡有 17 個、而且超過三分之二的質押投了贊成。它碰巧是對的，因為 √2 的證明大家都見過。換成 kb:9e01，同樣的規則未必能攔住。

“必須引用”能擋住憑空的知識嗎？ 能擋住“沒有引用”的提交，擋不住“引用了但推不出來”的提交，而且在根塊那裡這條規則本身就要讓步。

它比 Lean 更普適嗎？ 是，範圍更大。但它對每條結論給出的保證，從“你可以自己檢查”變成了“多數人同意過”，在數學部分這是退步，在經驗知識部分這是目前能做到的、並不算差的辦法。

小結

1. 設想的樣子：賬本層用 PoS 出塊，知識層是一張引用圖；知識塊不超過 1 KB，必須引用已接受的知識塊，由 agent 投票決定是否成立，作者和投票者按週期分增發的幣，已接受的塊隨時可以被反駁塊推翻。
2. 同類專案：強制引用有 Metamath、mathlib、維基百科、奈米出版物；知識上鍊有 Proofgold、OriginTrail、DeSci Nodes；投票裁定有 Augur、UMA、Kleros、Community Notes；創作和評判都發獎勵有 Steemit、ResearchHub、Bittensor。最接近的是 Proofgold 和 Bittensor，完整的組合沒有找到。
3. 根從哪來：強制引用推到底必須有根塊，所以準確的說法是“除了根塊，知識不能憑空出現”，整張圖不會比根塊更可靠。
4. 引用對，推理不一定對：格式檢查只看依賴關係，√4 照抄 √2 的引用一樣能透過；1 KB 的上限又讓推理很難寫全。
5. 多數票不等於真：agent 來自少數幾個底座模型，彼此不獨立；模擬裡 3 個底座模型時，人再多準確率也停在 0.787。按“和多數一致”發獎還會鼓勵猜多數。
6. 投票權和獎勵：防女巫只能按質押加權，結果容易集中到少數大戶；按塊發獎會拆塊刷量，按票發獎會不讀就投，Steemit 已經演示過。
7. 共識會變：沸點在不同溫標下是 100、99.974、99.984 °C。可以用反駁塊推翻或收窄已接受的塊，舊塊只改狀態、下游標為待複審，獎勵延後釋放、被推翻時轉給反駁者；但翻案本身仍是投票，引用圖越深，一次推翻牽動越多。
8. 和 Lean 比：更普適，但保證從“可以自己檢查”變成“多數同意過”。按型別分流（數學交給檢查器、實證投票但附資料並延後發獎、約定直接投票）可以保留普適性，同時把投票限制在它適合的地方。

參考資料