這個派的平方, 到底什麼來頭?
撰文:深潮 TechFlow
行情不像牛市,
融資
又不像熊市。
在這幾天 BTC 跌跌不休的同時,一級市場不斷透出大手筆融資信息。
除了 8500 萬美金融資的 AI 巨獸 Sentiment 外,本週另一個值得關注的融資項目,則是與 ZK 相關的
Pi Squared
。
7 月 2 日, Pi
Square
d 宣佈其獲得了由
Polychain Capital
領投的種子輪 1200 萬 美金融資,
ABCDE
、
Bloccelerate
、
Generative Ventures
、
Robot Ventures
和
Samsung Next
等機構參投;
而天使投資人則包括以太坊基金會的 Justin Drake 和 EigenLayer 創始人 Sreeram Kanaan。
從公開信息來看,Pi Squared 的名字(派的平方)頗有高深的數學意味,無限循環的圓周率再加個平方,營造出一種硬核又神秘的技術棲息;
而項目本身則專注於構建「通用 ZK 電路」和「通用結算層」,又是那種看簡介「所有字你都認識但就是看不懂」的感覺。
還是高深的基建,還是自帶高估值的 ZK,再加上一眾大 VC 和知名人物充當天使投資人…
雖然高舉反高大上項目大旗並不能保證不虧麻,但直接忽視融資充足的新項目也不是明智之舉。
這個派的平方, 到底什麼來頭?
派的平方,由名校學術大佬帶頭
你在黑板上畫個派的平方,當然讓人摸不著頭腦;但學術大佬畫個同樣的,效果卻大不相同。
Pi Squared 實際上由伊利諾伊大學厄巴納 – 香檳分校計算機科學教授 Grigore Rosu 領導組建,他也是該項目的 CEO。
2014 年 Grigore Rosu 已是該校正教授,並且主攻形式驗證和運行時驗證等領域;如果說的通俗一點,前者就是研究利用數學方法來證明軟件和硬件系統的正確性,確保其在各種情況下都能正常運行,後者則是實時監控系統行為,提升系統穩定性和
安全
性。
維基百科顯示,Grigore Rosu 教授的多篇相關論文,也獲得了美國計算機協會和國際自動軟件工程協會的頂級論文獎項。
不過這和加密項目有啥關係?
如果查看 Pi Squared 的主要業務介紹,可以發現其就是使用零知識證明(ZK)技術來驗證任何程序的執行正確性,無需依賴於特定的編程語言(PL)或
虛擬機
(VM),並提供一種通用且高效的驗證方法,旨在實現區塊鏈、語言和應用程序的無縫互操作性。
這正好和上述 Grigore Rosu 教授有關驗證的研究方向專業對口,也是學術大佬技術發揮的用武之地。
學術大佬帶隊搞強技術背景的項目,可信度自然會更高。
此外, Pi Squared 的 CTO ,Xiaohong Chen 博士,本科畢業於北京大學,而後成為美國伊利諾伊大學香檳分校的博士生,同樣學術背景深厚,並與 Grigore Rosu 教授同校且研究方向類似,很有可能是師生或同事關係。
而項目另一位聯創兼 COO,Patrick MacKay,也畢業於伊利諾伊大學香檳分校,並且也是 Grigore Rosu 創辦的前一家創業公司 Runtime Verification 的 COO,可謂是老同事老職位的平滑遷移;而這家 Runtime Verification 業務,也包括公鏈上的虛擬機和智能合約進行安全審計。
學術大佬帶隊,老同事與校友平滑遷移,一個學術和行業背景濃厚的 Pi Squared 項目,也難怪能受到 VC 們的青睞。
USL,促進系統交易結算
我們可以再來看看 Pi Squared 主要想做的這個「通用結算層」到底是什麼。
首先要明確的是, Pi Squared 並不直接面向用戶,而是為各類加密和開發者提**品。
Pi Squared 的目標是創建一個通用結算層 (USL),以簡化區塊鏈 / 語言 / 應用程序的互操作性,並完全消除對傳統的、通常容易出錯的語言實現(例如編譯器、轉譯器或解釋器)的需求。
如果要簡單理解,你可以把它當成一個超級翻譯器,讓不同的區塊鏈、編程語言和應用程序無縫地互相操作。開發者可以更輕鬆地創建跨鏈和跨語言的應用程序。
Pi Squared 官網的這張示意圖很好的說明了這個超級翻譯器的作用:
發起交易:用戶(例如 Alice)發起一個交易請求,例如將 1 WETH 轉移給 Bob,WETH 是符合 ERC20 標準的代幣;
通用結算:交易請求被提交到一個支持任意虛擬機和任意編程語言的環境中,比如 EVM 或 Python 。這也就是所謂的通用結算層 — 只要這個環境中存在針對該特定語言或 VM 的正式規範,計算就可以用任何語言或 VM 來表達。說白了就是不挑虛擬機和編程語言。
生成證明:針對步驟 2,生成一個數學證明,用來證明交易的正確性。這個數學證明非常精確,但可能非常龐大;
證明檢查:再使用 ZK-ED(零知識 – 匹配邏輯)證明檢查器來驗證上面這個「大證明」。這個檢查器體積小,並且可以大規模並行處理。
ZK 壓縮:最終生成一個零知識證明,用於證明前面交易的正確性。這個零知識證明體積小,可以高效地傳輸和驗證。
因此,以上流程展示了如何從一個簡單的交易請求開始,通過生成和驗證數學證明,最終生成一個更小的零知識證明來確保交易的正確性和隱私性。
整個過程支持多種編程語言和執行環境,具有高效、無需信任的特點,適用於跨鏈連接和其他需要高度安全和隱私保護的應用場景。
從項目所處的生態位來看,Pi Squared 处在技术栈的中间位置。上方是计算层和排序服务,下方是共识和数据可用性层。
可以把 Pi Squared 的 USL 看成一层乐观汇总,解释和验证计算交易的正确性,连接上层的计算和下层的共识。
同時,Pi Squared 也提到了會有自己的網絡,有運行共識協議的節點,推測可能會有基於質押的經濟系統,也就直接會關聯到項目的代幣上。
不過目前項目文檔中並未透露代幣的任何信息,只能說網絡設計給了代幣合理的存在空間,至於後續怎麼玩還要看進一步信息的放出。
Pi Squared 仍處於概念驗證階段。Rosu 教授表示該項目將於 2024 年底進入測試網,目前來看還在預熱和宣發期,也沒有任何可以參與的活動和任務。
我們會對項目持續保持關注,無論如何高喊互不接盤,總有值得參與的機會。
标签
ABCDE
Bloccelerate
Generative Ventures
Pi Squared
Polychain Capital
Robot Ventures
Samsung Next
Square
安全
比特币
虚拟机
融资
来源链接:
https://www.techflowpost.com/article/detail_18853.html
说明:比推所有文章只代表作者观点,不构成投资建议
原文链接:https://www.bitpush.news/articles/6917325
相关新闻
洗盘,4万刀还是10万刀?
利息是一把锋利的镰刀
比特小鹿 6 月矿业资讯:Northern Data 计划 160 亿上市、SEALMINER 发布矿机技术路线图、矿…
专访 Zama CEO:四年打造 4 亿美元市值,FHE「造浪者」如何炼成?
6万刀,“矿工底”? —— 十年之约#26(ROI 50%)
派方圆名校学术大佬带队融资1200万美金的ZK通用结算层
Add A Comment