PoB協議解析

Iagon團隊近期完成了一項重要挑戰,推出了適用於Cardano生態系統的燃燒證明(PoB)協議。本文將詳細介紹這一解決方案,主要包括以下幾個方面:

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

1. 燃燒證明及其應用

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

燃燒機制有多種用途,既可以增加剩餘代幣價值,也可作爲區塊鏈協議的承諾證明。大規模燃燒會引發通縮壓力,因爲它減少了流通中的代幣總量。盡管燃燒是常見操作,但仍需要礦工接受。

燃燒證明的安全性基於加密哈希函數。這些函數易於正向計算,但極難逆向計算。本質上,輸入的微小變化會導致輸出的巨大隨機變化。這意味着從輸出逆推輸入需要極長時間。簡單來說,翻轉加密哈希函數最低位就可創建一個黑洞地址,發送到該地址的資金將難以或無法恢復。

加密交易的安全性完全基於公鑰密碼學和哈希函數:"每次發送資金都會創建一個新的未花費交易輸出(UTxO)。"UTxO記錄金額和接收者公鑰的哈希。接收者使用資金時需用相同公鑰籤名新交易。

使用翻轉哈希輸出最低位而非直接使用零值哈希是爲了實現兩步操作:先燃燒資金,然後證明已燃燒。這需要先創建承諾值哈希,隨後顯示已創建黑洞地址。

2. Cardano網路上的PoB智能合約

Cardano智能合約允許根據規則執行交易,旨在建立透明可驗證的交易。近期去中心化金融和組織推動了智能合約的廣泛應用。

Cardano採用了不同於以太坊的結構,允許用戶在錢包中模擬交易以增加安全性。Cardano智能合約包括三個部分:

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

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

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

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

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

中間人無法知道交易是燃燒還是鎖定。這防止了對燃燒交易的選擇性審查。燃燒值可通過驗證端點和公開的承諾值來檢驗。

3. 智能合約的部署測試

在測試網上部署智能合約需要執行以下步驟:

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

這些步驟可以隱藏交易是燃燒還是鎖定。但發布腳本後,可能會有人嘗試編譯拒絕特定贖回者的腳本。這需要大量工作,但可能導致部分燃燒被審查。爲防止這種情況,Iagon提出了更安全的解決方案。

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

利用大部分操作發生在用戶錢包這一特點,可以創建僅使用錢包的方案,不再需要智能合約。這種方法無法選擇性地阻止燃燒交易。要阻止所有燃燒,審查者必須阻止所有腳本交易。只使用錢包時,唯一的審查方法是阻止所有Cardano交易,這是終極抵抗。

實現這一點需要用承諾值哈希替換公鑰哈希,並翻轉最低位。還需處理Cardano的地址錯誤檢查。最簡單的方法是使用腳本和Cardano API庫生成地址。

可以使用提供的代碼生成燃燒地址、提交交易到區塊鏈,以及驗證燃燒。

結語

本文介紹了PoB協議在智能合約和錢包交易中的實現。由於Alonzo智能合約缺少必要基礎設施,建議使用錢包腳本。未來PAB庫實施後,結合錢包腳本的復雜智能合約解決方案將更具可行性,能更好地抵抗潛在審查。如需深入了解,可查看Github上的相關信息。