CAIRO:StarkWare编程语言Cairo1.0测试版开源官方简介

主要内容：

?Cairo1.0开源啦!这仅仅是StarkNet栈开源的第一步。

?我们为读者带来了对Cairo1.0编译器的初步介绍。大家可以开始尝试使用基本的Cairo1.0代码了。

?Cairo1.0的核心与Rust非常相似。

?考虑到这是首次测试，而不是正式版本，优化还在进行当中。第一版的编译器计划在明年一季度初推出。

?目前，StarkNet还不支持Cairo1.0，需要到明年第一季度，StarkNet才会支持Cairo1.0。

Patrick McHenry：稳定币有望成为21世纪支付系统的支柱:8月7日消息，在PayPal宣布推出稳定币PYUSD之后，美国众议院金融服务委员会主席Patrick McHenry发表声明称，“这一公告是一个明确的信号，即稳定币（如果在明确的监管框架下发行）有望成为我们21世纪支付系统的支柱。明确的法规和强大的消费者保护对于稳定币充分发挥其潜力至关重要。这就是为什么国会通过立法提供全面的数字资产监管比以往任何时候都更重要，特别是针对稳定币。两党的《支付稳定币透明度法案》承认了各州在监管数字资产公司方面发挥的重要作用，并以纽约州等成功的州制度为基础进行了完善。我们正处于一个十字路口，要让美国保持数字资产创新的领先地位，国会两党正在立法方面取得重大进展，确保美国引领未来的金融体系。我们必须完成这项工作。”

此前，众议院金融服务委员会已通过《支付稳定币透明度法案》（Clarity for Payment Stablecoins Act of 2023）。该法案确定批准和监管稳定币发行者的监管途径，同时通过为支付稳定币创建统一的联邦最低标准，确保为消费者提供强有力的保护。[2023/8/7 21:30:16]

介绍

CME报告：高科技股的走势对以太坊价格的影响往往大于比特币:金色财经报道，根据芝商所 (CME Group) 的一份新报告，以科技股为主的纳斯达克100指数的走势对以太坊价格的影响往往大于对比特币价格的影响。

CME 高级经济学家兼执行董事Erik Norland在报告中表示：“在科技股上涨的日子里，ETHBTC 往往会上涨，因为 ETH 的收益高于 BTC”。Norland 指出，以太坊和比特币的差异可以解释为以太坊和比特币如何供应到市场然后使用，并指出以太坊智能合约网络的“实际应用”。另一方面，比特币主要被用作“高度波动”的价值储存手段和对冲法币贬值的工具。

报告称，虽然比特币和以太坊都以价格波动剧烈而闻名，但与过去一年约30%的日波动率相比，二者之间的比率几乎保持稳定。相比之下，比特币价格上涨了42%，以太坊价格上涨了59%。[2023/7/28 16:03:07]

2020年，我们发布了Cairo，它是一种支持可验证计算的图灵完备编程语言。Cairo开始时是一种汇编语言，后来逐渐变得更具表达力。两个月前，我们宣布了Cairo1.0的诞生，它解决了当下一些主要问题：

OKX宣布将向土耳其地震灾区捐款100万里拉:2月7日，土耳其发生7.8级地震。随即OKX通过官方推特表示，将捐款100万里拉以帮助在土耳其地震中受到影响的人。OKX CEO 转发推文并表示，向在土耳其地震中受到影响的人们送去爱和支持，正在与所有有可能受到影响的员工保持联系，并尽最大努力提供紧急帮助，希望大家注意安全。

据了解，此前受俄乌战争影响，OKX第一时间承诺为乌克兰员工全力提供安全方案并提供生活保障。[2023/2/8 11:53:13]

?自诞生以来，虽然Cairo的语法结构已经有了很大的改进，但开发者的体验还是有改进的空间的。Cairo1.0是一个受Rust启发的完全类型语言，编写同样的逻辑会更加容易，并且出错的可能性更低。

?现有的编译器与StarkNet本身是在同一个repo中开发的，所以追踪语言变化的困难更大。Cairo1.0编译器是从头开始编写的，所以有更快的功能开发和更多的社区参与。

