PoB協議解析

Iagon近期完成了一項挑戰,針對提出的問題開發出適用於Cardano生態的燃燒證明(PoB)協議。本文將介紹Iagon團隊的解決方案,主要包括以下幾個方面:

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

1. 燃燒證明及其應用

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

燃燒機制有多種用途,可以幫助剩餘代幣增值,也可以作爲區塊鏈協議的承諾證明。大規模燃燒會減少流通代幣總量,可能引發通縮壓力。雖然燃燒交易需要被礦工接受,但Iagon致力於開發一種無法被審查的燃燒協議。

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

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

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

• 贖回者腳本:控制eUTxOs的使用
• 錢包腳本:代表用戶運行,用於贖回資金和創建新的eUTxOs
• eUTxOs:包含資金和數據點(datum),用於確定資金可再次使用的條件

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

• 燃燒:發送資金到黑洞地址
• 驗證燃燒:確認特定承諾值的燃燒已發生
• 鎖定:發送資金到有密鑰的地址
• 贖回:取回被鎖定的資金

端點在用戶錢包中運行,生成的交易會發送到區塊鏈。交易將資金轉移到贖回者腳本,該腳本驗證資金只能被特定哈希值的地址訪問。

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

中間人無法知道一個交易是燃燒還是鎖定。這種機制防止了對燃燒交易的選擇性審查。燃燒值可以通過公布承諾值來驗證。在公布前,沒人知道被銷毀的具體金額。

3. 智能合約部署流程

在測試網上部署智能合約的步驟如下:

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

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

爲了進一步防止審查,可以僅使用錢包腳本而不依賴智能合約。這種方法下,唯一可能審查燃燒的方式是審查所有Cardano交易。

實現這一點需要用承諾值的哈希替換公鑰哈希,並翻轉承諾值的最低位。還需要處理Cardano的地址格式檢查。可以使用Cardano API庫生成燃燒地址,提交交易到區塊鏈,並驗證燃燒。

結語

本文介紹了燃燒證明協議的兩種實現方式:智能合約和錢包交易。由於Alonzo智能合約目前缺乏一些必要的基礎設施,建議使用錢包腳本。未來隨着PAB庫的完善,結合錢包腳本的復雜智能合約解決方案可能會更具可行性,有助於創建一個抗審查的環境。