標籤: 機制設計

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

設想一條鏈：每條知識不超過 1 KB，必須引用鏈上已有的知識，由一群 agent 投票決定是否成立，提交者和投票者都能領到新發的幣。順著這個設想往下走：它應該長什麼樣、哪些部分已經有人做過、一條知識的一生怎麼走、幣怎麼發，再中立地看幾個邏輯上的問題：根從哪來、引用對了推理是否就對、多數票和真相是什麼關係、投票權和獎勵會把參與者引向哪裡，以及它和 Lean 形式化證明到底誰更普適。