返回

以太坊研究发布形式化证明，推进跨域状态验证

这项 Isabelle/HOL 工作将保全映射形式化为一个范畴，并证明了跨链广度上的自然投影，为桥接、rollup 退出和结算系统提供了可复用的验证基础。

ETH

摘要

正在验证可靠性

术语与概念

此主题没有可用的专业术语。