Расклад сил в сегменте zkEVM изменился. @VitalikButerin считает, что борьба за скорость в основном уже завершилась, и теперь zkEVM должны полностью сосредоточиться прежде всего на безопасности.
@ProjectZKM с проектом Ziren явно уже сделал шаг вперёд. Это первый zkVM, который доказал корректность работы Geth. Кроме того, с помощью Lean4 он обеспечил детерминированность ограничений для 57 VM-чипов и представил 104 доказательства теорем. Как известно, проверка безопасности самой системы доказательств занимает больше всего времени. Работа над безопасностью идёт медленнее и менее заметна, чем оптимизация производительности, но Ziren дальновидно направил сюда большую часть усилий.
Такой выбор важен и разумен. Безопасность превыше всего. Производительность можно нарастить за счёт последовательных инженерных улучшений, но безопасность системы доказательств выстраивается шаг за шагом — с помощью формализации, доказательств теорем и обоснований надёжности. Безопасность — это марафон на выносливость.
@GOATNetwork переносит расчёты в сеть Bitcoin и подключает расчёты на Bitcoin с помощью BitVM3, а Ziren укрепляет фундамент безопасности с помощью zkVM и системы доказательств. Теперь позиция Виталика о том, что безопасность должна быть приоритетом для zkEVM, подтверждает правильность выбранного этим направлением курса.
В перспективе, по мере публикации полного описания проекта, расширения независимого аудита, развития разнообразия клиентских реализаций и формальной верификации, позиции GOAT Network на пересечении биткоин-мостов и zkVM станут ещё яснее. Потенциал проекта основан на инженерном подходе с приоритетом безопасности, единой команде, проверяемой системе доказательств, открытых и прозрачных публикациях исследований, а также на долгосрочном спросе на расчёты в сети Bitcoin. Проект продвигает стандарты безопасности биткоин-мостов в сторону проверяемости, возможности аудита и формальной верификации. Такие проекты заслуживают большего терпения со стороны инвесторов и более пристального внимания.
#LFGoat #GOATNetwork #BTC #l2 $GOATED
@ProjectZKM с проектом Ziren явно уже сделал шаг вперёд. Это первый zkVM, который доказал корректность работы Geth. Кроме того, с помощью Lean4 он обеспечил детерминированность ограничений для 57 VM-чипов и представил 104 доказательства теорем. Как известно, проверка безопасности самой системы доказательств занимает больше всего времени. Работа над безопасностью идёт медленнее и менее заметна, чем оптимизация производительности, но Ziren дальновидно направил сюда большую часть усилий.
Такой выбор важен и разумен. Безопасность превыше всего. Производительность можно нарастить за счёт последовательных инженерных улучшений, но безопасность системы доказательств выстраивается шаг за шагом — с помощью формализации, доказательств теорем и обоснований надёжности. Безопасность — это марафон на выносливость.
@GOATNetwork переносит расчёты в сеть Bitcoin и подключает расчёты на Bitcoin с помощью BitVM3, а Ziren укрепляет фундамент безопасности с помощью zkVM и системы доказательств. Теперь позиция Виталика о том, что безопасность должна быть приоритетом для zkEVM, подтверждает правильность выбранного этим направлением курса.
В перспективе, по мере публикации полного описания проекта, расширения независимого аудита, развития разнообразия клиентских реализаций и формальной верификации, позиции GOAT Network на пересечении биткоин-мостов и zkVM станут ещё яснее. Потенциал проекта основан на инженерном подходе с приоритетом безопасности, единой команде, проверяемой системе доказательств, открытых и прозрачных публикациях исследований, а также на долгосрочном спросе на расчёты в сети Bitcoin. Проект продвигает стандарты безопасности биткоин-мостов в сторону проверяемости, возможности аудита и формальной верификации. Такие проекты заслуживают большего терпения со стороны инвесторов и более пристального внимания.
#LFGoat #GOATNetwork #BTC #l2 $GOATED