StarkWare：StarkNet 用编程语言 Cairo 语言写出了 ZK-EVM

金色财经报道，区块链开发公司 Starkware 开源了其编程语言 Cairo 的新版本，Cairo 支持 Starkware 的Layer 2网络 StarkNet 和 StarkEx。根据一份声明，这是该语言自创建以来的第一个主要版本，新版本将很快被引入 StarkNet。

金色财经报道，zkSync宣布，为了让开发者更容易使用zkSync 2.0的功能，ZkSync新增加了Java、Go和Python编程语言集成到其SDK中。

7月19日消息，以太坊Layer 2扩容解决方案zkSync公告表示，zkSync 2.0测试网现已支持以太坊编程语言Vyper 0.3.3。此外，zkSync表示将于本周晚些时候发布另一则公告。

7月11日消息，区块链安全机构 Halborn 在 Twitter 上表示，在审计 Cadence 语言期间发现 Flow 编程语言 Cadence 中的高危漏洞，该漏洞使得 Cadence 可以允许访问被销毁的资源。该漏洞产生的原因是由于当资源被销毁时，解释器不会使对资源的引用无效，从而使得可以调用被销毁资源上的函数。目前 Cadence 解释器已更新，以便在创建对可选项的引用时检查内部值的类型。

9月22日消息，在由万向区块链实验室主办的第八届区块链全球峰会上，以太坊扩容解决方案StarkWare联合创始人兼总裁Eli Ben-Sasson表示，STARK数学技术能够让人们相信，即使没有监管，也不需要监督计算的每一步，合约都会保证正确的执行。一台性能有限的计算机，可以监督并声明大量计算集群的可靠性，并且无需重新执行计算，这就是这项技术为什么会和区块链有关系。 Ben-Sasson称，StarkWare采用的方法是基于数学的证明，也就是有效性证明的方式，StarkWare要实现的目标是能够让任何人运行非常庞大的计算机，并且处理相关的事情，然而做执行的一切事情都必须向L1进行证明。如果想要获得最大的可扩展性，实际上需要使用能够释放其潜力的编程语言。

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