ZKsync Airbender Prime доказывает блоки Ethereum за 10 секунд
Новый прувер Airbender Prime от ZKsync доказал блоки Ethereum менее чем за 10 секунд с помощью одного графического процессора. Виталик Бутерин говорит, что разработка zkEVM теперь должна сместить акцент со скорости на безопасность.
Если скорость создания доказательств больше не является решающим фактором, какой новый стандарт будет отличать конкурирующие zkEVM? Формальная верификация может подтвердить, что система соответствует собственной спецификации, но не может гарантировать, что эта спецификация учитывает все реальные атаки. Кто решает, когда прувер доказал, что он достаточно безопасен для защиты активов на миллиарды долларов?
https://www.bonuz.xyz/en/blog/zksync-airbender-prime-zk-prover-ethereum
Новый прувер Airbender Prime от ZKsync доказал блоки Ethereum менее чем за 10 секунд с помощью одного графического процессора. Виталик Бутерин говорит, что разработка zkEVM теперь должна сместить акцент со скорости на безопасность.
Если скорость создания доказательств больше не является решающим фактором, какой новый стандарт будет отличать конкурирующие zkEVM? Формальная верификация может подтвердить, что система соответствует собственной спецификации, но не может гарантировать, что эта спецификация учитывает все реальные атаки. Кто решает, когда прувер доказал, что он достаточно безопасен для защиты активов на миллиарды долларов?
https://www.bonuz.xyz/en/blog/zksync-airbender-prime-zk-prover-ethereum