AIR:速览 StarkWare 推出的 Cairo:图灵完备的生产级 STARK 系统

Cairo是第一个用于生成通用计算的STARK证明的生产级平台,具有图灵完备,高效等特点。我们开发的所有内容都是用Cairo编写的,从提交Reddit的竞标开始,到我们即将部署的各个项目:DeversiFi、Immutable和dYdX。

无论你的计算和储蓄需求有多少,如果你需要在以太坊上以较低的Gas成本大规模应用,Cairo都很有用。在接下来的几个季度中,我们会开始提供Cairo的开发者工具,在此之前,请你直接联系我们,我们可以一同开发你的应用。

项目背景

扩展Reddit竞标对于我们StarkWare来说是一个里程碑,不光是因为我们取得的成绩,更因为我们取得该成绩的方法。这次Reddit竞标是我们第一次在以太坊主网部署Cairo,一个用于生成通用计算的STARK证明的图灵完备1生产级平台。我们其他即将在主网部署的项目都会基于Cairo,包括:

SBF律师提出的撤销刑事指控的动议遭法官驳回:金色财经报道,主持FTX案件的联邦法官驳回了SBF律师提出的撤销针对SBF大部分刑事指控的动议。上个月,SBF的律师寻求美国法官驳回该国检方对SBF提出的刑事指控,SBF的律师认为其中几项指控未能正确陈述犯罪行为。在周二的回应中,美国纽约南区地方法院法官否认了这些动议,称这些动议“没有实际意义或没有依据”。[2023/6/28 22:04:01]

DeversiFi的StarkEx2.0

支持ImmutableX的StarkEx系统,为Immutable团队的GodsUnchained游戏打造的NFT交易系统

为dYdX的永续合约打造的StarkEx系统

本文将涵盖以下内容:1.我们为什么需要Cairo;2.项目的新颖之处,其性能及扩展效率;3.讨论我们向社区开发者分享Cnaairo工具链的开发计划。

需求:图灵完备的生产级STARKs

自从我们成立以来,就一直专注于解决可扩展性问题,从以太坊扩展性开始。我们很早就意识到有效性证明是一个强大的扩展性解决方案,而且STARKs在为通用计算解决扩展性问题上有其独到之处。快速回顾一下概念:一个链下证明器,可以处理大量运算,并产生量级上更小的有效性证明,这些证明反过来又可以在链上验证。

Gensler:SEC正在努力保护投资者免受炒作和欺诈者的侵害:金色财经报道,Gary Gensler表示,美国证券交易委员会(SEC)正在努力保护投资者免受炒作和欺诈者的侵害。这取决于人们想投资什么。然而,法律明确规定,服务提供商必须充分披露他们的产品和服务,如果没有适当的披露,投资者只是在追逐某些东西,这在一个充满炒作和欺诈者的行业中变得更糟。我们必须证明的是,数字货币是证券,他们应该正确注册并拥有防止欺诈、操纵交易所、经纪人等的规则手册,我们对此非常有信心。[2023/6/7 21:20:51]

我们每个合作伙伴都有一类独特的运算需要下放到Layer2上。DeversiFi的现货交易,Immutable的NTF生成与交易,而dYdX则要执行永续合约。为每个项目定制手写打造一个STARK系统2将耗时巨大,就像为每个计算构建一个专用ASIC一样。因此,我们要想拓展业务并支持高性能和速度,就需要在第二层有一个图灵完备的生产级STARK系统,因此我们开发出了Cairo。Cairo是CPUAlgebraicIntermediateRepresentation)的首字母缩写,并包含单个AIR来验证这个「CPU」的指令集。

Increment推出治理代币INCR,已可在以太坊主网上认领:金色财经报道,基于zkSync 2.0构建的算法汇率协议Increment官方发推特宣布推出治理代币INCR,可用于投票、治理和管理生态基本基础设施组件,初始社区分配已可在以太坊主网上认领。[2023/4/6 13:47:38]

解决方案:Cairo,单一AIR的通用方案

Cairo连接了一系列用于构建通用计算可扩展性与零知识证明的工具链。

所有先前部署在测试网或者主网上的系统都只能被归为「电路编写库」3。这些库可以看作是为创建用于特定计算的ASIC的工具链。而Cairo与之完全不同,应该看作是从ASIC向CPU的过度。

Cairo是第一个实现图灵完备的冯诺伊曼结构的生产级证明系统,每个Cairo程序P以及它处理的数据D都存留在虚拟机的内存中。Cairo的单一AIR可以验证任意Cairo程序,因此验证器也是单一的,形式可以是智能合约或者WebAssembly程序等。也就是说,Cairo的AIR可以验证用数据D跑程序P的计算完整性,以及执行后系统状态的正确性。

数据:过去两周莱特币巨鲸已累计价值超4000万美元的LTC:11月23日消息,根据区块链分析公司Santiment发布的数据,持有1000-100,000枚LTC的巨鲸地址在过去两周时间里已经累计了价值4340万美元的LTC。当前LTC价格已升至80美元上方,过去7天涨幅达到38.6%,年内表现已经优于比特币和以太坊,有分析认为LTC走高可能与其2023年8月减半有关。[2022/11/23 8:01:16]

