LayerZero发布Akita后量子多项式承诺方案
热点事件历史事件
LayerZero发布Akita后量子多项式承诺方案
2 篇报道1 个报道来源9 天前更新
先了解这件事
报道摘要
LayerZero团队宣布完成针对Jolt字节码扩展的Lean形式化验证，发布机器可检查证明仓库和预印本。证明范围为未实现RISC-V指令的扩展模拟与原程序语义一致，公告将Jolt其余组件列为后续验证工作。
摘自 LayerZero Blog
最新进展10月1日 20:57
LayerZero介绍格基后量子多项式承诺方案Akita事件进展
2 个进展
- 10月1日 20:57 · 1 篇报道LayerZero发布Akita后量子多项式承诺方案LayerZero Blog：LayerZero介绍格基后量子多项式承诺方案Akita
- 9月23日 08:00 · 1 篇报道Jolt字节码扩展完成形式化验证LayerZero Blog：LayerZero 宣布 Jolt 字节码扩展完成形式化验证
报道时间线
沿着报道，了解事件的不同侧面。
10月1日
- LayerZero BlogLayerZero介绍格基后量子多项式承诺方案Akita
LayerZero介绍Akita格基多项式承诺方案，计划用于Jolt等证明系统。发布方称其应用场景下证明大小为65–80kb，较所比较的后量子方案小2–8倍，证明速度相较文中所比较的Jolt配置快2–3倍、内存约减半。
入库时 BTC：暂缺
9月23日
- LayerZero BlogLayerZero 宣布 Jolt 字节码扩展完成形式化验证
LayerZero团队宣布完成针对Jolt字节码扩展的Lean形式化验证，发布机器可检查证明仓库和预印本。证明范围为未实现RISC-V指令的扩展模拟与原程序语义一致，公告将Jolt其余组件列为后续验证工作。
入库时 BTC：暂缺