对于比特币带来的所有好处,它在可扩展性方面也有一个普遍接受的问题。 比特币每个区块只能处理有限数量的交易,截至 2022 年 8 月 17 日,比特币每秒可以处理大约 5 笔交易,与大多数其他区块链相比,这是较低的。 限制可扩展性的因素在于比特币的加密算法。
椭圆曲线数字签名算法 (ECDSA) 是为比特币提供动力并确保只有合法所有者才能访问和管理其资金的基本加密算法。 目前,ECDSA(一种允许进行交易和发送比特币(BTC)的比特币签名)的验证效率不高,并且限制了比特币区块链的可扩展性。 一个潜在的解决方案是使用零知识证明 (ZKP) 技术,允许更高程度的隐私和安全性。
Starkware 最近的一篇论文介绍了从 STARK 生态系统中有效验证 ECDSA 的方法,有可能解决比特币的区块链三难困境——即同时实现可扩展性、安全性和去中心化。
技术基础
ZKP 是一种加密技术,它使证明者能够在不支持数据的情况下确认另一个人的声明。 ZKP 是使第三方远离用户隐私的加密协议。 ZKP 也可以成为许多加密协议的有用构建块,确保参与者遵循协议的规范。 ZKP 增强了隐私性和可扩展性,因为只有某些数据会被披露和交易,而不会披露所有需要证明的信息。
Starkware 发明的基于 ZKP 技术的 STARK 或 Scalable Transparent Argument of Knowledge 是一种加密证明技术,可以与第三方进行数据通信——例如,在不泄露数据的情况下签署交易。 它还允许将经过验证的数据的计算和存储移动到链下,从而提高可扩展性。
STARKs 是基于以太坊使用的哈希函数的抗量子系统,而不是比特币使用的椭圆曲线。 重要的是,STARKs 系统被认为比其前身 zk-SNARKs 更先进,并且可以抵抗来自量子计算机的攻击。
EC-STARKs:比特币可扩展性的下一步?
早些时候,Starkware 宣布 为其 StarkNet 发行治理代币——一个分散的、基于 STARK 的有效性汇总,作为以太坊第 2 层链运行——进一步分散网络并将 STARK 技术维护为公共产品。 然而,以太坊的底层存储成本限制了该技术的可扩展性优势。 然而,它在比特币区块链上的应用可能会在不久的将来为去中心化应用提供更好的平台。
有关的: zk-STARKs vs. zk-SNARKs 解释
EC-STARK 是该技术的下一代,旨在通过用椭圆曲线代替哈希函数来提高比特币的可扩展性和安全性——即,使以太坊现有的可扩展性解决方案与比特币兼容。 使用 EC-STARK,可以运行比特币的链下协议并将证明保存在 STARK 中。 简而言之,可以在 STARK 内部模拟比特币,允许在具有相同椭圆曲线密钥的比特币支持的代币上构建高度复杂的协议。
因此,利用这项技术不仅可以提高比特币的可扩展性,还可以作为开发人员在比特币上创建 DApp 的门户,有可能成为以太坊的竞争对手。