Автономные агенты переходят от экспериментов к инфраструктуре. Мы рады сотрудничать с @Kassai_ai, чтобы исследовать, как криптографическая верификация может обеспечить безопасность поведения агентов. Речь идет о том, чтобы действия агентов были доказуемыми, а не просто исполняемыми: 🧵

2/ Kassai строит распределенную сеть вывода, которая работает на краю. Вместо того чтобы сосредотачивать вычисления в централизованных дата-центрах, Kassai активирует неиспользуемые потребительские GPU, чтобы сформировать глобально распределенный, с низкой задержкой слой выполнения для агентных систем. Этот дизайн приоритизирует устойчивость, экономическую эффективность и суверенитет.

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

4/ Лагранж устраняет этот разрыв, добавляя проверку во время выполнения. С помощью DeepProve действия агентов могут генерировать доказательства с нулевым разглашением, которые подтверждают, что действие следовало авторизованной логике и действительным входным данным, не раскрывая внутренние рассуждения или конфиденциальные данные. Результат — это доказательство, а не предположение.

5/ Это создает проверяемую цепочку выполнения для агентов, работающих на распределенной инфраструктуре: • Принятие решений • Вызов инструментов • Вывод модели • Обновления состояния • Внешние действия Каждый шаг может быть независимо проверен другими агентами, приложениями или логикой принуждения.

6/ В этой модели доверие больше не возлагается на агента или оборудование, на котором он работает. Доверие возлагается на криптографические доказательства, которые подтверждают правильное поведение. Kassai предоставляет исполняемую среду. Lagrange предоставляет уровень доказательства, который делает это исполнение подотчетным.

7/ Поскольку агентные системы начинают координировать экономическую деятельность, управление и реальные операции, верификация становится обязательной. Автономия в больших масштабах требует доказательства. Это направление, к которому движутся Лагранж и Кассаи.