🚨 Cardano（ADA）の創設者が、ゼロ知識証明技術を統合した新しいプログラミング言語を自ら開発中 Cardano（ADA）の創設者であるチャールズ・ホスキンソンは、Groth16技術を通じて意図（intents）と証明付きデータ（PCD）をサポートする、ブロックチェーン向けの新しいプログラミング言語を直接開発中であることを明らかにしました。 ホスキンソンは2026年10月18日にXで投稿した内容で、この新言語は、トランザクションの実行意図と検証可能な暗号証明を統合することを目的としており、安全でプライバシーを保護するブロックチェーンアプリケーションの構築に新たなアプローチを提供すると述べています。 🔎 Groth16とは何か？なぜ注目されるのか？ Groth16は、関連するすべてのデータを明かすことなく、ある主張が正しいことを証明できるゼロ知識証明（zero-knowledge proof – ZK）システムです。この技術により、トランザクションやデータの有効性を検証しつつ、すべての入力情報を公開することなく実現できます。 一方、intentsは、ユーザーが取引の実行ステップをすべて自分で指定するのではなく、望ましい結果を記述できるようにします。このアプローチに暗号証明を組み合わせることで、分散型金融（DeFi）、安全な取引、ブロックチェーン上の自動化システムの実現が期待されます。 ⚠️ ADAへの影響：これは開発中の発表であり、既にリリースされた製品ではありません。ホスキンソンは、この新言語の名称、詳細な仕様、リリース時期をまだ発表していません。したがって、CardanoエコシステムやADAの価格への実際の影響は、開発者の採用度、ネットワーク上の需要、実装の成功に依存します。 現在、CardanoはPlutusやAikenといったスマートコントラクト言語をサポートしており、Midnightエコシステムはプライバシー重視アプリケーション向けにCompact言語を開発しています。新しい言語は別の開発方向を追加する可能性がありますが、その具体的な利点は今後検証される必要があります。