主要内容：
?Cairo1.0开源啦!这仅仅是StarkNet栈开源的第一步。
?我们为读者带来了对Cairo1.0编译器的初步介绍。大家可以开始尝试使用基本的Cairo1.0代码了。
?Cairo1.0的核心与Rust非常相似。
?考虑到这是首次测试，而不是正式版本，优化还在进行当中。第一版的编译器计划在明年一季度初推出。
?目前，StarkNet还不支持Cairo1.0，需要到明年第一季度，StarkNet才会支持Cairo1.0。
介绍
Equilibrium：6月17日Starknet Pathfinder节点停止同步，隔日已完成修复:6月27日消息，去中心化网络基础设施Equilibrium发文称，2023年6月17日（星期六）发生了一起事件，导致Starknet Pathfinder节点在主网上停止同步，导致整个生态系统中断。修复程序于第二天早上8:30（UTC时间）发布。
根本原因是由于类散列不匹配，Pathfinder无法在主网上同步区块84,448。罪魁祸首是JSON的字符串编码。失败的类包含非ASCII字符，导致最终编码字节不同，因此产生不同的散列。[2023/6/27 22:03:53]
2020年，我们发布了Cairo，它是一种支持可验证计算的图灵完备编程语言。Cairo开始时是一种汇编语言，后来逐渐变得更具表达力。两个月前，我们宣布了Cairo1.0的诞生，它解决了当下一些主要问题：
Cosmostation公布2023年路线图，计划将Mintscan发展为跨链分析和仪表盘应用程序:1月5日消息，Cosmos网络区块浏览器服务商Cosmostation公布其2023年路线图。其表示，2023年将致力于构建协议基础设施，将其基于Cosmos-SDK网络的区块浏览器Mintscan发展成为跨链分析和仪表盘应用程序，并添加如下新功能：跨链安全、链间安全、跨链及其他领域的综合API/RPC服务、为Interchain及其他领域提供动力、专注于智能合约和DApp可访问性等。[2023/1/5 10:23:20]
?自诞生以来，虽然Cairo的语法结构已经有了很大的改进，但开发者的体验还是有改进的空间的。Cairo1.0是一个受Rust启发的完全类型语言，编写同样的逻辑会更加容易，并且出错的可能性更低。
Gate.io Startup首发项目ARES已认购成功:据官方公告，Gate.io Startup首发项目阿瑞斯 (ARES)认购成功，并将于4月30日中午12:00开通ARES交易并随后开通提现服务。据悉，本次认购参与人数共有11,599人，下单总价值超过1,000万美金，认购系数约为0.0039 。Gate.io将根据每个人的下单情况和每个下单币种的认购系数进行ARES的分发。请务必注意：由于部分用户在下单认购后到当天20点之前，没有保持账户中有不低于认购金额的足够金额，因此被排除在有效下单之外。[2021/4/27 21:02:17]
?现有的编译器与StarkNet本身是在同一个repo中开发的，所以追踪语言变化的困难更大。Cairo1.0编译器是从头开始编写的，所以有更快的功能开发和更多的社区参与。
SBI子公司Morningstar将在股息之外向股东提供XRP奖励:日本金融服务集团SBI子公司Morningstar表示，将向其股东提供XRP奖励，且是股息之外的奖励。。为了符合该计划的资格，股东必须至少持有100股股票。股东还必须在5月31日之前申请以接收奖励。那些持有至少100只股票的人可以获得价值2，500日元（约合25美元）的XRP。（InsideBitcoins）[2021/3/16 18:49:52]
?现在每一次计算都是可以证明的。目前，一个Cairo程序可能在特定的输入指令下出现失败，使计算无法被证明。在Cairo1.0中，程序在每个可能的分支中都是可证明的。这对StarkNet中的DOS保护和抗审查尤为重要。
?今天，我们达到了上述目标方面的第一个里程碑，因为我们将开发工作转移到了公共repo，并将Cairo1.0开源!现在，开发人员可以编译和执行简单的Cairo1.0程序。由此，开发者可以开始尝试使用Cairo1.0，并逐渐适应新的功能，即使在这个阶段，他们还不能在StarkNet上实现。
分析 | Bitstamp大量卖单昨日获利离场 Binfinex BTC买价高于Coinbase:据TokenGazer数据分析显示：截止至6月28日18点整，BTC价格为$11976.15，市值为212,998.1M，主流交易所24H BTC交易量约为$5,140.8M，环比昨日下跌6.1%；算力方面，BTC算力目前仍在高位震荡；活跃地址数方面，BTC活跃地址数保持上涨趋势；UTC 6月27日，比特币价格震荡下跌，成交量大，市场存在分歧。三个交易所的主动卖单均超过买单，对三个交易所的卖方成交方式进行分析，Bitstamp喜欢以大单砸盘，但这些大单并没有导致价格继续下跌；Bitfinex可能是卖单的逐渐下移推动价格下跌；Coinbase的卖单在全天比较分散。Bitstamp对Bitfinex的比特币价格由正溢价转为负溢价，负溢价甚至超过200美元。前期比特币价格上涨的时候，Bitstamp对Bitfinex的比特币溢价往往在上升。因此，可能前期在Bitstamp买入的人在获利离场，导致了BTC的价格下跌。当前BTC/USD Coinbase对BTC/USD Bitfinex处于负溢价状态，投资人需警惕市场风险。[2019/6/28]
目前的性能
目前，你可以编译和执行基本的原生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的概念
请务必保持关注并跟踪编译器的进展!
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。