ZKsync Airbender Prime、イーサリアムのブロックを10秒で証明

ZKsyncの新しい証明器「Airbender Prime」は、単一のGPUを使って10秒未満でイーサリアムのブロックを証明しました。Vitalik Buterin氏は、zkEVMの開発は今後、速度からセキュリティへと軸足を移す必要があると述べています。

証明の速度がもはや決め手ではないとすれば、競合するzkEVMを分ける新たな基準は何になるのでしょうか？形式検証によって、システムが自身の仕様に適合していることは確認できます。しかし、その仕様が現実世界のあらゆる攻撃を想定しているとは保証できません。数十億ドル相当の資産を守るのに十分な安全性が証明されたと、誰が判断するのでしょうか？

https://www.bonuz.xyz/en/blog/zksync-airbender-prime-zk-prover-ethereum