我要评论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] 假设所有分支的大小相似。
到此这篇关于如何使用 merklized 抽象语法树压缩智能合约的文章就介绍到这了,更多相关merklized 抽象语法树内容请搜索代码网以前的文章或继续浏览下面的相关文章希望大家以后多多支持代码网！
发表评论