1月5日，StarkWare宣布正式推出编程语言Cairo1.0公开版本，正式取代为期两年的测试、预览版本，也标志着使用该语言在StarkNet上编写智能合约已经成为可能，同时也会兼顾高效的执行效率，成为ZK系Layer2Rollup技术派的里程碑事件。此次更新的功能可归纳为三点，分别是智能、效率和安全。更为智能：实现Sierra设计，确保Cairo代码可证明，StarkNet智能合约将在下一个版本中实现。更加高效：跟进Rust语言的强类型、所有权机制和借用等设计思路，兼顾执行效率和编写规范性；更为安全：保持图灵完备性，STARK机制的安全性由数学证明来保证；Cairo1.0公开版的工作流程将与以往有所不同，最主要的开发方向将是在智能合约编写能力和开发者友好方面进行持续改进。两全：走向ZK-EVM
在本轮的Layer2缠斗中，ZK系中的STARK和SNARK成为两大主流路线，但EVM兼容性和执行效率也成为各方关注的焦点，更好的兼容性将会获得以太坊主网的安全性加持，而较高的执行效率则会加快L2自身的执行速度。但这其中存在一个悖论：EVM兼容性和执行效率往往无法兼得，越好的L1兼容性则会降低L2执行效率，反之则存在安全性问题。因此StarkWare希望能使用Cairo语言作为两者之间的黏合剂，通过其编写的智能合约不仅可在StarkNet上全速运行，也可和以太坊主网保持较高的兼容性，这也是ZK-EVM的真正含义。在本次更新中，Cairo将会支持完整的Cairo-VM，其中的关键就在于中间表示层Sierra。简单而言，Sierra将作为Cairo语言编写的代码和其底层字节码之间“翻译层”，并且这种翻译将在确保安全性的基础上进行提速，而无需设置交易的执行状态，直接可根据当前状态开展证明。这是Cairo自身的语法改进，除此之外，StarkWare的智能合约也将逐步过渡到完全的Cairo语言上去，以完成自身的语言标准的统一。
Terra Classic L1团队已将测试网升级至V2.0.0，并发布主网升级提案:5月7日消息，Terra Classic（LUNC）L1联合任务组（L1JTF）团队近日已经将其rebel-2测试网升级到2.0.0版本。
使用Cosmos SDK v0.45的L1JTF测试网v2.0.0升级是该项目的一个重要里程碑，因为它引入几个增强其功能和安全性的新特性。Terra Classic社区在推动该项目的振兴计划方面也给予了支持。
该团队的兼职开发人员Till表示，这也可以促进Terra Classi主网升级到2.0.0版本的过渡。他透露，只有六个验证者（包括takeBin、Lunanauts、Allnodes）参与并成功升级。该项目的一些爱好者（比如reXx）表达了对开发中涉及的验证者数量的担忧，指出数量应该达到30个。
在成功升级测试网后，L1团队项目经理LuncBurnArmy已经提交一份将Terra Core主网升级到2.0.0版本的提案。
根据该提案，此版本包含Terra Classic区块链的治理批准功能，包括治理提案的最低初始存款、Cosmos SDK v0.45.13和Tendermint v0.34.24。这是第二个利用升级治理提案机制来升级链的主要版本。该提案将在区块高度12,812,900（或大概UTC时间5月17日14:03:32）停止链。如果该提案通过，届时所有全节点和验证者需要安装并运行升级版本v2.0.0，才能继续运行。（Bitcoinist）[2023/5/7 14:48:03]
安全团队：4月近41个黑客攻击盗取9340万美元:金色财经报道，派盾（PeckShield）监测显示，2023年4月，约有41个黑客攻击盗取9340万美元。截止4月30日，1245枚ETH与2515枚BNB被转入Tornado Cash，203枚ETH转入Fixed Float。此外，jaredfromsubway.eth从涉及PEPE的三明治攻击中获得至少140万美元收益。[2023/5/1 14:36:51]
由于保持了相当程度的以太坊主网兼容性，Cairo和Solidity编写的智能合约之间的转换也将更为简易，以太坊客户端Nethermind的转译器Warp已经支持将UniswapV3重写为Cairo代码。实际上，在2022年10月末，StarkNet便宣称使用Cairo开发出ZK-EVM，而在接下来随着StarkNet的真正投入生产环境，这种兼容性的实际效果便可一验真伪。新芽：基于Rust的平衡特性
Moonsama赢得第42轮波卡平行链插槽拍卖:4月3日消息，Polkadot（波卡）官方在推特上宣布，NFT生态系统Moonsama赢得第42轮波卡平行链插槽拍卖。
据悉，Moonsama寻求释放NFT作为Web3空间中真正实用元素的潜力，通过开发基础设施和实用解决方案，加速NFT驱动的应用程序进入市场。Moonsama网络上的原生资产和收藏品现在受益于跨链通信和与Moonsama的多元宇宙门户集成。[2023/4/3 13:42:08]
事实上，Cairo本身可以视为Rust语言写就的语言，其继承了较多的Rust特性。Rust本身不同于Python/Go等所谓的现代语言，其运行效率高度接近于较为底层的开发语言，但同时又兼顾了可读性，比如特殊的内存管理机制——所有权和借用等特殊设计。准确而言，Cairo/Rust的所有权是指管理内存的显性要求，由于区块链特殊的节点运行机制，其是典型的内存敏感性开发环境，以C/C++、Java为例，目前主流有三种内存资源利用机制：C/C++：手动管理内存，得益于现代设备的进步，大多数开发者并未养成及时释放内存的习惯，会造成严重的资源浪费；Java：自动回收资源机制，JVM是Java运行时的虚拟机，其具备自动管理内存的功能，但一般为保证运行效率，JVM会保持一段的内存资源，也会造成供需不匹配的问题；Cairo/Rust：所有权机制管理内存资源，Rust中的任何变量必须指定所有者，并且一次仅能有一个，当变量执行后即被释放，不能继续存在内存中。这样的所有权机制设计可以保证宝贵的内存资源仅在执行时调用，即可以兼顾C/C++的运行效率，但又避免了内存泄漏等问题，内存资源无需时刻准备着，对于减轻智能合约的整体大小具有重要意义。其次是强类型的思路，Cairo/Rust涉及众多智能合约的编写和运行，而其上承载的都是高价值的Token、NFT以及个人数据，需要特殊对待，并且每次改变都需要慎重对待。强类型语言和弱类型语言是相对于变量的定义而言的，简单而言，强类型要求变量在使用前进行“数据类型"方面的定义，如整数、浮点数、字符串等，未经明确的类型变换操作，不可随意更改其定义。弱类型语言并无此严格规定，变量的数据类型可灵活改变。在智能合约的编写中，资产类型和数量必须被显性对待，以确保其归属权清晰和交易、转换等流程明确，而Cairo/Rust的可读性强，其对开发者较为友好，便于避免更多的安全问题。
CoinShares报告：上周加密基金资金流出总额为 500 万美元:金色财经报道，根据CoinShares周一发布的资金周报，加密基金上周的资金外流总额为 500 万美元，这主要得益于“空头”投资产品的大量赎回，即旨在从价格下跌中获利的产品。CoinShares 研究主管 James Butterfill 表示：“这表明市场情绪仍然乐观。”
比特币投资产品连续第 4 周流入总计 1200 万美元，而空头比特币投资产品的流出总额达到创纪录的 1500 万美元。这些流出占管理总资产规模 (AuM) 的 10%，是前几周的两倍。以太坊投资产品上周出现总计 220 万美元的小额资金外流，分析师表示，这突显出合并后投资者持续的犹豫情绪。[2022/10/11 10:30:21]
按照官方进度，Cairo1.0的编译器将在今年一季度面世，届时，将和StarkNet进行更深度的融合，而借助Rust的语言特性，有望从底层提高执行速度，从而将其TPS抬升到日常可用的水平。重生：开发者友好
Lido提议停止在Terra Classic上维护Lido:6月9日消息，Lido发布提案建议停止在Terra Classic上维护Lido，并且目前Terra Classic上的委托和市场模块已被禁用。Lido打算在6月14日将该提案提交给DAO投票，两个选项分别为关闭Terra Classic上Lido和stETH-Anchor集成，不要关闭或者重新进行评估。5月25日，Lido Finance关于是否应该支持Terra重启的社区投票结束，94.57%的LidoDAO成员投票不支持Terra重启。[2022/6/9 4:14:43]
Cairo1.0肩负着打通L2和以太坊主网的重任，根据其官方的Regenesis计划，StarkNet将在2023年一季度完全过渡到Cairo之上，结束目前的割裂状态，从而进入生态竞争的新发展阶段。
而缺乏真正杀手级的应用，再叠加上dYdX等头部项目的出走，StarkWare的晋级之路仍然布满荆棘。在目前的公链/L2/dApp开发格局中，Solidity占据了近98%的垄断地位，而Cairo仅占据不到1%的市场空间，基本上目前只有StarkWare能够支撑起运行。自从StarkNet和StarkEx设立以来，由Cairo驱动的dApp已经处理了超过3亿笔交易，铸造了超过6500万个NFT，并处理了价值7000亿美元的交易，并且这些交易都利用以太坊上作为最终结算层。在Cairo1.0真正应用至StarkNet之前，开发者的体验是争夺其进入StarkWare生态的第一步，除Nethermind的Warp支持之外，ConsenSys也和StarkWare达成合作，将为Cairo提供智能合约提供安全审计服务。根据官方说明，目前Cairo0的各项功能开发进度如下，我们也可从中参照Cairo1.0的发展方向，并且说明StarkWare将会遵循将全部StarkNet开源的计划，Cairo将是其开迈出的第一步。相关阅读：盘点StarkWare生态：StarkEx共7个应用，StarkNet105个生态项目
可以从中发现，Cairo的功能开发进度较快，并且预计实现的功能也较多，而StarkNet也将在Cairo实现后补齐目前的功能缺口，而最终实现StarkNet系统级调用的全功能模块。目前可以适当参考下StarkEx的数据，不同于StarkNet的通用化路线，StarkEx面向主要几个大型项目，包括ImmutableX、Sorare、Rgino.Fi和dYdX，使用过服务的用户数达2千万人次，日均月活在数万量级。
借助和成熟的DeFi和链游进行合作，StarkEx的市场化之路整体较为顺利，但是StarkNet将作为通用Layer2参与各个L2竞争之中，Cairo将有望进一步带动StarkNet市场占有率的提升。结语
Cairo1.0并非简单作为语言更新，而是要承担更为丰富的角色，包括激活StarkNet的EVM兼容性和执行效率，通过借助Rust成熟的编程范式，如所有权、强类型等，减轻了开发难度。同时需要注意，Cairo1.0仍有些未完全实现的功能，其完全状态可能需要更长的开发周期，其代币发行时间也会随之进行调整。总之，Cairo在结束StarkNet目前的“非完全”版具有重要意义，结合Sierra、编译器等新工具，以及和主流开发工具的结合，显著减少开发者在其上编写智能合约的压力。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。