Pi Squared - 一個可驗證的結算層，專爲人工智能和加密貨幣而設計 - Brave New Coin

Grigore Roșu是伊利諾伊大學的計算機科學教授，曾任NASA工程師，開發了K框架——一個開源的“羅塞塔石”用於編程語言語義。作爲以太坊基金會的首日貢獻者，他後來創立了Runtime Verification，現在是Web3中的龍頭正式認證公司。2023年，他創立了Pi Squared，旨在通過利用他革命性的K框架，將下一個百萬開發者帶入Web3。

你爲什麼應該傾聽

Pi Squared 通過實現可驗證的跨鏈計算和結算，解決了今天區塊鏈基礎設施的碎片化和信任限制，使得應用、代理和協議能夠在不同生態系統之間互動，而不依賴於橋接、中心化方或無法證明的邏輯。

它是一個模塊化、可互操作且企業就緒的Web3所缺失的信任層。

Pi Squared的核心產品是其認證結算層(VSL)——本質上是一個去中心化的、可編程的基礎，能夠將任何行動(數據存儲、交易、計算)封裝成一個加密密封的“聲明”。這些聲明由全球的驗證者網路進行驗證，通過他們的高性能FastSet共識協議進行結算，並能夠在鏈和環境之間即時訪問——所有這些都不需要中介或信任假設。VSL使得快速、可證明的跨生態系統結算成爲可能——爲AI、區塊鏈或任何鏈外系統服務。

已經在開發網路上線，Pi Squared 展示了強大的用例，如跨鏈資產橋接 (，例如，通過 Wormhole NTT)、區塊鏈狀態鏡像和通過可信執行環境的可審計 AI 流水線。他們的系統大幅減少了區塊鏈中的冗餘計算——一個節點計算並證明，其他所有節點在毫秒內驗證——提高了吞吐量，降低了能源使用，並最小化了漏洞。想象一下無處不在的可驗證性——從遠程計算和 DeFi 到 AI 推理——通過形式語言支持的證明得到強化。

Pi² 正在將形式驗證、零知識證明和跨鏈互操作性縫合成一個快速、可組合的層。沒有虛假，沒有信任——只有證明。

支持連結

斯塔布爾金融

Pi 網路

Andy 在推特上

Twitter 上的 Brave New Coin

勇敢的新幣

如果您喜歡這個節目，請訂閱《加密對話》，並在您使用的任何播客應用中給我們一個5星評價和積極的評論。