Cardano：從共識到公平金融

從 Stephen Wolfram 的「自我學習宇宙」聊起，帶到 Bertrand Russell 與 Saul Kripke 怎麼用形式邏輯逼近「真理」，也談電腦與人類語言之間為何始終隔著一道牆。

形式化方法的重點不是證明程式完美，而是幫工程師分清楚系統裡「絕對不能出錯」與「錯了也還好」的部分，把有限的驗證力氣花在刀口上。

他建議新手先學 Python 或 JavaScript，但 Cardano 為了貼近數學論文選了函數式的 Haskell；智慧合約語言 Plutus 也刻意設計得比 Ethereum 保守，換取本地測試與上鏈結果完全一致。

區塊鏈本質是一本加了時間戳記、不可竄改、可稽核的帳本；共識演算法要解決的是每一輪由誰記帳、記完後怎麼被驗證接受，proof of work 靠運算資源、proof of stake 靠持幣比例。

從證明理論可行的 GKL 論文，到能真正商轉的 Praos、讓新節點安全加入的 Genesis，每一篇論文都先經過同儕審查才敢往下一步做。

持有 ADA 的人可以把記帳權委託給 stake pool，pool 抽成後分回獎勵；系統用參數 K 限制單一 pool 能拿到的獎勵上限，逼大池自己裂解，避免權力過度集中。

他把 Bitcoin 比作 HTML、Ethereum 比作 JavaScript，Cardano 想同時解決規模化、跨鏈互通與治理，目標是讓窮國的人跟比爾蓋茲用同一套金融系統。

他認為 Ethereum 九成機率會贏過 Bitcoin，因為 Bitcoin 社群把任何協定層的改動都當成信仰之爭，連修正明顯缺陷都困難重重。

他懷念早年比特幣社群互助、沒有名利心的氣氛，如今卻被鑽石錶跟排隊搶明星的商業氣息取代；反倒稱讚前員工 Alex Chepurnoy 做的 proof of work 鏈 Ergo 才是比特幣精神上的接班人。

用「現金找零」比喻 Bitcoin 的 UTXO 帳本、用「銀行存摺」比喻 Ethereum 的帳戶模型，Cardano 的 Extended UTXO 想同時保留前者的決定性與後者的可程式性。

智慧合約需要外部世界的資訊才有意義，Wolfram Alpha 這類可查詢的資料庫是選項之一，但缺點是集中化；他也拆解資料的匯集、注入與可信度其實是三個不同的問題。

從 CryptoKitties 聊到能不能讓遊戲道具脫離 Blizzard 這類公司的掌控，一路延伸到如果虛擬世界夠真實，人會不會寧願活在裡面、忘記自己身在模擬之中。

Alonzo 以數學家 Alonzo Church 命名，分成藍、白等好幾個階段逐步邀請 stake pool 與開發者測試；他說真正難的已經不是技術，而是上百家交易所與錢包之間的協調。

去中心化交易所少了中心化交易所的託管風險，卻也少了 KYC / AML 身分驗證；他認為結合去中心化身分（DID）的「監管友善 DEX」會是下一步。

他說自己不反對 proof of work，只是受不了支持者說不出具體的安全模型就訴諸信仰；也談到 Tesla 若真在乎永續，就該重新評估支持 Bitcoin 的能源代價。

他曾拍片給 Elon Musk 示範怎麼把 Dogecoin 升級成真正的第三代加密貨幣，但憂心不到一百個錢包握有九成以上供給量，一旦拋售，受傷的會是不懂行情的散戶。

Hydra 是專為 Cardano 設計的狀態通道，目標不只是付款，還要能處理 DEX、遊戲這類複雜的鏈下互動；他也比較了 roll-up 與 NIPoPoWs 兩種完全不同的擴容邏輯。

他列出幾種失敗劇本：系統無法自主演化、演化成類似社會信用的監控式封閉系統，或社群染上比特幣式的教條主義；但強調自己從不把幣價下跌當成失敗的判準。

Polkadot 的共識設計參考了 Cardano 的 Ouroboros 論文，他稱 Polkadot 像「Ethereum 1.5」、商業化步調更快，但原生多資產與治理機制是 Cardano 的優勢。

他厭倦八年來受訪總被拉回跟 Vitalik 共事那六個月的往事，更想聊這幾年跑過 52 個國家、在懷俄明州推動立法的經歷；也談養 400 頭野牛、把以太幣送給秘書、離開 Ethereum 後兩年沒人接電話的低潮，如何讓他保持謙卑。

他認為最好的領導者是「讓人感受得到、卻不必真的露面」，把原則留給社群而不是靠個人魅力；也聊猜測中本聰身分的遊戲，他心中最可能的候選人是 Adam Back。

Cardano 的國庫（Catalyst）已累積超過十億美元的 ADA，由持幣者投票決定怎麼花；終極目標是連硬分叉都能交給社群投票，也把數位身分框架 Atala Prism 帶進衣索比亞，已為五百萬名學生建立數位身分，未來兩年目標擴大到兩千萬人。

他認為薩爾瓦多把比特幣列為法定貨幣的意義被低估，等於替比特幣打開能在外匯市場被承認的後門；也直言這個產業存在的理由，就是終結那些收窮人高利貸、替毒販洗錢還資助非洲軍火商卻從不坐牢的舊金融體系。

他固定採 16:8 間歇性斷食，最長一次斷食兩週、斷到暈倒；聊到裸蓋菇素治療憂鬱症的臨床潛力、藥用蕈菇的商機，也談 COVID 讓他認真投入水耕與魚菜共生農場，想解決糧食供應鏈的脆弱。

他說要先從對方在乎的事情切入，而不是一股腦講技術；接著聊起最愛的老遊戲《Arcanum》與《Planescape: Torment》，都是靠對話與抉擇推動劇情、幾乎不用打鬥就能過關的作品。

他建議年輕人把學習能力本身當成技能、別小看情商，也別把收入跟熱情綁在一起；最後用一位日本幕府將軍退隱後四處尋找最美櫻花、死時手裡還握著一片凋謝花瓣的故事，說明人生的意義在過程而不是終點。