【CertiK完成对蚂蚁集团可信执行环境HyperEnclave的先进形式化验证】

【CertiK完成对蚂蚁集团可信执行环境HyperEnclave的先进形式化验证】2023年07月26日10点22分老不正经报道，CertiK宣布完成对蚂蚁集团开放式跨平台可信执行环境（TEE）HyperEnclave的先进形式化验证。蚂蚁集团的可信原生技术团队开发了开放跨平台软件可信执行环境HyperEnclave，旨在提高蚂蚁集团隐私保护计算工作负载的效率和兼容性。CertiK通过其独有的先进形式化验证技术，验证了HyperEnclave核心组件的安全性和技术正确性。

【Alchemy已开源用Rust编写的ERC-4337 bundler实现Rundler】

【Alchemy已开源用Rust编写的ERC-4337bundler实现Rundler】2023年10月01日01点22分10月1日消息，区块链开发平台Alchemy发文称，已开源用Rust编写的ERC-4337bundler实现Rundler（RustBundler），以加快向智能账户过渡。Rundler具有高性能、高可靠性、模块化等特点。Rundler用于为Alchemy的BundlerAPI端点提供支持，Alchemy团队仍在继续开发添加新功能，其中包括集成或分布式部署、精确Gas估算、重组处理、大Bundle构建雨交易可靠性、可替代内存池。在路线图中，Rundler将构建P2P内存池、替代内存池、EntryPointv0.7与多版本支持、签名聚合、区块构建者集成。