円周率の2乗の解釈一流大学のアカデミック・エリートが導く
BTCはここ数日下落傾向にあるが、プライマリー市場では重要な資金調達案件が続々と明らかになっている。AI大手Sentimentが調達した8500万ドル以外にも、今週注目すべき資金調達案件はZKテクノロジー関連のPi Squaredだ。
7月2日、Pi SquaredはPolychain Capitalが主導し、ABCDE、Bloccelerate、Generative Ventures、Robot Ventures、Samsung Nextが参加するシード資金1,200万ドルを確保したと発表した。エンジェル投資家としては、イーサリアム財団のジャスティン・ドレイク氏、EigenLayerの創業者であるスレーラム・カナーン氏らが名を連ねた。
公開されている情報を見る限り、Pi Squaredという名前は数学的な深遠な意味を示唆しており、πの2乗の無限大の性質が技術的な深みと謎めいた感覚を生み出している。プロジェクト自体は、「普遍的なZK回路」と「普遍的な決済層」の構築に焦点を当てている。
高尚で一見理解しがたいプロジェクトの性質にもかかわらず、知名度の高いVCとエンジェル投資家として有名な個人の組み合わせが、Pi Squaredを無視しがたいものにしている。では、Pi Squaredとは一体何なのか？
パイ・スクエアード一流大学のアカデミック・エリートが率いる
黒板に円周率の2乗を描くことは、多くの人にとって不可解なことかもしれないが、アカデミック・エリートがそれをやると、その効果はまったく違ってくる。
Pi Squaredは、Grigore Rosuというイリノイ大学アーバナ・シャンペーン校（UIUC）のコンピューターサイエンス教授が率いており、プロジェクトのCEOも務めている。
2014年、グリゴール・ロスはUIUCの正教授となり、フォーマル検証およびランタイム検証を専門としている。形式検証とは、簡単に言えば、ソフトウェアやハードウェアのシステムの正しさを数学的手法で証明し、さまざまな条件下で正しく機能することを保証することである。一方、ランタイム検証は、システムの挙動をリアルタイムで監視し、安定性と安全性を高めるものである。
ウィキペディアによると、グリゴレ・ロズ教授は、ACM（Association for Computing Machinery）やASE（International Conference on Automated Software Engineering）から最優秀賞を受賞した論文を数多く発表している。
しかし、これが暗号プロジェクトと何の関係があるのだろうか？
Pi Squaredの主な事業内容を見ると、ゼロ知識証明（ZK）技術を使用して、使用するプログラミング言語（PL）や仮想マシン（VM）に関係なく、あらゆるプログラムの正しい実行を検証することがわかる。これは、ブロックチェーン、言語、アプリケーション間のシームレスな相互運用性を実現することを目的とした、普遍的かつ効率的な検証方法を提供します。
これはグリゴール・ロズー教授の検証の専門知識と完全に合致しており、彼の学術的知識の理想的な応用と言える。
USL：システム取引決済の促進
Pi Squaredが目指す「ユニバーサル決済レイヤー」（USL）について詳しく見てみよう。
まず重要なのは、Pi Squaredはエンドユーザーを直接ターゲットにしているのではなく、さまざまな暗号コミュニティや開発者コミュニティ向けに製品を提供しているということだ。
Pi Squaredの目標は、ブロックチェーン、言語、アプリケーション間の相互運用性を簡素化するUSLを作成し、コンパイラ、トランスレータ、インタープリタなど、エラーが発生しがちな従来の言語実装を不要にすることだ。
簡単に理解すると、異なるブロックチェーンを互いにシームレスに操作できるようにするスーパー翻訳機と考えることができる：注目すべき次のレイヤー1ブロックチェーン”>ブロックチェーン、プログラミング言語、アプリケーションを互いにシームレスに動作させることができる。開発者はクロスチェーン、クロスランゲージのアプリケーションをより簡単に作ることができる。
以下は、Pi Squared websiteから、このスーパー翻訳者の役割を説明した図である：
- トランザクションの開始: あるユーザー（例えばAlice）が1WETHをBobに送金するなどの取引要求を開始する。WETH は ERC20 準拠のトークンである。
- ユニバーサル和解: トランザクション・リクエストは、EVMやPythonのような仮想マシンとプログラミング言語をサポートする環境に提出される。これは普遍的な決済レイヤであり、特定の言語や仮想マシンの正式な仕様がある限り、どのような言語や仮想マシンでも計算を表現できる。
- 証明の作成: ステップ2では、トランザクションの正しさを検証するために数学的証明が生成される。この証明は非常に正確であるが、非常に大きくなる可能性がある。
- 証明の検証: “大きな証明 “を検証するために、ZK-ED（ゼロ知識-マッチング論理）証明チェッカーを使用する。このチェッカーは小型で、大規模な並列処理が可能である。
- ZKコンプレッション: 最後に、トランザクションの正しさを検証するためにゼロ知識証明が生成される。このゼロ知識証明は小さく、効率的に送信および検証できる。
このように、上記のプロセスは、単純なトランザクション要求が数学的証明の生成と検証につながり、最終的にトランザクションの正しさとプライバシーを保証する、より小さなゼロ知識証明を生成できることを示している。
プロジェクトのエコシステムの観点から見ると、Pi Squaredはテクノロジースタックの中間に位置し、計算レイヤーとシーケンスサービスの上、コンセンサスとデータ利用可能レイヤーの下に位置する。
Pi SquaredのUSLは、上の計算レイヤーと下のコンセンサスレイヤーをつなぐ、計算トランザクションの解釈と正しさの検証を行う楽観的なロールアップとみなすことができる。
さらに、Pi Squaredは、コンセンサス・プロトコルを実行するノードを持つ独自のネットワークを持つことに言及しており、このプロジェクトのトークンに直接関連するステーキングベースの経済システムの可能性を示唆している。しかし、トークンに関する情報はこれまでのところプロジェクトの文書では開示されておらず、その将来については推測の余地が残されている。
Pi Squaredはまだ概念実証の段階である。ロズー教授は、2024年末までにテストネット段階に入ると述べた。現在は、ウォーミングアップとプロモーションの段階であり、参加可能な活動やタスクはない。
私たちはこのプロジェクトを見守り続ける。引き継ぎを避ける声があろうとも、参加する価値のある機会は常にある。