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

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

1. 燃燒證明機制及其應用概述
2. Iagon在Cardano網路上實現的PoB智能合約
3. 智能合約的部署和測試
4. 通過錢包交易實現的PoB協議

1. 燃燒證明及其應用

加密代幣的燃燒(銷毀)是一種常見做法,本質上是將代幣發送到一個無法訪問的"黑洞"地址。這種機制可以用來增加剩餘代幣價值,或作爲區塊鏈協議的承諾證明。

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

燃燒證明協議的設計理念是先燃燒資金,然後在獨立步驟中證明燃燒已發生。這需要先創建一個承諾值的哈希,隨後再顯示黑洞地址已創建。

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

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

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

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

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

中間人無法區分燃燒和鎖定交易,這防止了對燃燒交易的審查。只有在公布承諾值後,才能驗證資金燃燒的情況。

3. 智能合約的部署和測試

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

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

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

爲了進一步防止審查,可以將燃燒操作完全在用戶錢包中執行,無需依賴智能合約。這需要使用承諾值的哈希替換公鑰哈希,並翻轉最低位。

通過使用Cardano API庫,可以生成燃燒地址、提交交易到區塊鏈、並驗證燃燒交易。

結語

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