形式化验证是扩展安全 zkVM 的关键。 我们很自豪地分享我们最新的以太坊基金会资助项目，探讨 Verus 如何让 zkVM 的正确性证明更实用，同时显著降低证明复杂性。 团队干得漂亮