表现
RD 熱度指數
RD 增長指數
比較
跟隨更新
跟隨列表
人物
關於Pi Squared
Pi Squared 是一個專注於通用可驗證計算的區塊鏈專案。其核心業務為可驗證結算層（VSL），這是一個去中心化網路，能夠在不同領域中實現透明、可程式化且可驗證的執行。與那些綁定特定程式語言或虛擬機器的典型零知識專案不同，Pi Squared 利用形式語義學，讓任何語言都能直接生成加密證明，無需自訂編譯器或專用虛擬機器。 其核心競爭優勢在於通用性。透過將形式語義學作為基礎，Pi Squared 能夠驗證來自任何來源的計算——無論是以太坊、比特幣還是自訂應用程式——而無需轉譯層。這種方法解決了市場上的一個主要痛點：區塊鏈生態系統的碎片化。目前，開發者必須在不同鏈之間做出選擇，每條鏈都有自己的語言和虛擬機器，導致流動性孤島和互通性挑戰。Pi Squared 的 VSL 旨在透過提供一個能驗證所有生態系統的單一結算層來統一這些生態系統。 在過去六個月（2026年2月28日至2026年8月31日），Pi Squared 推出了 VSL Devnet，這是首個讓開發者與網路互動的即時環境。該開發網路整合了 Wormhole 的原生代幣轉移（NTT）框架，以實現安全的跨鏈資產轉移，並提供以太坊和比特幣狀態的即時複製，以促進可組合的多鏈開發。此外，該專案強調 2026 年是支付的轉折點，強調需要平行且可驗證的結算系統來應對 AI 驅動的交易增長。FastSet 是一項相關計畫，專注於建構具備高吞吐量和即時最終性的下一代支付基礎設施。 在此期間，未報告任何重大負面事件，不過該專案仍處於早期階段，成熟度僅達開發網路層級。
Pi Squared，一個區塊鏈零知識證明解決方案，完成了由Polychain Capital領投的1250萬美元種子輪融資，標誌著其首次獲得資本認可，並推動開發一個用於可驗證計算的通用零知識證明電路。隨後，它推出了VSL（可驗證結算層）開發網，這是邁向跨鏈結算層的一個里程碑，該結算層通過基於證明的驗證來統一碎片化的生態系統。這些步驟奠定了長期重要性：種子輪融資為核心研發提供了資源，而開發網則提供了首個即時環境，用於測試跨語言和虛擬機的通用可驗證性，為建立一個最小信任的結算基礎設施奠定了基礎。
格里戈雷·羅蘇（聯合創始人兼執行長）：UIUC計算機科學教授，領導形式系統實驗室。曾為NASA科學家，創造了「執行期驗證」一詞。研究興趣包括程式語言、形式化方法、軟體工程和密碼學。加州大學聖地牙哥分校博士。獲得NSF CAREER獎、UIUC傑出青年獎和院長研究卓越獎。 陳曉紅（技術長）：形式化方法工程師和零知識研究者。專注於形式化程式規範/驗證、程式邏輯和可擴展的零知識解決方案。北京大學理學士，UIUC博士。