airbender

Сегодня Виталик особо похвалил Airbender от ZKsync: по его мнению, гонка за скоростью завершена.
В официальном блоге (13 октября) утверждается, что Airbender Prime на одной NVIDIA RTX PRO 6000 Blackwell доказал 99% из 7200 последовательных блоков основной сети $ETH менее чем за 10 секунд (включая witness), а все остальные — не более чем за 12 секунд; также он занимает верхние строчки публичного рейтинга ETHproofs. По словам команды, это «первый, насколько нам известно, prover для Ethereum, способный создавать доказательства в реальном времени на одной видеокарте».
Главный акцент Виталика не на том, чтобы хвастаться скоростью, а на смене темы: главным приоритетом zkEVM должна стать безопасность — формальная верификация эквивалентности арифметизации спецификации Ethereum, жёсткий верхний предел стоимости доказательства относительно газа блока и безопасность самой системы доказательств. Ветка с Hash STARK и RISC-V, а официальный блог вдобавок продвигает нарратив об устойчивости к квантовым компьютерам. Показатели скорости $ZK уже достаточно убедительны; в следующем раунде посмотрим, кто осмелится показать свою работу по безопасности.