作者:Eli Ben-Sasson,StarkWare创始人；翻译：金色金融xiaozouou；
STARKS终于迎来了下一个挑战。现在，STARKS将在历史上最公平的货币BTC上展示其扩展优势。一旦OP_CAT在比特币上被选中，STARK验证人将被安排在比特币脚本中，这将成为现实。这为比特币和Starknet之间安全的自我管理转移开辟了一个渠道，创造了一个扩展以太坊和比特币的渠道L2。
数字货币可以净化数字和金融世界。它可以给金钱带来诚信，再次平衡我们的社会权力，从大型科技公司手中夺回权利，并返还给具有主权的个人。它是赋权人类和基层社区的工具。简而言之，这是一个美丽的源泉。因此，我们需要一个愿景来展示这一点，并与每个人有关。为了实现这一愿景，我离开了平静的学术生涯。
如果我们不扩展这个优秀项目的启动链，这个愿景就不会完整。我们扩大BTC，释放区块链的力量来改变我们的命运。StarkWare正在按照实际措施支持该计划，并启动了一项计划100用于支持新研究的万美元基金将揭示在比特币上使用的基金OP_CAT的利弊。
我们通过ZeroSync基金会和L2L2 Iterative Ventures(L2IV)Weikeng Chen建立了非常有效的战略伙伴关系，最终促成了Bitcoin Wildlife Sanctuary(BTC野生动物保护区)的出现。我们利用他们团队在工程和研究方面的实践方法，扩大了基于OP_CAT的合同和STARK验证器在比特币脚本中的开源边界。我们还要感谢Bitvm和ZeroSync基金会，他们让这么多人了解比特币的能力。此外，QED创始人Carter Feldman也对我们产生了很大的影响，他向我们展示了关于Taprot潜力的新视角和开放思维。
现在，让我们回到最基本的部分，让我来解释一下我们现在正在做什么。
1、2008年：破裂时刻
让我们回到2008年，也就是全球金融刚刚崩溃的时候。作为回应，中本聪出版了革命性的比特币白皮书。在这个破裂的时刻，中本聪向我们展示了如何以不同的方式做事。作为公众，我们有权要求和实施金融业更高的诚信和透明度标准。中本聪没有依靠传统银行的堡垒，而是引入了包容性协议，邀请大家加入。该协议通过比特币采矿和收费，将价值公平透明地分配给推动者。推动者分布越广，BTC就会变得越好，越安全。
BTC给我们带来的不仅仅是一本账簿——它给了我们改变的信念。当银行搞砸一切时，它给了我们信念——当时银行正忙着收回断供的房子，希望我们没有意识到，虽然所有的抵押贷款机构都摆出了“相信我们”的态度，但即使是家也不“像家一样安全”。
如果比特币的受欢迎程度完全实现，它可能比我们今天看到的要长得多。它也应该被广泛用作全球储备货币。它可以形成全球“诚信网络”的基础，支持我们自由社会所需的所有社会功能：金钱、产权管理和社会互动。
比特币白皮书预见了一个实际用于支付的网络，无论规模大小，无论贫富强弱，每个人都可以操作。如今，世界上有15亿人连银行账户都没有。BTC支付不仅是这些人的选择，也是他们第一次接触金融基础设施的媒介。如今，BTC提供的容量太小，而且可用容量对这15亿人来说太贵了。我希望开发一种技术，让每个人都能使用BTC，加入BTC维持的自由社会。
2、重要但被忽视的问题
有些人认为StarkWare是以太坊maxis。虽然我们符合以太坊的价值观，致力于以太坊的成功，但我们首先是STARK maxis。Starknet作为L2布署以太坊，将Starknet与比特币连接起来也是其功能特征的自然扩展结果。这与我们自成立StarkWare以来的愿景是一致的，即Starks是一种公共产品，用于扩展所有真正分散的区块链项目。当然，以太坊也是上述雄心勃勃使命的化身，但它采取了不同的方式，权衡了利弊。这很好，因为总的来说，这增加了我们成功建设能够抵制中国权力的协议的概率。以太坊的核心价值是我们最初选择它作为Starknet清算层的原因，这些价值仍然存在。我们坚信以太坊，并致力于其长期成功。将ZK-STARKS引入BTC不会偏移我们的路线，只是绕了一圈。到目前为止，StarkWare已经在以太坊上部署了所有的系统。但区块链的STARK扩张是2013年春季BTC会议提出的一个想法。
会上，我走上讲台，讲述了我对一项被称为STARKS的加密确认的初步研究。许多观众回应说，这项加密研究正是区块链所需要的。也就是说，在以太坊问世前几年，我对比特币产生了浓厚的兴趣。
因此，StarkWare从一开始就与比特币息息相关，我们一直怀着敬佩之心观察比特币网络。Taproot,也许还有OP__CAT,扩大了比特币的概率，我现在可以放心地公开讨论了。
我们还支持ZeroSync等突破性BTC项目，率先将ZK与比特币集成，以增强隐私性和可扩展性。StarkWare还委托科研人员John Light写了一篇名为“比特币网络Validity”的文章 Rollup该报告重新评估了现有的validity 从rollup和比特币整合的概率中得出的结论是，它可能是一个理想的匹配。我们的下一代circle-stark证实器-验证器—Stwo—针对M31有限域。这个域与比特币脚本配合得很好，这使得我们特别适合下一代BTC扩展。
3、我希望看到未来
我的梦想是看到BTC达到它需要的规模，并不断为每个人服务。这包括对所有人开放，没有财务准入条件。我相信，只要我们坚持中本对分散和安全的坚持，这个梦想就会实现。
互联网最初是书呆子工程师和学者的利基游乐场。它花了几年时间才扩展，最终成为我们的生活基础设施。区块链是一种工具，可以将信任和诚信分配给主权个人组成的大型社区，而不是委托给少数大型企业，使互联网民主化，重新平衡权力。但要真正赢得权力，把它还给公众，就要扩大规模。
我也相信，我们应该抓住BTC扩张的机会，推动比特币社区许多人非常重要的价值观：隐私保护。为BTC提供可扩展的加密算法也提供了增强隐私功能的原材料。随着时间的推移，你最终会拥有一切：your keys, your coins, your confidentiality(你的密钥、代币和秘密)。
4、如何实现这样的未来？
我们,StarkWare,现在正在采取三项切实措施来扩大BTC:
措施1:我们将为Starknet提出一种新的设计方法，通过使Starknet进行设计Starknet成为自我代理的分散化L2,同时，以太坊和BTC同步清算，实现统一空间。也就是说，同时在两个链上结算一层。我们的团队将指导或赞助所有实现这一目标所需的工作。研究中的结构细节将在接下来的几周内公布。
措施2:StarkWare推出了一项规模为100万美元基金，资助研究OP_CAT以及BTC研究人员和开发人员的影响。这些补贴将奖励那些真诚支持或反对升级的个人和项目，并为OP_CAT的使用提供概念证明。该基金的细节将于下周公布。
措施3:最后，我们认为OP_CATBTC软分叉是扩展比特币最安全的方式，特别是支持STARK验证和rollup。因此，我们宣布公开支持OP_CAT。OP_CAT通过启用可以独立管理和更新状态的递归合同，使BTC上不可信赖的rollup成为可能，从而大大提高了交易吞吐量，而不会使比特币网络过载。
5、BTC扩容解锁的潜力是什么？
通过扩展BTC，我们将能够在一秒钟内处理数百万用户的交易，而不是每秒大约13笔交易。我们为BTC设想的一些规模用例包括：
· 同时扩大比特币和以太坊：今天的区块链是碎片化的。也可选择“数字黄金”BTC,用它来保存价值，但基本上没有其他用途，你也可以选择以太坊，它的目的是成为一个“世界计算机”，或者选择其他较小的链条。Starknet通过在两个最大链上提供选择(dapp可以选择其中一个或两个)来整合残片。Starknet将同时扩展两条链，而不干预任何一条链的单独治理。
· 隐私保护:STARKs—扩展过程中使用的加密确认——已经融入了大量尚未实现的隐私保护潜力。隐私保护的潜力和BTC社区是天生的配偶。该技术的“零知识”一方面得到了很好的理解，但仍需转化为实际的解决方案。将私有L2集成到BTC生态系统中，使用Zcash、MimbleWimble或Noir等技术，可显著增强交易隐私。
· 为边缘群体提供金融服务：对我们来说，比特币的使命一直在一定程度上赋予弱势群体权力。世界上约有15亿人无法获得传统的银行业务，这是金融自下而上流动的弱点。其他试图扩大比特币的人还没有提供大规模使用的解决方案。BTC可以通过新的扩展方法和增加更多的工具，为世界上没有银行账户的人们提供一个包容的全球金融体系。
· 比特币金融创新：BTC支持数字现金结算，但现代市场需要更多：更好的自我管理选项，包括可编程金库、风险管理和对冲工具、声誉、贷款、衍生品、期货合约等。所有这些都需要更多的功能，而这些功能不能也不应该直接基于比特币。L2将Starknet变成比特币有两全其美的优势:由比特币作为数字黄金的安全支持的巨大金融创新。
· 改进的使用体验：比特币原始的自我管理安全也使得安全操作并不容易，特别是对于普通用户。现代L2将为用户提供安全和简单的自我管理交互，以满足他们的大部分日常需求，并依靠BTC强大和可靠的L1安全进行长期价值存储。
6、为什么是OP_CAT、STARKs和Starknet?
(1)为什么是OP_CAT?
STARKS需要验证哈希链，除此之外什么都没有。它们的主要验证周期包括简单的代数操作（添加和乘法模具一个小素数），并验证通过Merkle树提交的内容是否正确打开。OP_CAT特别支持在比特币脚本中创建和打开Merkle树的内容，因为支持Merkle树创建和检验的核心操作需要连接两个值，然后进行哈希操作(OP_CAT启用连接)。虽然其他合同支持操作码可能更强大，但OP_CAT是唯一一个支持Merkle树检验的操作码。
(2)为什么是STARKs?
简而言之，STARKS提供了最大的规模，是长期测试后最安全的，没有可靠的设置过程产生的“有毒垃圾”，没有外部加密术语，甚至是后量子安全。新的STARK证实器-验证器叫做STWO，它使用适合比特币网络的小数字来提高效率。
(3)为什么是Starknet ?
以太坊上的Starknet拥有一个充满活力的开发者社区和一种编程语言，可以通过触摸指尖来实现所有的扩展能力。对于任何知道Rust语言的开发者来说，Starknet的本地语言Cairo似乎更为熟悉。今天的BTC社区还没有明显的高级语言来构建链上的活动世界。希望Cairo能填补这一空白，成为比特币的本土语言之一。
