Hoskinson と Lucas Rosa が新たな Cardano 向けプログラミング言語を開発

Charles Hoskinson は10月18日に、Cardano 向けの新たなプログラミング言語を自身で開発していると発表した。Aiken の共同創設者であり Midnight のツールチェーンのアーキテクトである Lucas Rosa を、このプロジェクトの共同開発者に指名した。

Aiken の共同創設者が Hoskinson と共に開発

オンラインでは @rvcas として知られる Rosa は、Aiken を共同創設し、二年半以上にわたってその開発を主導した。プロジェクト履歴によれば、この取り組みには、長期的な保全のために所有権とライセンスを Pragma に移管する前に、言語の機能を設計したことが含まれている。

Aiken は、Cardano のスマートコントラクト向けのプログラミング言語兼開発ツールキットである。開発者はこれを用いて、トランザクションが資産を消費できるか、あるいはその他のコントラクト制御の操作を実行できるかを規定するルールを定義する。

Rosa は現在、Midnight の Tooling Architect を役職として掲げている。彼のバックグラウンドは、コンパイラ、分散システム、アプリケーションインフラにまたがっている。

Hoskinson の発表は、Rosa を協力者として挙げているが、Midnight に組織的な役割を割り当ててはいない。

Intents と Groth16 証明はどのようにつながるか

Intents は、ユーザーが達成したい結果と、それが許容される条件を記述する。たとえばユーザーは、ADA を別のトークンと交換する要求を出し、受け取る最小数量や許容される最大手数料を指定できる。solver と呼ばれる特化した参加者が、実行経路を見つけ出し、これらの条件を満たすトランザクションを構築できる。

proof-carrying data、略して PCD は、定義された規則に準拠していることを示す暗号学的な証拠を伴う情報に関する概念である。この証拠は処理履歴も含めることができ、以前の計算手順がその規則を順守していたことを立証する。受け手は、前段の計算全体を繰り返すことなく、その証明を検証できる。

Groth16 は、検証の複雑さが比較的低いコンパクトなゼロ知識証明を提供する。これにより、証明の生成に用いた秘密の入力を開示することなく、指定された計算が正しく実行されたことを当事者が示すことができる。どのアプリケーションデータが公開のままとなるかは、周辺システムの設計に依存する。

これらの概念を組み合わせることで、アプリケーションは許容可能な結果を表明し、関連する計算条件が満たされたことを示す証拠を検証できるようになる可能性がある。提案されている言語で両者を結び付ける具体的な仕組みについては、まだ説明されていない。

言語を Cardano のバリデータに結び付ける

Cardano には、証明に基づくアプリケーションのための暗号学的な基盤がすでに用意されている。Plutus V3 には、互換性のあるゼロ知識証明の効率的な検証を支える BLS12-381 の演算が含まれている。開発者はこれらのプリミティブを用いて、ブロックチェーンの外部で実行された計算の証拠を検証するコントラクトを構築できる。

検証は実行リソースを消費し、ADA で支払われるトランザクション手数料に影響する。したがって、どのような実装の実用性も、証明システムと検証器、およびワークロードが Cardano のトランザクション制限内に収まるかどうかに左右される。

Hoskinson の投稿では、言語名、リポジトリ、仕様、リリース時期は示されなかった。Aiken や Plutus との関係も未だ不明だ。未解決の統合ポイントは、新しい言語で書かれたプログラムがどのように証明を生成し、それを Cardano のバリデータで利用可能にして、ユーザーが示した条件と決済を認可するコントラクトとを結び付けるのかという点にある。