Cardano生態系統的燃燒證明協議實現

Iagon近期完成了一項挑戰,爲Cardano生態系統開發了燃燒證明(PoB)協議。本文將介紹Iagon團隊的解決方案,包括以下幾個方面:

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

1. 燃燒證明及其應用

代幣燃燒本質上是將代幣發送到一個無法訪問的"黑洞"地址。這個過程可以驗證,但只有承諾值是公開的。燃燒機制有多種用途,可以增加剩餘代幣的價值,也可以作爲區塊鏈協議的承諾證明。

燃燒證明的安全性基於加密哈希函數。這些函數易於計算但難以逆向。通過翻轉加密哈希函數的最低位可以創建一個黑洞地址,發送到該地址的任何內容都難以或無法恢復。

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

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

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

Cardano智能合約有四種可能的操作:

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

3. 智能合約的部署

在測試網上部署智能合約的步驟包括:

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

4. 從智能合約到錢包腳本

爲了防止審查,可以考慮只使用錢包腳本而不依賴智能合約。這種方法使得審查燃燒交易變得非常困難,除非審查所有Cardano交易。

要實現這一點,需要用承諾值的哈希替換公鑰哈希,並翻轉承諾值的最低位。還需要使用Cardano API庫來生成符合要求的地址結構。

結語

目前推薦使用錢包腳本來實現燃燒證明協議。未來隨着PAB庫的完善,結合錢包腳本的復雜智能合約解決方案可能會更具可行性,以創建一個抗審查的環境。