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库的完善,结合钱包脚本的复杂智能合约解决方案可能会更具可行性,有助于创建一个抗审查的环境。