StarkWare：Starknet上的L3即将推出

金色财经报道，Starknet贡献者Herodotus和StarkWare推出了Cairo验证器，Cairo将允许开发人员使用STARK（Starkware 开发的一种证明）在 Starknet Layer 2上实现可验证的计算，以便在Layer 3上运行的应用程序可以使用它们来确保安全。此外，它还旨在解决通常可能限制Starknet上第3层应用程序部署的关键挑战，例如高验证成本和延迟问题。 开发人员表示，这为进一步扩展Starknet上的第3层应用程序专用区块链打开了大门。

7月19日消息，StarkWare 联合创始人 Eli Ben-Sasson 在巴黎 EthCC（Ethereum Community Conference）大会上表示，Starknet 即将推出 Starknet 应用链（Appchains）。Starknet 堆栈包括 Starknet 应用链（Full Appchain as A Service）和 StarkWare 支持，Starknet Appchains 具有可定制性、去中心化等特点。通过创建 Starknet 应用链，应用程序可以为用户提供更好的吞吐量和增强的用户体验。

金色财经报道，Layer 2网络Starknet的开发公司StarkWare在社交媒体发文表示，Starknet上的L2验证即将进行，我们最近与Herodotus合作生产了新的Cairo验证器，它将能够直接在Starknet上验证Cairo证明。

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

7月19日消息，StarkWare联合创始人Eli Ben-Sasson在巴黎EthCC（Ethereum Community Conference）大会上宣布推出开源项目Starknet Foundry。根据Github，Starknet Foundry是用于开发Starknet合约的极速工具包，由Software Mansion的前Protostar团队设计和开发，基于本地Cairo测试运行器和Blockifie用Rust编写。

金色财经报道，以太坊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）