使用 Merklized 抽象语法树压缩智能合约

Merklized 抽象语法树 MAST(又名 Merklized 替代脚本树)是一种使用 Merkle 树压缩比特币智能合约的技术。我们在比特币 SV 上实施了 MAST。与所有其他实现不同,我们利用原始比特币协议,没有任何共识更改。

问题

通常有不止一种方法可以解锁锁定在比特币智能合约中的硬币。在 sCrypt 中,每种方式都被建模为一个公有函数,代表一种条件的解锁分支。例如,在 TimedCommit 合约中,可以通过 Alice 的原像和她的签名,或者通过 Alice 和 Bob 的签名来解锁合约。


contract TimedCommit {
  bytes aliceHash;
  PubKey alice;
  PubKey bob;

  public function open(bytes aliceNonce, Sig aliceSig) {
    require(sha256(aliceNonce) == this.aliceHash);
    require(checkSig(aliceSig, this.alice));
  }

  public function forfeit(Sig aliceSig, Sig bobSig) {
    require(checkSig(aliceSig, this.alice));
    require(checkSig(bobSig, this.bob));
  }
}


随着合约变得越来越复杂,一个合约中可能有数十个甚至数百个公有函数/分支。最终只调用其中一个,但所有这些都必须包含在区块链中,即使他们根本没有被执行。这会增加链上的足迹并增加交易费用。


contract ContractOfManyBranches {
    
    public function branchA() { }

    public function branchB() { }

    public function branchC() { }

    public function branchC() { }

    // ... more branches
}

MAST

抽象语法树 MAST 可以从区块链中删除未执行的分支。未压缩的合约(原始合约)被拆分为单独的分支并组织成 Merkle 树,其中每个分支的脚本都是一片叶子。压缩后的合约并不存储所有分支,只存储了所有分支的 merkle root,用于验证某个特定分支是否属于原始合约。

以下是 MAST 带来了巨大的好处,尤其是当分支数 n 很大时:

可扩展性: 部署的合约大小按 log(n)¹ 缩小,因为只需要选定的分支及其默克尔路径,而不是所有分支。在下面的例子中,当分支 Tc 被调用时,只需要黄色的默克尔路径。

隐私性: 未使用的分支不会在链上发布。在下面的示例中,仅显示 Tc,隐藏所有其他分支。

在这里插入图片描述

默克尔树和默克尔路径

实现

我们已经在比特币中实现了 MAST。当一个分支被执行时,它本身和它的默克尔路径被用来解锁。在压缩合约中,我们首先使用其默克尔根验证分支是否来自原始合约。接下来,使用 P2SH 技术,将当前支出交易中的新锁定脚本设置为该分支的脚本,该脚本将在后续交易中被解锁。合约代码如下:


contract MAST {
    static const int DEPTH = 4;

    Sha256 merkleRoot;

    public function main(bytes branchScript, MerklePath merklePath, SigHashPreimage txPreimage) {
        require(Tx.checkPreimage(txPreimage));

        // validate branchScript is from the merkle tree
        require(calMerkleRoot(branchScript, merklePath) == this.merkleRoot);

        // "P2SH": use branch script as the new locking script, while maintaining value
        bytes output = Util.buildOutput(branchScript, Util.value(txPreimage));
        require(hash256(output) == Util.hashOutputs(txPreimage));
    }

    static function calMerkleRoot(bytes leaf, MerklePath merklePath) : Sha256 {
        Sha256 root = sha256(leaf);

        loop (DEPTH) : i {
            Sibling s = merklePath[i];
            root = s.left ? sha256(s.hash + root) : sha256(root + s.hash);
        }

        return root;
    }
}

脚注


[1] 假设所有分支的大小相似。

  • 19
    点赞
  • 11
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

sCrypt Web3应用开发

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值