Pi Squared

Pi Squared正在創建終極的通用結算層。它以結構正確且獨一無二的方式使用零知識（ZK）技術，這使得通用且非常小的ZK電路能夠爲所有語言和虛擬機（VM）提供可驗證的計算正確性保證，而無需轉換爲通用語言、虛擬機或指令集架構（ISA）。 Pi Squared正在構建通用結算層（USL），以實現區塊鏈/語言/應用程序的無縫互操作性，並完全消除對編譯器、轉譯器或解釋器等傳統但臭名昭著的錯誤語言實現的需求。Pi Squared的USL建立在ZK、形式語義和邏輯推理技術的最新進展基礎上。 Pi Squared項目由UIUC教授格里戈爾·羅蘇（Grigore Rosu）領導，他是K框架和運行時驗證的創始人，由形式方法、區塊鏈和人工智能/機器學習領域成功項目的研究人員和創始人組成。