Cardano创始人：ADA未上架Gemini或是正确选择，因为ADA也没上FTX:金色财经报道，Cardano创始人Charles Hoskinson 在最新 Twitter Space 上发表了ADA 未在 Gemini 加密货币交易所上架的看法，他表示并不介意 Gemini 这种做法，甚至对此表示欢迎，因为FTX也没有上线 ADA，从而确保Cardano原生资产在 FTX 崩盘中没有损失。而当Genesis Digital Trading暂停提款并面临破产风险时，Gemini 旗下 Earn Program 则遇到麻烦，结果导致暂停服务并欠下9亿美元用户资产。[2022/12/27 22:10:02]

?现在每一次计算都是可以证明的。目前，一个Cairo程序可能在特定的输入指令下出现失败，使计算无法被证明。在Cairo1.0中，程序在每个可能的分支中都是可证明的。这对StarkNet中的DOS保护和抗审查尤为重要。

Decentraland（MANA）成为前100个以太坊巨鲸24H交易量前十的代币:8月14日消息，WhaleStats数据显示，Decentraland（MANA）成为前100个以太坊巨鲸钱包24小时交易量排名前十的代币之一。[2022/8/14 12:24:32]

?今天，我们达到了上述目标方面的第一个里程碑，因为我们将开发工作转移到了公共repo，并将Cairo1.0开源!现在，开发人员可以编译和执行简单的Cairo1.0程序。由此，开发者可以开始尝试使用Cairo1.0，并逐渐适应新的功能，即使在这个阶段，他们还不能在StarkNet上实现。

目前的性能

目前，你可以编译和执行基本的原生Cairo程序。虽然许多语法/语言的优化仍在进行中，但你还是可以慢慢去习惯Cairo1.0，享受升级带来的好处。

请注意，目前仍然无法编写StarkNet合约。StarkNet语法会在未来几周内添加。

代码示例

为了说明旧的语法和Cairo1.0之间的差异，我们选择了几个不同的实现/类型模板来展示找到第n个斐波那契数。

例一：匹配表达式

在Cairo1.0中，你可以使用类似Rust的匹配表达式。你再也不用担心if/else语句会导致引用撤销了!

例二：数据类型

Cairo0使用的是felt和指针，而在Cairo1.0中，我们可以在语言中访问复杂的数据类型。下面你可以看到一个例子，它生成了一个前n个斐波那契数的数组。

如上所示，我们没有直接使用内存指针，而是使用`Array::<felt>`类型和`array_append`函数。

例三：结构体和所有权

下面的代码说明了Cairo1.0中结构体的用法。

下面这段话是为Rust开发者准备的。Cairo1.0管理内存的方式与Rust类似。而且，它使用了所有权和借用的概念。因此，通过访问`FibResult`结构体的一个成员，我们已经移动了`result`，这意味着除非FibResult是可复制的，否则我们不能在`result.index`中再次访问它。为了解决这个问题，我们在`FibResult`类型中添加了`#`属性。在未来的版本中，我们会为结构体添加自动解构功能。在不影响其他成员的情况下移动某个成员的所有权。

特别要注意的是，Cairo1.0完全抽象掉了Cairo原有的内存模型。

例四：错误传播

下面的代码是计算第n个斐波那契数，但与前面的例子不同，所有的输入指令都是uint128类型的。注意，这解决了Cairo0中处理uint的一个主要痛点。在这里，uint128是原生类型。

两个128个比特位的整数相加会导致溢出。上面的代码使用Option枚举和问号运算符来处理其中一个中间加法中的溢出情况。与目前的uint256加法语法相比，必须调用`unit256_check`函数来保证完整性。此外，在不久的将来，我们会在语言中加入`panic`的概念，像加法溢出这样的简单错误会是无法捕捉并自动传播的，也就是说，你在添加uint时不必使用`Option`或`?`。

赶紧试试吧

你现在可以编译和运行当前支持的Cairo1.0程序了。按照这些说明，学会使用`cairo-run`指令。注意，它的后台由Lambdaclass开发的RustCairoVM执行指令。

你可以在这里找到更多的例子帮助你入门。请注意，这只是对编译器开发的第一次测试；未来几周，我们会随着编译器改进CLI。

未来计划

第一版编译器的重点是支持Cairo1.0中StarkNet的所有功能，该版本计划在明年第一季度推出。此外，我们正在努力扩展Cairo1.0编译器的功能。未来几周，即将上线：

?StarkNet的性能——编写智能合约和使用系统调用。

?循环

?新的库函数

?优化的语言服务器

?StarkNetgas的概念

请务必保持关注并跟踪编译器的进展!

标签：CAIROCAIAIRSTACairo FinanceCaixaPayFairly Advance FutureWistaverse

欧易交易所app官网下载热门资讯