个人中心
登出
中文简体
返回
登录后咨询在线客服
回到顶部

探究OP_CAt的过去和现在,比特币扩张的时代即将来临吗?

原作者:Biteye核心贡献者Wilson Lee
Odaily的消息来源: https://www.odaily.news/post/5198239
1. 引言
毋庸置疑,比特币无法实现通用计算是一个众所周知的局限。许多旧的公链,包括以太坊,在致力于突破这一限制,将通用计算引入区块链,而比特币则牢牢坐在"数字黄金"的位置上。
在新的比特币资产,比如铭文和符文变得流行之后,市场意识到了扩大“数字黄金”容量的巨大潜力。各种比特币扩容计划应运而生,形成了繁荣局面。其中,最引人注目的就是OP_CAt恢复计划。
引入OP_CAt后,STARk技术将能够帮助比特币实现零知识证明的验证,从而向比特币引入真正的通用计算能力。
今年7月,StarkWare推出了100万美元的OP_CAt研究基金,以促进对比特币激活OP_CAt的利弊进行研究。不难看出,StarkWare有巨大潜力在比特币OP_CAt时代展示实力。
II. OP_CAT的过去和现在
OP_CAT的远离
OP_CAt是比特币脚本中的一个操作码,用于将栈中的两个元素连接成一个元素。在构建复杂的交易脚本时非常有用,可以增加脚本的灵活性。
比特币脚本是基于堆栈的编程语言,操作码是底层的基本指令。比特币脚本使用这些操作码执行诸如条件判断和签名验证等功能,但其计算能力相对有限。
以太坊通过引入虚拟机(EVM)为区块链带来了更强大的计算能力。EVM允许开发者编写任意复杂的智能合约。EVM也依赖于操作码向计算机发出基本指令,类似于比特币的操作码,但功能更为广泛。
Bitcoin的操作码主要用于验证交易的有效性,而Ethereum的操作码用于执行更复杂的逻辑。这种区别使得Ethereum能够实现通用计算,而Bitcoin的计算能力相对有限。
区块链的去中心化性质决定了计算资源的重要性,所以需要防止恶意攻击(如DDOS)过度消耗资源。Ethereum使用gas限制来控制每笔交易的计算资源消耗。当gas耗尽时,交易停止执行,防止整个Ethereum网络陷入某个交易的无限计算中。
OP_CAt可以通过连接堆栈元素将更多逻辑引入单个计算中,这使得Bitcoin脚本具有一定的灵活性,但也面临DDOS的风险。
出于安全原因,Satoshi Nakamoto在2010年删除了OP_CAt操作码,以减少攻击面,这也导致Bitcoin失去了一定程度的脚本灵活性,尤其是在需要数据拼接时。
OP_CAT的重返之路:扩容与争议
随着比特币网络的扩展和功能需求的增加,社区开始重新审视OP_CAT,认为它可能在扩容计划中起重要作用。
近年来,关于重新引入OP_CAT的讨论越来越热烈,特别是其与比特币扩容和智能合约的潜在联系。与此同时,随着比特币协议的更新(如Taproot),对安全性和内存使用的担忧逐渐得到解决,对重新启用OP_CAT的呼声也开始上升。
2023年10月,由开发人员Ethan Heilman和Armin Sabouri提出的OP_CAT提案引起了广泛关注。
该提案旨在通过软分叉来恢复OP_CAt操作码,这将极大改善比特币脚本的功能,特别是Tapscript(比特币Taproot交易脚本语言)中复杂合约功能的实现。
随着题词和符文的流行,今年围绕OP_CAt的讨论变得更加正式。在社区的推动下,OP_CAt提案正式编号为BIP-420(BIP是比特币改进提案)
后来该编号被改为BIP-347。BIP-347的主要目的是引入更复杂的条件(即“协议”),从而允许更复杂的智能合约、跨链桥接和链上交易。该协议的实施将能够引入诸如“保险库”式交易、可逆支付、定期支付、比特币中的复杂金融工具(如托管和债券)等功能。
OP_CAt能够带来潜在的好处,但也面临一些挑战。例如,实现这一改进可能会增加比特币的复杂性,带来安全和网络分叉的风险。此外,一些社区成员担心新功能可能会影响比特币的简单性和普及性。
因此,OP_CAT的回归影响需要继续讨论和探索。
3. 为什么选择 STARK
STARK是由StarkWare开发的零知识证明系统。与著名的SNARK类似,STARK也通过将复杂程序的执行过程转换为易于验证的零知识证明来实现扩展。这种方法可以极大地降低大量交易的计算复杂度并快速验证其正确性。
零知识证明的基本思想
零知识证明技术的核心思想是将复杂计算的结果转换成可以快速验证的简单“命题”,验证者无需重新执行计算过程,就能确认结果的正确性。
举例来说,如果一个复杂计算过程需要数秒甚至数分钟才能完成,验证者想要验证计算的结果,最直接的方法是在数秒甚至数分钟内重复计算。然而,如果整个计算过程转换成了零知识证明,验证过程可以缩短至毫秒级。
STARk和SNARK之间的技术区别
STARk和SNARK的关键区别在于它们所使用的数学基础,即用什么样的数学方法来计算和验证零知识证明。
SNARK主要依赖于椭圆曲线配对运算。虽然这种运算方法可以实现简洁的零知识证明,但不涉及哈希运算。此外,SNARK操作依赖于椭圆曲线的性质,可能限制了其应用场景。
与SNARK不同,STARk完全依赖哈希函数和多项式承诺作为其核心操作。哈希函数是比特币等区块链系统广泛使用的密码工具,通过将任意长度的输入映射为固定长度的输出,提供高效的计算和强大的安全性。
兼容性:STARk和比特币
由于比特币系统本身是围绕哈希计算构建的,这使得STARk的操作方法与比特币的本机操作方法高度一致。
STARK的哈希操作可以更直接地与比特币现有的哈希逻辑集成。这种适应性意味着STARK可以在比特币网络上更高效地实现零知识证明,而不需要对比特币的现有计算机制进行重大更改。
为什么OP_CAt是先决条件?
OP_CAt用于连接堆栈中的元素,对于构建复杂的零知识证明验证脚本至关重要。通过OP_CAt,比特币脚本可以更灵活地处理多个数据片段的组合,从而在验证过程中支持更复杂的逻辑结构。这使得引入STARk成为可能,因为OP_CAt提供了实现STARk证明验证所需的脚本功能。
具体而言,引入OP_CAt使比特币能够支持STARk证明所需的复杂数据操作,例如串联、验证和迭代操作。这些操作在生成和验证零知识证明时是不可或缺的。通过OP_CAt,比特币可以在不引入图灵完备性的情况下保持高效的验证和安全性,从而实现在比特币网络上应用STARk。
IV. 总结与展望
作为行业的新主线,比特币的扩展对行业的可持续发展至关重要。在这一领域中,StarkWare凭借其在零知识证明和扩展技术方面的领先地位展示了强大的创新能力。
然而,STARk的成功应用仍取决于OP_CAt等功能的进一步发展。我们期待各个技术团队在这个领域中的持续努力和探索,共同推动比特币生态系统的演进。
展望未来,随着OP_CAt的引入,StarkWare有望在这个新时代中大放异彩,并进一步巩固其在区块链扩展领域的领先地位。我们对StarkWare在推动比特币扩展和提高网络性能方面的潜力持乐观态度,并期待他们给区块链技术带来更多突破和创新。
StarkWare在比特币OP_CAt时代展现其实力的潜力巨大,这是尝试的最佳买入机会,对吧? https://invest.sg.moomoo.com/cryptotrade
免责声明:社区由Moomoo Technologies Inc.提供,仅用于教育目的。 更多信息
1
1
15
1
+0
原文
举报
浏览 5.7万
评论
登录发表评论