新たな地平線：Nethermind が EasyCrypt を用いて ZKsync のオンチェーン検証器を形式的検証

Nethermind Security が EasyCrypt を用いて行った ZKsync の検証器の形式的検証について掘り下げます。ライブのゼロ知識証明システムとして初となる取り組みで、ブロックチェーン技術の信頼性と安全性を高めます。

2025年9月10日