BlockPQR изучает конфиденциальные контракты агентов ИИ на Midnight

BlockPQR сформировала команду для исследования инфраструктуры блокчейна для автономных агентов ИИ, при этом среди рассматриваемых технологий находятся конфиденциальные смарт контракты Midnight.

Во время обсуждения в X Space Decentralizing Cardano’s Core Development Леонард Хегарти изложил исследование того, что он описал как протокол экономики на основе агентов. Инициатива изучает, как автономные программные агенты могут находить сервисы, согласовывать соглашения, управлять транзакциями и выполнять задачи с использованием инфраструктуры блокчейна.

Исследование охватывает Cardano Layer 1, технологии Layer 2 и Midnight. Хегарти также отметил потенциальные области применения инструментов инжиниринга с высокой степенью надежности в среде смарт контрактов Compact на Midnight.

BlockPQR определяет пять базовых элементов для экономики агентов ИИ

BlockPQR является одной из независимых инженерных организаций, которые берут на себя ответственность за ключевую инфраструктуру Cardano, ранее поддерживавшуюся внутри Input Output. Ее обязанности включают разработку реестра, формальные спецификации, API и инструменты командной строки, а также инжиниринг с высокой степенью надежности.

Помимо этих функций, Хегарти подтвердил, что BlockPQR создала команду, изучающую существующие протоколы и инфраструктуру для автономных агентов ИИ.

Исследование сосредоточено на пяти взаимосвязанных возможностях:

• Обнаружение: Позволяет агентам идентифицировать других агентов, сервисы и доступные ресурсы.

• Согласование: Установление соглашений и условий транзакций между автономными участниками.

• Эскроу: Управление активами в соответствии с заранее заданными условиями до их разблокирования.

• Репутация: Оценка участников на основе записей предыдущих взаимодействий или проверяемой информации.

• Исполнение агентами: Выполнение санкционированных задач и транзакций.

В совокупности эти функции представляют направления, которые BlockPQR изучает как часть возможной экономической инфраструктуры на основе агентов.

Хегарти специально включил конфиденциальные контракты Midnight в число изучаемых технологий наряду с базовым слоем Cardano и решениями Layer 2.

Однако он не объявил о завершенном протоколе, не указал, какие функции будут работать на Midnight, и не предоставил график внедрения.

Почему конфиденциальные смарт контракты Midnight важны

Midnight предоставляет программируемую архитектуру конфиденциальности, которая позволяет приложениям отделять публично проверяемую информацию от чувствительных данных, хранимых вне публичного реестра.

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

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

Система на основе агентов может нуждаться в проверке прав доступа, лимитов на транзакции или договорных условий без публикации каждого исходного параметра. Архитектура Midnight предоставляет механизмы для отделения приватных входных данных от публичной информации, необходимой для валидации операции.

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

Тем не менее контракты, сохраняющие конфиденциальность, не устанавливают автоматически, что агент ИИ заслуживает доверия или что задача вне цепочки выполнена корректно.

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

BlockPQR не публиковала техническую архитектуру, объясняющую, как эти компоненты будут связаны с Midnight.

[NEWSBREAK]

BlockPQR рассматривает формальную верификацию для Compact

Вторая область развития возникла из обсуждения Хегарти обязанностей BlockPQR в части инжиниринга с высокой степенью надежности.

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

Хегарти упомянул будущие инструменты, такие как Blaster, и обсудил возможность расширения возможностей верификации за пределы существующих сред Cardano, потенциально включая Compact на Midnight.

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

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

Однако Хегарти не подтвердил, что Blaster в настоящее время поддерживает Compact, или что BlockPQR завершила формальную верификацию каких либо контрактов агентов ИИ на основе Midnight.

Эти замечания указывают на возможное будущее направление, а не на доступный инструмент разработки.

Что подтвердил BlockPQR

Ключевым итогом, подтвержденным в ходе обсуждения, стало создание в BlockPQR внутренней команды, исследующей инфраструктуру для автономных агентов ИИ.

Исследование охватывает Cardano Layer 1, системы Layer 2 и конфиденциальные смарт контракты Midnight. Пять областей, выделенных Хегарти, дают начальную рамку для понимания рассматриваемых технических возможностей.

Отдельно компания изучает, как инструменты инжиниринга с высокой степенью надежности в конечном итоге смогут поддерживать дополнительные среды смарт контрактов, включая Compact.

Взаимосвязь между этими двумя инициативами формально не определена. BlockPQR не объявляла о специальном агентском протоколе для Midnight, публичном репозитории, рабочей демонстрации или дате релиза.

На данный момент Midnight остается одной из технологий на этапе оценки, пока BlockPQR исследует, как автономные агенты могут взаимодействовать через инфраструктуру блокчейна. Заявление Хегарти определяет масштаб этого исследования без обязательств компании по конкретной реализации.