Automata Network 恭喜 LineaBuild 团队成为首个完全证明以太坊核心逻辑的 zkEVM,并期待通过实施多方验证和可信执行环境技术来增强 Linea 的稳健性。
100% 证明,完全验证。
恭喜 @LineaBuild 团队成为第一个完全并直接证明以太坊核心逻辑的 zkEVM ✧
期待通过实施带有多方验证(Multi-Prover)和可信执行环境(TEE)的技术,进一步增强 Linea 的稳健性。
100% proven, fully verified. Congrats to the @LineaBuild team for becoming the first zkEVM to fully and directly prove Ethereum’s core logic ✧ Looking forward to further enhancing Linea's robustness by implementing a Multi-Prover with TEEs.