有了Cairo,新的业务逻辑不再需要新的智能合约,而只需要另外一个Cairo程序。由此,业务逻辑和证明系统的界限划分明确了。

用单一的AIR来解决所有问题还具有一个深远的意义:我们可以使用单一证明来断言不同程序执行的完整性。比如,基于VeeDo的密封竞标拍卖、GodsUnchained卡牌的生成、一批dYdX上的交易,这些都可以用同一个证明来证实其有效性。我们把这项功能称为通用验证服务,我们很快会提供更多相关信息。

Cairo语言

Cairo程序要用到类似汇编语言的、也叫Cairo的语言来编写,而Cairo语言具有以下功能:内存、函数调用、递归和分支条件。Cairo还用到了证明器端的「hints」来创建快捷方式并启用特定计算。我们说Cairo是生产级的,我们说的不仅是即将到来的主网部署,更是我们为此构建出的强大开发环境,包括一个从Cairo语言到Cairo字节码的编译器、一个用于模拟Cairo执行的虚拟机、调试器、集成开发环境、还有上述提到的用Solidity编写的单一验证器智能合约。

欧洲央行行长:加密货币和 DeFi 可能对金融稳定构成“真正风险”:金色财经报道,欧洲中央银行(ECB)行长Christine Lagarde表示,我们相信,在我们着手开展有关加密资产及其带来的风险的工作时,加密资产和DeFi有可能对金融稳定构成真正的风险。如果加密资产市场和服务继续快速增长,并且与传统金融部门和更广泛的经济的相互联系得到加强,情况尤其如此。

然而,她指出:目前,私营部门加密资产与传统金融之间的联系仍然有限。拉加德接着谈到了加密资产市场监管(MiCA)法案。她强调,她担任主席的欧洲系统性风险委员会 (ESRB) 支持快速采用和实施 MiCA 的必要性。(bitcoin.com)[2022/6/25 1:30:07]

我们将很快发布白皮书,详细介绍Cairo的设计理念以及对于该新一代编程语言的完整规范。在下面几个月中,我们会开始发布用于编写、调试和运行Cairo程序的工具。

Cairo的效率和安全性

我们可以从两个方面考虑效率和安全性:涉及数学的方面和工程实现方面;而Cairo会在这两个方面都使代码更加高效且安全。

Cairo的AIR相对简单,也就可以为链上验证和链下证明服务提高效率并降低成本。这也提高了安全性,因为审核单个简单的AIR比审核多个复杂的专用AIR要安全得多。

因此,有了Cairo,我们可以依赖于单一验证器智能合约,再也不用为每个应用都部署一个验证器。在安全性方面这意味着:对这一份智能合约的审计就能保护所有应用都免受证明系统风险影响,而应用仅仅需要审计自己的业务逻辑。而对于业务逻辑,理解并审核其代码相比专用AIR来说要简单得多了。

为了理解Cairo中实际应用中的具体效率,我们来看这两个例子:

DeversiFi

目前在以太坊主网上支持DeversiFi2.0的StarkEx系统是个ASIC的STARK,我们在Cairo中也部署了相同的StarkEx,在测试网上运行,并比较两个系统。通常来说,CPU比ASIC要慢,但在实际案例中,由于Cairo强大的优化,两个系统几乎没有差别:

Cairo证明器比当前的ASIC实现慢30%

验证器只消耗1.03倍的gas

Reddit竞标

我们与以太坊生态中的其他项目一起冲刺完成了Reddit可扩展性竞标。多亏了Cairo,我们才能:

我们以前所未有的效率完成了比赛。我们可以把所有30万个交易都打包成一个证明,还用到了聚合调用数据。这是Cairo可编程性及优化算法所得便捷性的直接成果。我们在6分03秒内完成了所有任务。

值得注意的是:更高级别的编程能轻易增加优化,这些优化带来的好处通常大于上文提到的CPU劣势。因此,在多数情况下,使用Cairo比使用量身定制的AIR实际上可能最终实现更好的性能。

我们以超快的速度完成了比赛。没什么人注意到我们的单个证明在7月15日就提交到主网上了,比六周的冲刺期提前了两周。这也是Cairo给我们带来的奇迹。

前路漫漫

我们计划将我们与其他人开发的Cairo和GPS提供给社区广大的开发者,为大家提供强大的开发工具,我们计划开发出从更高级语言到Cairo的编译器,还要给开发者长期提供我们的云上开发环境。这都需要大量的精力与资源,Cairo不是一天建成的。我们将定期一步一步更新Cairo,为大家提供更强的功能、性能及优化。

目前我们与合作伙伴DeversiFi、Immutable和dYdX一同在使用中不断调试Cairo,每周都有进展。如果你想现在开始在以太坊上进行开发,但受限于扩展性和日益增长的gas价格,如果你想构建一个真正的生意,需要生产级高性能的工具链,请联系我们。

脚注

:我们使用该术语的通俗含义,即,涵盖所有现实世界的通用计算

:更准确地说,应用之间的不同点就在于AIR,AIR之于STARK来说就好比运算电路与R1CS系统之于SNARKs。

:根据zkp.science的综合分类

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:46ms0-0:881ms