使用 sCrypt 实现累计多签(Accumulator Multi Sig)合约

2020年底,一个黑客利用ElectrumSV新推出的累计多签功能中的一个漏洞,盗取了大量比特币。我们对这次攻击进行了分析,并对今后如何减少此类攻击提出了一些建议。

背景

2019年nChain引入了累计多签,用来替代基于P2SH的多签,P2SH功能已经在创世纪升级时移除。它不用P2SH就实现了与多签相同的安全性和隐私性。

在ElectrumSV的累计多签实现中,可能是由于疏忽了栈上操作对象的顺序,最后一个操作码 OP_LESSTHANOREQUAL 被错用成了 OP_GREATERTHANOREQUAL 。这意味着不是需要n个签名中的至少m个来解锁输出了,而变成了最多m个签名来解锁。攻击者利用这个漏洞,提供了0个有效签名,绕过了签名要求,盗走了600个比特币

降低风险的建议

一种降低风险的方法是用高级语言(如sCrypt)来实现重要的合约,而不是用原始的比特币脚本。正如我们从这次不幸的事件学到的,即使是比特币脚本高手,直接用脚本开发也很容易出错。累计多签在sCrypt中实现如下,bug更可能会被检查出来,因为更容易发现最后一行应该用>=还是<=。

contract AccumulatorMultiSig {
    int threshold;
    Ripemd160[3] pubKeyHashs;

    public function main(PubKey[3] pubKeys, Sig[3] sigs, bool[3] masks) {
        int total = 0;
        int i = 0;

        loop (3) {
            if (masks[i]) {
                if (hash160(pubKeys[i]) == this.pubKeyHashs[i] && checkSig(sigs[i], pubKeys[i])) {
                    total = total + 1;
                }
            }

            i = i + 1;
        }

        require(total >= this.threshold);
    }
}

sCrypt还有另一个方法可以帮助捕捉这些bug,对脚本验证引擎(又称比特币虚拟机)进行本机测试和运行。因为比特币智能合约是纯函数和无状态的(相对于以太坊等其他区块链上的非纯函数和有状态的智能合约),这些测试的效果等同于矿工对脚本的验证效果,因此可以更早地捕捉bug,甚至在合约部署之前

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

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

打赏作者

sCrypt Web3应用开发

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

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

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

打赏作者

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

抵扣说明:

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

余额充值