Nethermind 的形式验证团队在验证 zkVMs 方面已经积累了相当的专业知识。 我们的使命是使 zk 成为扩展 Ethereum 的一种可信且正确的方法。 我们正在证明 Ethereum 基础设施的新安全级别触手可及。 万亿美元的安全性 🫡