很自豪地宣布ZKP安全领域的第一个里程碑！ZKSync的链上zk验证器是第一个经过正式验证的真实zk验证器。 这一突破性结果证实了验证器的完整性，同时展示了我们对ZKP安全的承诺。 祝贺@NethermindSec的正式验证团队推动了这一突破性的成就！