美国伊利诺州尚佩恩,2024 年 7 月 2 日,Chainwire
Pi Squared(Proof of Proof)宣布完成首次融资。该财团由 Polychain Capital 牵头,成员包括 ABCDE、Bloccelerate、Generative Ventures、Robot Ventures 和 Samsung Next。天使投资人包括 Shumo Chu、Harish Devarajan、Justin Drake、Sreeram Kanaan、Csongor Kiss、George Lambeth、Yilong Li、Calvin Liu、Lucian Mincu、Karthik Raju 和 Common Prefix。
Pi Squared 以建立正确且本质上独特的方式使用零知识 (ZK) 技术,将为任何区块链或 dApp 提供无需信任的远端运算、人工智慧和可互通的智慧合约。这将透过创建一个通用且极其小型的ZK 电路来实现,该电路检查数学证明的完整性,这将直接从其形式语义为所有语言和虚拟机(VM) 提供可验证的计算正确性保证,而无需任何翻译为通用语言、VM 或指令集架构 (ISA)。
“我们的使命是彻底改变可验证计算,使其适用于所有语言和虚拟机,本质上构造正确,速度快如闪电,”Pi Squared 首席执行官兼伊利诺伊大学厄巴纳-香槟分校计算机科学教授 Grigore Roșu 表示。“这将有许多应用,包括通用结算层 (USL),因此所有区块链、L1 和 L2 都可以通用、正确、可互操作和高效。这还不止于此,我们的长期使命是将所有科学和知识都结算在 USL 上。”
Polychain Capital 的 GP Karthik Raju 表示:“Pi Squared 的证明技术将对 Web3 及其他领域产生变革性影响。”“Pi Squared 的通用 ZK 电路将显著提高 Web3 对所有人(从建设者到最终用户)的覆盖范围和适用性。”
Pi Squared 将实现下一代可验证计算,该计算具有最佳的最小信任基础,具有通用性和可扩展性。Pi Squared 支持的第一款产品是通用结算层 (USL),这是一种模块化区块链架构,具有以下特点:
普遍性
计算可以用任何高级语言或虚拟机语言来表达,而无需编译器或翻译器。
可证明的正确性
经过 USL 验证的计算在数学上被证明是正确的,并且任何外部实体都可以独立验证 USL 状态的正确性。
信任基础最小化
USL 公开上层计算中的任何信任假设,以提高透明度和最终用户意识,并通过正确性证明最大限度地减少信任基础。
应用程序互操作性
USL 将支持不同应用模块和网络(例如应用链)之间的互操作性。
确定性和可重复性
该验证可重复,并可由任何外部实体独立验证。
因此,Pi Squared 的 USL 为通用计算提供了端到端的正确性保证,同时最大限度地减少了这些计算所依赖的信任基础。USL 推动可验证计算成为标准的分布式计算范例,而无需或推广特定的领域特定语言 (DSL)、VM 或执行环境,同时又高效且可扩展。
Pi Squared 将于 7 月 8 日至 11 日在布鲁塞尔 EthCC 周边活动中进行展示。与会者可以聆听 Pi Squared 首席执行官 Grigore Roșu 在 7 月 8 日的 Restaking & Infra Day 和 7 月 9 日的 L2con 上的演讲。
关于 Pi Squared
Pi Squared 指的是数学证明的 ZK 证明。Pi Squared 以构造正确且从根本上独特的方式使用 ZK 技术。通用且小巧的 ZK 电路为所有语言和虚拟机提供可验证计算的正确性保证,而无需转换为通用语言、虚拟机或 ISA。Pi Squared 由 UIUC 教授 Grigore Rosu 领导,他是 K 框架和运行时验证的创始人,由形式化方法、区块链和 AI/ML 领域的成功项目的研究人员和创始人组成。
如需预约与 Pi Squared 首席执行官和团队的会议,与会者可以联系 contact@pi2.network。
要了解有关 Pi Squared 的愿景和 Proof of Proof 的更多信息,请访问 pi2.network 并在社交媒体上关注 Pi Squared。
接触
营销主管Chris HazeltonPi Squared Incmedia@pi2.network
Pi Squared 在 Polychain Capital 领投的种子轮融资中筹集了 1250 万美元,用于构建由 Proof of Proof 提供支持的通用 ZK 电路,该文章最先出现在 CoinChapter 上。