扫码下载
搜索“Trent Van Epps”共有2条相关结果
Techub News 消息，以太坊核心开发者 Trent Van Epps 在 X 平台发文，就形式化验证在以太坊核心开发中的应用提出三点看法。他指出，当前已有实际工作面临风险，形式化验证并非万能解决方案，且仍需投入人力来管理过渡过程并决定对哪些功能进行验证。（@trent_vanepps）
Techub News 消息，以太坊核心开发者 Trent Van Epps 披露，Glamsterdam 网络升级即将到来，已发布计划纳入的 EIP 改进提案短名单。 以太坊是领先的 Layer1 区块链网络，此次升级旨在优化网络性能与功能。
