完成端到端形式化验证，leanVM助力以太坊全面后量子安全过渡目标定于2028年12月
以太坊基金会研究员 Justin Drake 于 11 月 3 日宣布，leanVM 已实现端到端形式化验证。leanVM 是一种极简 zkVM，用于高效聚合基于哈希的后量子签名，并将多重签名打包为紧凑证明，每秒可处理超过 1000 次 leanXMSS 聚合；leanXMSS 是计划在共识层替代 BLS 的基于哈希的签名方案。Drake 在 Devcon 8 上将以太坊全面过渡至后量子安全的目标时间调整至 2028 年 12 月，以便为过渡所需的网络分叉留出空间。
以太坊基金会研究员 Justin Drake 于 11 月 3 日宣布，leanVM 已实现端到端形式化验证。leanVM 是一种极简 zkVM，用于高效聚合基于哈希的后量子签名，并将多重签名打包为紧凑证明，每秒可处理超过 1000 次 leanXMSS 聚合；leanXMSS 是计划在共识层替代 BLS 的基于哈希的签名方案。Drake 在 Devcon 8 上将以太坊全面过渡至后量子安全的目标时间调整至 2028 年 12 月，以便为过渡所需的网络分叉留出空间。
相关阅读
以太坊的leanVM完成端到端形式化验证，全面后量子安全过渡目标定于2028年12月
据CryptoBriefing报道，以太坊基金会研究员Justin Drake于11月3日宣布，leanVM已实现端到端形式化验证。leanVM是一种极简zkVM，用于高效聚合基于哈希的后量子签名，将多签名打包为紧凑证明。性能上，leanVM每秒可处理超过1000次leanXMSS聚合；leanXMSS是计划在共识层替代BLS的基于哈希的签名方案。 在Devcon 8上，Drake将以太坊全面过渡至后量子安全的目标时间调整至2028年12月，以便为过渡所需的网络分叉
Shopify和Coinbase合作在Base上开发稳定币支付协议Commerce Payments Protocol
据CryptoBriefing报道，Shopify与Coinbase宣布联合开发Commerce Payments Protocol，用于在Base上进行稳定币支付。该协议旨在简化Shopify Payments商户接受USDC等稳定币的流程，允许客户从支持的钱包付款而无需ETH支付gas费，商户则可选择以本地货币或USDC收款。
Aave Pro开放Aave V4抵押品兑换功能，覆盖以太坊、Base和Avalanche市场
Aave 在 X 平台发文表示，Aave V4 的以太坊、Base 和 Avalanche 市场现已在 Aave Pro 开放抵押品兑换功能。用户可在不平仓的情况下将抵押资产兑换为其他资产，该功能由@CoWSwap 提供支持。