Starknet公布Cairo短期路线图，v2版将引入增强安全性的合约语法

6月29日消息，编程语言 Cairo 公布其路线图，为了社区便利性，创建公共板以描述即将推出的一些新功能；很快将推出新的合约语法，与 Starknet alpha v0.12.0 一起发布，需要进行一些代码更改，很大程度上丰富了智能合约语言；通过 Cairo 1.1.0 在 Starknet 主网上的推出以及即将到来的 v2 版本，已经达到了语言成熟度的一个重要里程碑。文档、书籍和 Starknet Discord 等资源足够帮助用户开始并从 Cairo 0 迁移。 随着新合约语法的发布，Cairo 现在足够稳定和丰富，足以支持复杂的应用程序，并移植现有的 Cairo 0 逻辑。此外，Starknet 的向后兼容性保证确保即使语言发生重大变化，用户也将有足够的时间（至少六个月）来完成合约的开发或审核和部署。

9月28日消息，Starknet宣布其编程语言Cairo V2.3.0版本引入组件（component），这是Cairo通过附加功能、存储和事件将合约模块化的方式。

金色财经报道，BounceBit宣布将对其CeDeFi和BounceClub产品线进行全面升级，推出V2版本。 CeDeFi V2计划于今年第四季度首次发布，主要更新包括引入CeDeFi SaaS服务、提供自动和手动两种产品模式、扩展支持的投资策略、优化订阅和赎回规则、简化用户操作流程等。 BounceClub V2将于今年第三季度推出，新增BTCfi模块简化比特币存储和质押流程，引入AI Club允许用户创建和交互AI代理，增强DeFi功能，新增Meme代币发射台和Arcade游戏化模块。

金色财经报道，StarkNet 宣布推出 Cairo 1.0-alpha.2 版本，其新功能包括：词典、合约中的事件、映射存储变量、特征支持、类型推断和方法。目前，团队正致力于使 Cairo 1.0 与之前的 Cairo 完全兼容，并开发支持在 Cairo 1.0 中编写合约的 StarkNet v0.11.0。

5月29日消息，Polygon Labs核心开发人员宣布，区块链聚合层AggLayer将使用SP1（一种支持标准Rust的通用zkVM，并使用Plonky3作为其证明系统）来生成AggLayer的一个关键组件，称为悲观证明（pessimistic proof），这是一种用于确保AggLayer安全的零知识证明（ZKP）方法。

2月12日消息，Smart Layer官方在社交媒体上发文表示，其发布了改进版ERC-404，增强了安全性和用户体验，同时将用例扩展到NFT之外。据悉，该改进基于ERC-404V2，并将ERC-5169和TokenScript合并到ERC-404代币中作为代币前端。将为代币持有者提供对ERC-20和ERC-721代币传输更强的可见性和控制力，并启用ERC-404会员资格和ERC-404帐户等高级用例。