Cairo是第一个用于生成通用计算的STARK证明的生产级平台，具有图灵完备，高效等特点。我们开发的所有内容都是用Cairo编写的，从提交Reddit的竞标开始，到我们即将部署的各个项目：DeversiFi、Immutable和dYdX。
无论你的计算和储蓄需求有多少，如果你需要在以太坊上以较低的Gas成本大规模应用，Cairo都很有用。在接下来的几个季度中，我们会开始提供Cairo的开发者工具，在此之前，请你直接联系我们，我们可以一同开发你的应用。
项目背景
扩展Reddit竞标对于我们StarkWare来说是一个里程碑，不光是因为我们取得的成绩，更因为我们取得该成绩的方法。这次Reddit竞标是我们第一次在以太坊主网部署Cairo，一个用于生成通用计算的STARK证明的图灵完备1生产级平台。我们其他即将在主网部署的项目都会基于Cairo，包括：
孙宇晨否认彭博社有关 Huobi 正在寻求股权买家的报道:金色财经报道，孙宇晨发推特否认彭博社有关 Huobi 正在寻求股权买家的报道。此前彭博社援引知情人士报道，孙宇晨已经就出售 Huobi Global 的股份进行了谈判。孙宇晨在过去几周试探了潜在投资者的意见。这些对话还处于早期阶段，尚不清楚是否有投资者会继续推进。[2023/4/1 13:39:35]
DeversiFi的StarkEx2.0
支持ImmutableX的StarkEx系统，为Immutable团队的GodsUnchained游戏打造的NFT交易系统
为dYdX的永续合约打造的StarkEx系统
本文将涵盖以下内容：1.我们为什么需要Cairo；2.项目的新颖之处，其性能及扩展效率；3.讨论我们向社区开发者分享Cnaairo工具链的开发计划。
需求：图灵完备的生产级STARKs
自从我们成立以来，就一直专注于解决可扩展性问题，从以太坊扩展性开始。我们很早就意识到有效性证明是一个强大的扩展性解决方案，而且STARKs在为通用计算解决扩展性问题上有其独到之处。快速回顾一下概念：一个链下证明器，可以处理大量运算，并产生量级上更小的有效性证明，这些证明反过来又可以在链上验证。
意大利隐私监管机构就ChatGPT对OpenAI展开调查:金色财经报道，意大利数据保护机构对OpenAI公司非法收集用户信息展开调查。意大利个人数据保护局今天宣布，即日起禁止使用聊天机器人ChatGPT，并限制开发这一平台的美国人工智能公司OpenAI处理意大利用户信息。同时，意大利个人数据保护局指出，本月20日，ChatGPT平台出现了“用户对话数据和付款服务支付信息丢失”的情况。
此外，该平台没有就收集处理用户信息进行告知，缺乏大量收集和存储个人信息的法律依据。OpenAI公司“必须在20天内通过其在欧洲的代表向意大利个人数据保护局通报公司执行保护局要求而采取的措施”，否则将被处以最高2千万欧元或公司全球年营业额4%的罚款。[2023/3/31 13:37:39]
我们每个合作伙伴都有一类独特的运算需要下放到Layer2上。DeversiFi的现货交易，Immutable的NTF生成与交易，而dYdX则要执行永续合约。为每个项目定制手写打造一个STARK系统2将耗时巨大，就像为每个计算构建一个专用ASIC一样。因此，我们要想拓展业务并支持高性能和速度，就需要在第二层有一个图灵完备的生产级STARK系统，因此我们开发出了Cairo。Cairo是CPUAlgebraicIntermediateRepresentation）的首字母缩写，并包含单个AIR来验证这个「CPU」的指令集。
CZ：币安已将用户安全资产基金再次充值至10亿美元等值:11月9日消息，币安创始人赵长鹏（CZ）发推称，为了适应最近的价格波动，币安已将用户安全资产基金（SAFU）再次充值至10亿美元等值，BUSD和BNB地址约7亿美元，BTC地址约3亿美元。
注，用户安全资产基金（SAFU）是币安于2018年7月为保障用户资金安全而设立的应急保险基金。该基金成立时，币安承诺了一定比例的交易费用，以将其增长到可观的水平以保护用户。[2022/11/9 12:37:51]
解决方案：Cairo，单一AIR的通用方案
Cairo连接了一系列用于构建通用计算可扩展性与零知识证明的工具链。
所有先前部署在测试网或者主网上的系统都只能被归为「电路编写库」3。这些库可以看作是为创建用于特定计算的ASIC的工具链。而Cairo与之完全不同，应该看作是从ASIC向CPU的过度。
Cairo是第一个实现图灵完备的冯诺伊曼结构的生产级证明系统，每个Cairo程序P以及它处理的数据D都存留在虚拟机的内存中。Cairo的单一AIR可以验证任意Cairo程序，因此验证器也是单一的，形式可以是智能合约或者WebAssembly程序等。也就是说，Cairo的AIR可以验证用数据D跑程序P的计算完整性，以及执行后系统状态的正确性。
以太坊链上活跃度达近5年新低:8月14日消息，以太坊网络活跃度已达近5年最低水平，原因是链上部署的合约数量减少，并跌破了30万个部署，而数值在2021年7月保持在270万左右。
链上合约数量如此迅速的下降与两个因素有关：一是流入量不足造成的行业整体危机，二是即将到来的基本面更新可能造成风暴前的平静。
2021年夏季已部署合约数量的飙升，是以太坊价格上涨的催化剂，几乎将以太坊推到了5000美元的价格。网络上已部署解决方案数量大幅下降的主要原因之一是，一段时期内费用极高，使开发人员失去动力，并造成僵局，网络上没有出现新的解决方案。（U.Today）[2022/8/14 12:24:53]
有了Cairo，新的业务逻辑不再需要新的智能合约，而只需要另外一个Cairo程序。由此，业务逻辑和证明系统的界限划分明确了。
用单一的AIR来解决所有问题还具有一个深远的意义：我们可以使用单一证明来断言不同程序执行的完整性。比如，基于VeeDo的密封竞标拍卖、GodsUnchained卡牌的生成、一批dYdX上的交易，这些都可以用同一个证明来证实其有效性。我们把这项功能称为通用验证服务，我们很快会提供更多相关信息。
富国银行：数字资产是“与互联网、汽车和电力相媲美的创新”:8月8日消息，美国第四大银行富国银行发布了一份题为“了解加密货币”的特别报告，将数字资产与“互联网、汽车和电力”的发明进行了比较，指出数字资产与互联网、汽车和电力一样具有创新性。报告称数字资产为“新互联网的基石”，数字资产的发展将带来“新的可能性和投资机会”。
富国银行还在报告中对当前版本的互联网如何改造邮局、音乐商店、固定电话和当地新闻进行了比较， 它利用这些比较试图解释“价值互联网”将如何重塑当地货币、支付网络、证券、财产和合约。 该报告指出，数字资产行业面临的主要风险是额外的监管、技术和业务失败、处理和存储数字资产的运营风险、价格波动以及有限的消费者保护。（Cryptoslate）[2022/8/8 12:09:09]
Cairo语言
Cairo程序要用到类似汇编语言的、也叫Cairo的语言来编写，而Cairo语言具有以下功能：内存、函数调用、递归和分支条件。Cairo还用到了证明器端的「hints」来创建快捷方式并启用特定计算。我们说Cairo是生产级的，我们说的不仅是即将到来的主网部署，更是我们为此构建出的强大开发环境，包括一个从Cairo语言到Cairo字节码的编译器、一个用于模拟Cairo执行的虚拟机、调试器、集成开发环境、还有上述提到的用Solidity编写的单一验证器智能合约。
我们将很快发布白皮书，详细介绍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的综合分类
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。