开拓新境：Nethermind 使用 EasyCrypt 对 ZKsync 链上验证器进行形式化验证

深入了解 Nethermind Security 利用 EasyCrypt 对 ZKsync 验证器进行开创性形式化验证——这是针对零知识证明系统的首例形式化验证，增强了区块链技术的信任与安全。

2025年9月10日