Pi Squared - AIと暗号の検証可能な決済レイヤー - Brave New Coin

グリゴレ・ロシュはイリノイ大学のコンピュータサイエンスの教授であり、元NASAエンジニアで、そこでプログラミング言語の意味論のためのオープンソースの「ロゼッタストーン」であるKフレームワークを開発しました。イーサリアム財団の初期からの貢献者であり、後にWeb3でリーディングの形式確認会社であるRuntime Verificationを設立しました。2023年には、彼の革命的なKフレームワークを活用して、次の100万人の開発者をWeb3に引き込むというビジョンでPi Squaredを設立しました。

なぜ聞くべきか

Pi Squaredは、検証可能なクロスチェーン計算と決済を可能にすることによって、今日のブロックチェーンインフラストラクチャの断片化と信頼の制限を解決します。これにより、アプリ、エージェント、およびプロトコルは、ブリッジ、中央集権的な当事者、または証明できない論理に依存することなく、エコシステム間で相互作用できます。

それは、モジュラーで相互運用可能かつ企業向けのWeb3のための欠けている信頼の層です。

Pi Squaredのコアオファリングは、その確認可能な決済レイヤー(VSL)であり、基本的には、あらゆるアクション(データストレージ、トランザクション、計算)を暗号学的に封印された「クレーム」にラップする分散型のプログラム可能な基盤です。これらのクレームは、グローバルなバリデーターのネットワークによって確認され、高性能なFastSetコンセンサスプロトコルを介して決済され、仲介者や信頼の仮定なしに、すぐにチェーンや環境を越えてアクセス可能になります。VSLは迅速で証明可能なクロスエコシステムの決済を可能にし、AI、ブロックチェーン、または任意のオフチェーンシステムにサービスを提供します。

すでにデブネットで稼働中のPi Squaredは、Wormhole NTT(を介したクロスチェーン資産ブリッジングなどの強力なユースケースを紹介しています。ブロックチェーンの状態ミラーリングや、Trusted Execution Environmentsを介した監査可能なAIパイプラインも含まれます。彼らのシステムは、ブロックチェーンにおける冗長な計算を劇的に削減します—1つのノードが計算と証明を行い、他のすべてのノードがミリ秒で確認します—スループットを向上させ、エネルギー使用を削減し、脆弱性を最小限に抑えます。リモートコンピュートやDeFiからAI推論まで—形式言語に基づいた証明によって強化された、どこでも確認可能性を考えてみてください。

Pi²は、形式確認、ゼロ知識証明、クロスチェーン相互運用性を一つの迅速で構成可能なレイヤーに縫い合わせています。余計なものはなく、信頼も不要—ただ証明があります。

サポートリンク

スタブルファイナンス

パイネットワーク

アンディのTwitter

TwitterのBrave New Coin

ブレイブ・ニュー・コイン

ショーを楽しんでいただけたら、Crypto Conversationに登録し、使用しているポッドキャストアプリで5つ星の評価とポジティブなレビューをお願いします。