Herodotus和StarkWare推出Cairo验证器，以扩展Starknet上的第3层

金色财经报道，技术公司Herodotus发布了其链上累加器，该累加器使用存储证明加密技术，允许用户在不需要第三方的情况下验证以太坊区块链上任何时刻的数据。该解决方案采用了StarkWare的STARK证明技术。

9月11日消息，零知识证明技术开发公司StarkWare宣布编程语言Cairo1.0版本，核心将是中间表示层（intermediary representation layer）Sierra，可增强可用性、安全性和便利性，支持StarkNet的无许可网络要求，并将简化和保护协议，目前开发已经在进行中，预计第一个版本将很快发布。 此外Cairo1.0也会影响Regenesis，StarkWare将在未来几周内发布有关Regenesis的更多信息。 注：Cairo语言是StarkNet的原生智能合约语言，于2020年推出。

金色财经报道，以太坊Layer 2开发公司StarkWare总裁Eli Ben-Sasson透露，他们正在开发的以太坊Layer 2扩展解决方案StarkEx和StarkNet即将迎来两个重要里程碑：首先是发布StarkNet原生智能合约语言升级版Cairo 1.0，该语言现在已经完成开发，预计在2022年底前推出；之后，该团队还将在名为“Regensis”的以太坊主网上重新启动StarkNet，旨在提高网络DoS攻击保护能力并降低gas费用。 此外，Eli Ben-Sasson表示原定于9月的原生Token发行计划已被推迟，因为他们希望在Solidity合约方面做得更好一点，因此StarkWare原生Token将在10月内上链。不过，Eli Ben-Sasson指出他们在初始阶段不会为用户提供免费Token，所有Token会在发布后立即锁定。Eli Ben-Sasson还透露，StarkWare很快会宣布成立基金会并由其负责Token分配和分发。（decrypt）

11月25日消息，StarkWare宣布开源其编程语言Cairo 1.0，作为StarkNet堆栈开源的第一步。StarkNet尚不支持Cairo 1.0，将于明年第一季度支持。Cairo 1.0编译器的首个版本计划于明年第一季度初推出，重点在Cairo 1.0中支持StarkNet的所有现有功能，也正在扩展Cairo1.0编译器功能。

6月13日消息，StarkWare 在 X 平台发文称，StarkWare 提供了一系列扩展解决方案来满足各种需求，Starknet 上的 L3 即将推出，L3 与 Appchain 类似，但对开发人员和用户的费用和成本的降低幅度更大。

10月26日消息，零知识证明技术开发公司 StarkWare 发推表示，StarkNet 使用编程语言 Cairo 语言写出了 ZK-EVM，将于明天邀请以太坊联合创始人 Vitalik Buterin、ZK-STARK 合作发明者 Eli Ben-Sasson、StarkWare 成员 Shahar Papini 等人进行 Twitter Space。