Algorand声称成为首个使用Python作为原生编程语言的L1区块链

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

金色财经报道，Algorand Foundation在其官方推文中表示，将于第四季度推出开发人员工具套件Algokit 2.0，将纯Python开发引入Algorand。 该组织表示，Python是世界上最流行的编程语言之一，具有逐行调试功能，是区块链构建的未来。

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

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

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

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