HoskinsonがMidnight DeFi向けにMoriartyを紹介

Charles Hoskinsonは、Midnight DeFi向けに構築中のプログラミング言語Moriartyについて、初の具体的なテスト結果を明らかにした。ローン契約がMidnightのゼロ知識中間表現に到達し、そのトランザクションがPreviewネットワークで検証に通過した一方で、言語自体はなお開発中だ。

MoriartyはMidnight DeFiの命令を定義

HoskinsonはMoriartyを、Midnightが計画するDeFiカーネル向けのTuring不完全なインテント言語だと説明した。これは、金融トランザクションが達成すべき内容と満たすべき条件を表現するよう設計されている。

意図的に制限された設計は、プログラムが取り得る振る舞いの幅を狭め、形式的意味論が各命令の実行方法を規定する。Hoskinsonは、レンディング、スワップ、パーペチュアル契約、シンセティック商品の背後にある共通コンポーネントを研究しているが、これらを完成したMoriartyの機能としては提示しなかった。

Midnightはネイティブのネットワーク資産としてNIGHTを用いる。Moriartyはアプリケーション層に位置し、開発者は最終的にNIGHTや他のサポート資産を含むオペレーションを定義できるようになる見込みだ。この言語を用いたプロダクションアプリケーションはまだ発表されていない。

ローン契約がMidnight Previewで検証された

Hoskinsonは、プロジェクトを紹介した時点でMoriartyのリポジトリに596件超のコミットが含まれていたと述べた。最も明確な開発マイルストーンは、Midnightのゼロ知識実行プロセスで用いられる中間表現であるzkIRにコンパイルされたローン契約だった。

「実際にMidnightのpreviewでトランザクションを検証に通すことができた」と彼は述べた。

Previewは開発ネットワークであり、HoskinsonはMoriartyが完成していないと述べた。彼は、MoriartyやNIGHTのDeFiプロダクトの本番リリース日程を発表することなく、Lucasや他のチームメンバーに引き渡すまでにさらに二から四週間の作業が必要だと見積もった。

正当性証明がDeFiコントラクトのリスクに対処

Hoskinsonは、Moriartyはトランザクションにプログラムの正当性の証明を付与することを意図していると述べた。この証明は、トランザクションが受け入れられる前に、提出されたプログラムがその言語で表現された規則に従っていることを示すものだ。

「トランザクションにはプログラムの正当性の証明が伴う」と彼は述べた。

彼はこの設計を、意図された全ての条件を強制できないゼロ知識回路で生じる制約不足のサーキットの問題に結び付けた。欠落した制約により、不正な結果が残りの検証をすり抜け、コントラクトが管理する資金を危険に晒す可能性がある。

今回のPreviewでのテストは、Hoskinsonが説明したコンパイルと検証の経路を裏付けるものだ。次の段階として彼が挙げたのはチームへの引き継ぎであり、Moriartyを個人的なプロトタイプから、Midnight DeFiの開発者が評価し拡張できるインフラへと進めていくことだ。