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星评价和积极的评论。