米国イリノイ州シャンペーン、2024年7月2日、Chainwire

Pi Squared (Proof of Proof) は、初の資金調達を完了したことを発表しました。Polychain Capital が主導するシンジケートには、ABCDE、Bloccelerate、Generative Ventures、Robot Ventures、Samsung Next が含まれます。エンジェル投資家には、Shumo Chu、Harish Devarajan、Justin Drake、Sreeram Kanaan、Csongor Kiss、George Lambeth、Yilong Li、Calvin Liu、Lucian Mincu、Karthik Raju、Common Prefix が含まれます。

Pi Squared は、ゼロ知識 (ZK) 技術を、構築時に正しいという根本的にユニークな方法で使用することで、あらゆるブロックチェーンや dApp でトラストレスなリモート コンピューティング、AI、相互運用可能なスマート コントラクトを実現します。これは、数学的証明の整合性をチェックする、普遍的で非常に小さな ZK 回路を作成することで可能になります。これにより、共通言語、VM、または命令セット アーキテクチャ (ISA) への変換なしに、形式セマンティクスから直接、すべての言語と仮想マシン (VM) に検証可能なコンピューティングの正確性保証が提供されます。

「私たちの使命は、検証可能なコンピューティングに革命を起こし、それをすべての言語と仮想マシンに普遍的で、構築時に本質的に正しく、超高速にすることです」と、Pi SquaredのCEOでイリノイ大学アーバナ・シャンペーン校のコンピューターサイエンス教授であるGrigore Roșu氏は語ります。「これには、ユニバーサル決済レイヤー（USL）など、多くの用途があり、すべてのブロックチェーン（L1とL2）がユニバーサルで正確、相互運用可能で効率的になります。それで終わりではありません。私たちの長期的な使命は、すべての科学と知識をUSLで解決することです。」

「Pi Squared の証明技術は、Web3 全体とそれ以外の領域に変革をもたらすでしょう」と、Polychain Capital の GP である Karthik Raju 氏は語ります。「Pi Squared のユニバーサル ZK 回路により、開発者からエンド ユーザーまで、すべての人にとって Web3 の適用範囲と適用性が大幅に向上します。」

Pi Squared は、最適に最小限の信頼ベースを備えた、ユニバーサルでスケーラブルな次世代の検証可能なコンピューティングを実現します。Pi Squared を搭載した最初の製品は、次の特性を実現するモジュール式ブロックチェーンのアーキテクチャである Universal Settlement Layer (USL) です。

普遍

計算は、コンパイラやトランスレータを必要とせずに、任意の高レベル言語または仮想マシン言語で表現できます。

証明可能な正しさ

USL によって検証された計算は数学的に正しいことが証明されており、外部のエンティティは USL の状態の正確さを独立して検証できます。

信頼ベースの最小性

USL は、透明性とエンドユーザーの認識を高めるために上位層の計算における信頼の仮定を公開し、正確性の証明を通じて信頼ベースを最小限に抑えます。

アプリの相互運用性

USL は、さまざまなアプリケーション モジュールとネットワーク (アプリチェーンなど) 間の相互運用性をサポートします。

決定論と再現性

検証は再現可能であり、外部の組織によって独立して検証可能です。

したがって、Pi Squared の USL は、汎用計算のエンドツーエンドの正確性保証を提供しながら、これらの計算の基盤となる信頼ベースを最小限に抑えます。USL は、特定のドメイン固有言語 (DSL)、VM、または実行環境を必要とせず、または推奨することなく、検証可能なコンピューティングを標準の分散コンピューティング パラダイムとして推進し、効率的でスケーラブルです。

Pi Squared は、7 月 8 日から 11 日までブリュッセルで開催される EthCC 関連のイベントで発表および展示を行います。参加者は、7 月 8 日の Restaking & Infra Day と 7 月 9 日の L2con で、Pi Squared の CEO、Grigore Roșu の講演を聞くことができます。

Pi Squaredについて

Pi Squared は数学的証明の ZK 証明を意味します。Pi Squared は、構築時に正しいという根本的にユニークな方法で ZK 技術を使用します。普遍的で非常に小さな ZK 回路は、共通言語、VM、または ISA への変換なしで、すべての言語と VM に同様に検証可能なコンピューティングの正確性保証を提供します。Pi Squared は、K フレームワークと Runtime Verification の創設者である UIUC 教授 Grigore Rosu によって率いられ、形式手法、ブロックチェーン、AI/ML の分野で成功したプロジェクトの研究者と創設者で構成されています。

Pi Squared の CEO およびチームとのミーティングを予約するには、contact@pi2.network までご連絡ください。

Pi Squared のビジョンと Proof of Proof の詳細については、pi2.network にアクセスし、ソーシャル メディアで Pi Squared をフォローしてください。

接触

マーケティング責任者Chris HazeltonPi Squared Incmedia@pi2.network