燃燒證明機制在Cardano網路上的應用

近期,一個團隊完成了Charles Hoskinson提出的挑戰,爲Cardano生態系統開發了燃燒證明(PoB)協議。本文將介紹這個解決方案,主要內容包括:

1. 燃燒證明機制及其應用概述
2. 該PoB解決方案在Cardano網路上的智能合約實現
3. 智能合約的測試網部署與測試
4. 通過向"黑洞"地址發送代幣來執行PoB協議

燃燒證明及其應用

加密代幣的燃燒實質上是將代幣發送到一個無法訪問的"黑洞"地址。這個地址沒有私鑰,因此被銷毀的代幣無法取回。公衆可以驗證銷毀確實發生,但只知道一個"祕密"承諾值。這種機制可以防止中間人審查被銷毀的資金。

燃燒機制有多種用途,可以增加剩餘代幣價值,也可作爲區塊鏈協議的承諾證明。大規模燃燒可能引發通縮壓力,因爲它減少了流通中的代幣總量。雖然燃燒是常見操作,但仍需要礦工接受。該團隊致力於引入一種不可審查的代幣燃燒協議。

燃燒證明的安全性基於加密哈希函數。這些函數易於正向計算,但很難逆向運算。本質上,輸入的微小變化會導致輸出的巨大隨機變化。通過翻轉加密哈希函數的最低位,可以創建一個黑洞地址。發送到該地址的任何內容都很難或無法恢復。

Cardano網路上的燃燒證明智能合約

Cardano智能合約由三部分組成:

• 贖回者腳本:控制eUTxOs的花費
• 錢包腳本:代表用戶運行,用於贖回資金和創建新eUTxOs
• eUTxOs:持有資金和數據,供贖回者確認使用條件

Cardano智能合約沒有中心化狀態,每個eUTxO都有獨立狀態。可能的操作包括:

• 燃燒:發送資金到黑洞地址
• 被銷毀:驗證燃燒是否發生
• 鎖定:發送資金到有密鑰的地址
• 贖回:贖回被鎖定的資金

端點在用戶錢包中運行,生成的交易會移至區塊鏈。贖回者腳本驗證資金只能被指定地址訪問。

在燃燒操作中,通過給哈希值一個祕密承諾值並翻轉它來創建黑洞地址。由於使用了加密哈希函數,幾乎不可能找到匹配的原始值。

中間人無法區分燃燒和鎖定交易,因此無法選擇性審查燃燒交易。燃燒可以通過公布承諾值來驗證。

智能合約的測試網部署

部署步驟包括:

1. 安裝Haskell工具鏈
2. 構建Plutus腳本
3. 啓動Cardano節點和錢包容器
4. 恢復錢包並獲取錢包ID
5. 執行代幣燃燒
6. 驗證燃燒

從智能合約到錢包腳本

爲防止潛在的審查,可以考慮只使用錢包腳本而不使用智能合約。這樣審查燃燒的唯一方法就是審查所有Cardano交易。

實現方法是用承諾值的哈希替換公鑰哈希,並翻轉承諾值最低位。還需要處理Cardano的地址錯誤檢查。

可以使用Cardano API庫生成燃燒地址、提交交易和驗證燃燒。

總之,燃燒證明協議可以通過智能合約或錢包交易實現。目前推薦使用錢包腳本,但未來隨着基礎設施完善,結合錢包腳本的復雜智能合約解決方案可能更具可行性。這有助於創建一個能抵御潛在審查的環境。