表现
对比
详情
本内容由 RD AI 生成，仅供参考
Pi Squared 是一个基于形式化语义的通用可验证计算与结算层，其核心是将任意编程语言（如 Solidity、EVM、WASM、Rust 等）的智能合约执行转换为数学证明，并通过零知识证明进行验证和结算。它支持跨区块链和去中心化应用的互操作，允许开发者用熟悉的语言编写合约，在统一的结算层上生成并提交证明，从而无需依赖特定虚拟机或链。其技术基础是 K 框架和通用数学证明检查器，将信任最小化到数学证明本身。
关注更新
关注列表
人物
关于Pi Squared
Pi Squared 是一个专注于通用可验证计算的区块链项目。其核心业务是可验证结算层（VSL），一个去中心化网络，支持跨领域的透明、可编程和可验证执行。与通常绑定特定编程语言或虚拟机的 ZK 项目不同，Pi Squared 利用形式语义，让任何语言都能直接生成密码学证明，无需自定义编译器或专用虚拟机。
核心竞争力在于其通用性。以形式语义为基础，Pi Squared 可以验证来自任何来源的计算——无论是以太坊、比特币还是自定义应用——而无需翻译层。这解决了当前区块链生态碎片化的市场痛点：开发者必须在不同链之间做出选择，每条链都有自己的语言和虚拟机，造成流动性孤岛和互操作挑战。VSL 旨在通过提供单一结算层来统一这些生态，验证所有链上的计算。
近半年（2026-02-28 至 2026-08-31），Pi Squared 推出了 VSL Devnet，这是开发者与网络交互的首个实时环境。Devnet 集成了 Wormhole 的原生代币转移（NTT）框架，实现安全的跨链资产转移，并提供以太坊和比特币状态的实时复制，以促进可组合的多链开发。此外，该项目强调 2026 年是支付的转折点，指出需要并行、可验证的结算系统来应对 AI 驱动的交易增长。FastSet 作为相关举措，专注于构建下一代支付基础设施，具有高吞吐量和即时最终性。
此期间未报告重大负面事件，但项目仍处于早期阶段，成熟度仅为 devnet 级别。
Pi Squared 作为区块链 ZK 解决方案，完成了由 Polychain Capital 领投的 1250 万美元种子轮融资，标志着其初始资本验证，并为开发通用 ZK 电路以实现可验证计算奠定了基础。随后，它推出了 VSL（可验证结算层）开发网络，这是迈向基于证明验证的跨链结算层的重要里程碑，旨在统一碎片化的生态系统。这些步骤具有长期意义：种子轮融资为核心研发提供了资源保障，而开发网络则首次提供了实时环境，用于测试跨语言和虚拟机的通用可验证性，为构建最小化信任的结算基础设施铺平了道路。
Grigore Rosu（联合创始人兼CEO）：UIUC计算机科学教授，领导形式化系统实验室。曾任NASA科学家，首创“运行时验证”术语。研究兴趣包括编程语言、形式化方法、软件工程和密码学。博士毕业于加州大学圣地亚哥分校。获NSF CAREER奖、UIUC杰出青年教师奖及研究卓越院长奖。
Xiaohong Chen（CTO）：形式化方法工程师和ZK研究员。专注于程序形式化规范与验证、程序逻辑及可扩展的零知识解决方案。本科毕业于北京大学，博士毕业于UIUC。