Большие поздравления команде @zksync airbender с этим достижением.
На данном этапе я считаю, что борьба за скорость окончательно выиграна, и главным приоритетом для zkEVM должно стать обеспечение безопасности.
Для меня это означает формальную верификацию:
(i) эквивалентности арифметизации спецификации Ethereum
(ii) строгой верхней границы отношения (стоимость генерации доказательства) / (количество газа в блоке)
(iii) безопасности самой системы доказательств
https://firefly.social/post/x/2110011544360607842
На данном этапе я считаю, что борьба за скорость окончательно выиграна, и главным приоритетом для zkEVM должно стать обеспечение безопасности.
Для меня это означает формальную верификацию:
(i) эквивалентности арифметизации спецификации Ethereum
(ii) строгой верхней границы отношения (стоимость генерации доказательства) / (количество газа в блоке)
(iii) безопасности самой системы доказательств
https://firefly.social/post/x/2110011544360607842