Я постоянно разочарован в коммуникациях по уязвимостям от крупных zkVM.

Одна скрыла критическую уязвимость, отказавшись делиться ею в социальных сетях, вместо этого тихо опубликовала её в своем блоге, пока не было оказано давление на публикацию в соцсетях.

Другая опубликовала критическую уязвимость в социальных сетях, но в очень технических терминах с нулевым описанием влияния на пользователей. (т.е. Это, похоже, нарушает большинство доказательств.)

Это два из самых уважаемых zkVM. Мы используем их в нашей технологии. Но они не общаются открыто и ясно о критических ошибках, которые нарушают их системы доказательства.

Как команда, использующая zkVM для критических функций нашего предстоящего основного сети, это подрывает наше доверие к этим системам и наносит ущерб принятию zkVM в целом.

С @eth_proofs, координирующими инициативы среди двух десятков zkVM в разработке, я надеюсь, что мы сможем достичь лучших стандартов в ближайшее время.