BlockPQR、Midnight上の機密AIエージェント契約を探る

BlockPQRは、自律型AIエージェント向けのブロックチェーンインフラを調査するためのチームを立ち上げ、検討対象の技術にはMidnightの機密スマートコントラクトも含まれている。

X SpaceのディスカッションCardanoのコア開発の分散化で、Leonard Hegartyは自身がエージェント経済プロトコルと表現する研究の概要を示した。この取り組みは、自律ソフトウェアエージェントがブロックチェーンインフラを用いてサービスを発見し、合意を交渉し、トランザクションを管理し、タスクを実行できる方法を検証している。

この研究はCardanoのLayer 1、Layer 2技術、そしてMidnightにまたがっている。Hegartyはまた、MidnightのCompactスマートコントラクト環境における高信頼性エンジニアリングツールの応用可能性も指摘した。

BlockPQR、AIエージェント経済のための五つの構成要素を特定

BlockPQRは、かつてInput Output内で維持されていたCardanoのコアインフラの責務を引き継いだ独立系エンジニアリング組織の一つである。その責務には、台帳開発、形式仕様、APIおよびコマンドラインツール群、高信頼性エンジニアリングが含まれる。

これらの機能に加えて、BlockPQRが自律型AIエージェント向けの既存プロトコルとインフラを調査するチームを設置したことも、Hegartyは確認した。

この研究は、相互に関連する五つの機能に焦点を当てている。

• 発見: エージェントが他のエージェント、サービス、利用可能なリソースを特定できるようにする。

• 交渉: 自律的な参加者間で合意やトランザクション条件を確立する。

• エスクロー: リリース前に、あらかじめ定めた条件に従って資産を管理する。

• 評判: 過去のやり取りの記録や検証可能な情報を用いて参加者を評価する。

• エージェントの実行: 承認されたタスクやトランザクションを実行する。

これらの機能は、エージェントベースの経済インフラの一部としてBlockPQRが調査している領域を示している。

Hegartyは、CardanoのベースレイヤーやLayer 2ソリューションと並んで、検討対象の技術にMidnightの機密コントラクトを明確に含めた。

しかし、完成したプロトコルの発表や、どの機能がMidnight上で動作するのかの特定、実装のタイムラインの提示は行わなかった。

Midnightの機密スマートコントラクトが関係する理由

Midnightは、アプリケーションが公開検証可能な情報と、パブリック台帳の外部で保持される機微なデータを分離できるようにするプログラム可能なプライバシーアーキテクチャを提供する。

開発者は、Midnightのスマートコントラクト用プログラミング言語であるCompactを用いて、プライベートな情報を取り込みつつ、ゼロ知識証明に依拠して所定の条件を検証できる規則を定義する。

この手法は、機密の商業情報や金融情報を扱う自律エージェントにとっての潜在的な用途を生み出す。

エージェントベースのシステムは、あらゆる基礎パラメータを公開することなく、権限、取引上限、または契約条件を検証する必要がある場合がある。Midnightのアーキテクチャは、処理の検証に必要な公開情報とプライベートな入力を切り分ける仕組みを提供する。

この区別は、ビジネス上機微なデータを伴うやり取りにおいて重要だ。ブロックチェーンでの検証に、契約のあらゆる詳細が公開可能になることを必ずしも要するわけではない。

しかし、プライバシー保護型のコントラクトであっても、AIエージェントが信頼に足ることや、オフチェーンのタスクが正しく完了したことを自動的に担保するわけではない。

ゼロ知識証明は、定義された計算的主張を検証する。エージェントのアイデンティティ確立、権限管理、ブロックチェーン外での活動の検証には、追加のメカニズムが必要となる。

これらのコンポーネントがMidnightとどのように接続されるのかを説明する技術アーキテクチャは、BlockPQRからは公開されていない。

[NEWSBREAK]

BlockPQR、Compactに対する形式検証を検討

HegartyによるBlockPQRの高信頼性エンジニアリング上の責務に関する議論から、第二の開発分野も浮かび上がった。

同社は、重要なブロックチェーンソフトウェアの信頼性向上を目的とした形式仕様と検証手法に取り組んでいる。

HegartyはBlasterのような将来のツールに言及し、既存のCardano環境を超えて検証能力を拡張する可能性、ひいてはMidnight上のCompactを含める可能性について議論した。

形式検証は、ソフトウェアが明示的に定義された特性を満たすかどうかを確認するために数学的手法を用いる。スマートコントラクトにおいては、これらの手法は従来のテストだけよりも選択されたセキュリティ要件に関するより強固な保証を提供し得る。

このような能力は、金融上の権限、取引条件、その他の機微なオペレーションを管理する機密コントラクトに関係してくる可能性がある。

ただし、Blasterが現時点でCompactをサポートしていることや、BlockPQRがMidnightベースのAIエージェントコントラクトの形式検証を完了したことについて、Hegartyは確認していない。

これらの発言は、利用可能な開発ツールというよりも、将来の可能な方向性を示している。

BlockPQRが確認したこと

この議論で確認された中心的な進展は、自律型AIエージェント向けインフラを研究する社内チームをBlockPQRが立ち上げたことだ。

その調査には、CardanoのLayer 1、Layer 2システム、そしてMidnightの機密スマートコントラクトが含まれる。Hegartyが特定した五つの領域は、検討中の技術的能力を理解するための初期的な枠組みを提供する。

別途、同社は、高信頼性エンジニアリング向けツールが最終的にCompactを含む追加のスマートコントラクト環境をどのように支援し得るかを模索している。

これら二つの取り組みの関係は、正式には定義されていない。BlockPQRは、Midnight向けの専用エージェントプロトコル、公開リポジトリ、動作デモ、あるいはリリース日を発表していない。

現時点では、BlockPQRが自律エージェントがブロックチェーンインフラを介してどのように相互作用し得るかを調査する中で、Midnightは評価対象の技術の一つにとどまっている。Hegartyの開示は、特定の実装を会社として約束することなく、その研究の範囲を明確にした。