Pi²を解読：名門校のアカデミック重鎮が率いる、1200万ドル調達のZK汎用決済レイヤー
TechFlow厳選深潮セレクト
Pi²を解読：名門校のアカデミック重鎮が率いる、1200万ドル調達のZK汎用決済レイヤー
この派の平方、いったい何者なのか？
Web3業界の深掘り報道に専念し潮流を洞察執筆：TechFlow
相場はブルマーケットのように見えず、ファンド調達もベアマーケットのようには見えない。
ここ数日BTCが下落を続ける一方で、プライマリーマーケットでは大規模な資金調達のニュースが相次いでいる。
AI巨人Sentimentによる8500万ドルの資金調達（詳細は：人脈値8500万？Polygon共同創業者が率いる巨額資金調達AIプロジェクトSentientを分析）に加え、今週注目すべきもう一つの資金調達プロジェクトはZK関連のPi Squaredである。
7月2日、Pi SquaredはPolychain Capitalが主導するシードラウンドで1200万ドルを調達したことを発表した。参加投資機関にはABCDE、Bloccelerate、Generative Ventures、Robot Ventures、Samsung Nextなどが含まれる。
また、エンジェル投資家にはイーサリアム財団のJustin Drake氏とEigenLayer創設者のSreeram Kannan氏が名を連ねている。
公開情報によると、「Pi Squared（パイの二乗）」という名称には深い数学的意味が感じられ、無限に続く円周率にさらに平方を加えることで、ハードコアかつミステリアスな技術的雰囲気を醸し出している。
プロジェクト自体は「汎用ZK回路」と「汎用決済層」の構築に焦点を当てており、一見すると「すべての単語は知っているが、意味がまったく分からない」という印象を与える。
依然として高度なインフラストラクチャー分野であり、ZK技術を備えており高評価を受けやすい。それに加え、多数の大手VCや著名な人物がエンジェル投資家として参加している。
高すぎるプロジェクトに対する反発心を持っていれば損失を避けられるわけではないが、資金調達が充実した新規プロジェクトを無視することも賢明ではない。
この「Pi Squared」とは、一体どのような存在なのだろうか？
Pi Squared：名門大学の学術界の大物が率いる
黒板に「π²」を書くだけでは何のことか分からないが、学術の大物が同じものを書けば印象は全く異なる。
実際、Pi Squaredはイリノイ大学アーバナ・シャンペーン校のコンピュータサイエンス教授であるGrigore Rosu氏が率いて設立したものであり、彼自身がCEOでもある。
2014年から同大学の正教授として、形式検証およびランタイム検証などの分野を専門としている。わかりやすく言えば、前者はソフトウェアやハードウェアシステムの正しさを数学的手法で証明し、あらゆる状況下で正常に動作することを保証するものであり、後者はシステムの挙動をリアルタイムで監視して安定性と安全性を向上させる。
ウィキペディアによれば、Grigore Rosu教授の複数の論文は米国計算機学会（ACM）や国際自動ソフトウェア工学会（IAASE）のトップ論文賞を受賞している。
しかし、これが暗号プロジェクトとどう関係しているのか？
Pi Squaredの主な事業内容を見てみると、特定のプログラミング言語（PL）や仮想マシン（VM）に依存せずに、あらゆるプログラムの実行の正当性をゼロ知識証明（ZK）技術を使って検証できるようにし、ブロックチェーン、言語、アプリケーション間のシームレスな相互運用性を実現しようとしている。
これはまさにGrigore Rosu教授の「検証」に関する研究分野と一致しており、学術的大物がその専門性を発揮できる舞台となっている。
学術界の大物が強力な技術背景を持つプロジェクトを率いることで、信頼性は自然と高まる。
また、Pi SquaredのCTOであるXiaohong Chen博士は北京大学を卒業後、アメリカのイリノイ大学アーバナ・シャンペーン校で博士号を取得しており、学術的バックグラウンドも非常に厚い。Grigore Rosu教授と同じ大学で研究分野も類似しており、師弟関係または同僚関係にある可能性が高い。
もう一人の共同創業者兼COOであるPatrick MacKay氏もイリノイ大学アーバナ・シャンペーン校出身であり、かつてGrigore Rosu氏が設立した前職のスタートアップ企業Runtime VerificationのCOOでもあった。つまり、旧同事業からのスムーズな移行であり、Runtime Verificationの事業内容にはパブリックチェーン上のVMやスマートコントラクトのセキュリティ監査も含まれていた。
学術界の大物が率い、旧同事業の同僚や同窓生がスムーズに参画する形で、学術的・産業的バックグラウンドの濃厚なPi SquaredプロジェクトがVCたちから支持されるのも当然と言える。
USL：システム取引の決済を促進
続いて、Pi Squaredが取り組んでいる「汎用決済層」とは具体的に何かを見ていこう。
まず重要なのは、Pi Squaredが直接ユーザー向けではなく、さまざまな暗号プロジェクトや開発者向けに製品を提供している点だ。
Pi Squaredの目標は、汎用決済層（USL）を構築し、ブロックチェーン／言語／アプリケーション間の相互運用性を簡素化するとともに、従来のエラープローンな言語実装（コンパイラ、トランスレータ、インタプリタなど）の必要性を完全に排除することにある。
簡単に言えば、これはスーパートランスレーターのようなものであり、異なるブロックチェーン、プログラミング言語、アプリケーションがシームレスに相互操作できるようにする。これにより、開発者はより容易にクロスチェーン・クロス言語のアプリケーションを開発できる。
Pi Squared公式サイトのこの図は、スーパートランスレーターの機能をよく説明している：
-
取引の開始：ユーザー（例：Alice）が1WETHをBobに送金するといった取引リクエストを行う。WETHはERC20標準に準拠したトークンである。
-
汎用決済：取引リクエストはEVMやPythonなど、任意の仮想マシンやプログラミング言語に対応した環境に送られる。これがいわゆる汎用決済層（USL）であり、その言語またはVMに対する正式仕様が存在すれば、計算はどの言語やVMでも表現可能になる。つまり、VMやプログラミング言語を選ばないということだ。
-
証明の生成：上記ステップ2に基づき、取引の正当性を証明する数学的証明を生成する。この証明は非常に正確だが、サイズが非常に大きくなる可能性がある。
-
証明の検証：次に、ZK-ED（ゼロ知識－マッチング論理）証明チェッカーを使用して、上記の「大きな証明」を検証する。このチェッカーは小型であり、大規模な並列処理が可能である。
-
ZK圧縮：最終的に、前述の取引の正当性を証明するゼロ知識証明が生成される。この証明はサイズが小さく、効率的に転送および検証できる。
以上の一連のプロセスは、単純な取引リクエストから始まり、数学的証明の生成と検証を通じて、最終的に取引の正当性とプライバシーを保証する小さなゼロ知識証明を生成する流れを示している。
このプロセス全体は複数のプログラミング言語と実行環境をサポートしており、効率的で信頼不要な特徴を持ち、クロスチェーン接続や高度なセキュリティとプライバシー保護が必要な他の用途にも適している。
プロジェクトの生態的位置から見ると、Pi Squaredは技術スタックの中間に位置している。上層には計算レイヤーとソーティングサービスがあり、下層には合意形成（コンセンサス）とデータ可用性レイヤーがある。
Pi SquaredのUSLを、計算取引の正当性を解釈・検証し、上位の計算レイヤーと下位のコンセンサスをつなぐオプティミスティックロールアップのようなレイヤーと見なすことができる。
同時に、Pi Squaredは独自のネットワークを持ち、コンセンサスプロトコルを実行するノードを運営すると述べており、ステーキングに基づく経済システムを導入する可能性もあり、プロジェクトのトークンと直接関連するだろう。
ただし、現時点ではプロジェクトのドキュメントにトークンに関する情報は一切記載されておらず、ネットワーク設計がトークンの存在を合理的に担保しているに過ぎない。今後の展開についてはさらなる情報公開を待つ必要がある。
Pi Squaredはまだ概念実証（PoC）段階にある。Rosu教授によれば、2024年末にテストネットへ移行する予定であり、現時点では準備と広報フェーズにあり、参加可能なアクティビティやタスクは一切存在しない。
引き続きプロジェクトの動向を注視していく。どんなに「お互いに関与しない」と叫んでも、参加価値のある機会は必ず訪れる。
TechFlow公式コミュニティへようこそ
Telegram購読グループ：https://t.me/TechFlowDaily
Twitter公式アカウント：https://x.com/TechFlowPost
Twitter英語アカウント：https://x.com/BlockFlow_News
深潮TechFlow
