В последнее время многие обсуждают, как по-настоящему внедрить ИИ-агентов в бизнес и безопасно перемещать деньги. Как раз наткнулся на пост GOAT Network, посвящённый Ziren — машине для создания доказательств, лежащей в основе биткоин-моста.
@GOATNetwork хочет создать инфраструктуру для платежей и коммерции с участием ИИ-агентов. В конечном счёте безопасность обеспечивает сам биткоин. Речь не о том, чтобы просто повесить ярлык «биткоин L2», а о том, чтобы биткоин действительно стал расчётным уровнем.
Сам биткоин не поддерживает сложные транзакции, поэтому нужен мост. Монеты блокируются в сети биткоина, а в другой сети используются соответствующие им активы.
Главный вопрос — кто решает, «можно ли вывести эти деньги». GOAT Network использует BitVM3: после вывода есть как минимум неделя, в течение которой любой может оспорить транзакцию. Споры решаются в сети биткоина, а не за счёт доверия к какой-то группе с мультиподписью или комитету.
За каждым выводом стоит доказательство того, что операция выполнена по правилам. Это доказательство создаёт Ziren.
Ziren — это собственная zkVM, разработанная командой. Проще говоря, её можно представить как нотариальную машину: вы запускаете программу, а она выдаёт короткое доказательство. Другим не нужно заново выполнять всю программу — они могут быстро убедиться, что всё было сделано правильно.
Почему они решили создать собственную систему, а не воспользоваться готовой?
Потому что безопасность моста напрямую зависит от этого доказательства. Если с ним возникнут проблемы, биткоины в мосту могут оказаться под угрозой. Поэтому для GOAT Network надёжность доказательства важнее его скорости.
Набор инструкций тоже зафиксирован и не меняется произвольно — так обновления не обесценивают предыдущие аудиты и тестирование.
GOAT Network также провела немало открытых проверок: опубликовала техническую статью, разместила на Ethproofs публичные доказательства корректности блоков Ethereum, прошла независимый аудит и тестирование на устойчивость к атакам, запустила программу вознаграждения за найденные ошибки и даже создала формально проверяемое с помощью Lean доказательство. Ziren 2.0 также развивается в направлении защиты от квантовых атак.
Для @GOATNetwork это означает, что происходящее в сети, включая платежи между ИИ-агентами, в конечном счёте может унаследовать безопасность биткоина. Мост нужен не просто для перемещения монет — он позволяет биткоину стать настоящим расчётным уровнем.
Безопасность моста зависит не только от механизма оспаривания, но и от надёжности самой машины для создания доказательств. GOAT Network разработала её самостоятельно, сама отвечает за неё и продолжает открыто проверять — чтобы сделать этот элемент как можно более контролируемым. Если вам интересно, загляните на их сайт и ознакомьтесь с соответствующими публикациями.
@GOATNetwork хочет создать инфраструктуру для платежей и коммерции с участием ИИ-агентов. В конечном счёте безопасность обеспечивает сам биткоин. Речь не о том, чтобы просто повесить ярлык «биткоин L2», а о том, чтобы биткоин действительно стал расчётным уровнем.
Сам биткоин не поддерживает сложные транзакции, поэтому нужен мост. Монеты блокируются в сети биткоина, а в другой сети используются соответствующие им активы.
Главный вопрос — кто решает, «можно ли вывести эти деньги». GOAT Network использует BitVM3: после вывода есть как минимум неделя, в течение которой любой может оспорить транзакцию. Споры решаются в сети биткоина, а не за счёт доверия к какой-то группе с мультиподписью или комитету.
За каждым выводом стоит доказательство того, что операция выполнена по правилам. Это доказательство создаёт Ziren.
Ziren — это собственная zkVM, разработанная командой. Проще говоря, её можно представить как нотариальную машину: вы запускаете программу, а она выдаёт короткое доказательство. Другим не нужно заново выполнять всю программу — они могут быстро убедиться, что всё было сделано правильно.
Почему они решили создать собственную систему, а не воспользоваться готовой?
Потому что безопасность моста напрямую зависит от этого доказательства. Если с ним возникнут проблемы, биткоины в мосту могут оказаться под угрозой. Поэтому для GOAT Network надёжность доказательства важнее его скорости.
Набор инструкций тоже зафиксирован и не меняется произвольно — так обновления не обесценивают предыдущие аудиты и тестирование.
GOAT Network также провела немало открытых проверок: опубликовала техническую статью, разместила на Ethproofs публичные доказательства корректности блоков Ethereum, прошла независимый аудит и тестирование на устойчивость к атакам, запустила программу вознаграждения за найденные ошибки и даже создала формально проверяемое с помощью Lean доказательство. Ziren 2.0 также развивается в направлении защиты от квантовых атак.
Для @GOATNetwork это означает, что происходящее в сети, включая платежи между ИИ-агентами, в конечном счёте может унаследовать безопасность биткоина. Мост нужен не просто для перемещения монет — он позволяет биткоину стать настоящим расчётным уровнем.
Безопасность моста зависит не только от механизма оспаривания, но и от надёжности самой машины для создания доказательств. GOAT Network разработала её самостоятельно, сама отвечает за неё и продолжает открыто проверять — чтобы сделать этот элемент как можно более контролируемым. Если вам интересно, загляните на их сайт и ознакомьтесь с соответствующими публикациями.
