表现
RD 热度指数
RD 增长指数
对比
关注更新
关注列表
人物
关于Pi Squared
Pi Squared 做可验证计算的底层协议，核心是 Proof of Proof：用 K 框架为编程语言语义建立形式化定义，把任意语言写的程序执行转换成可被小型检查器验证的证明，再由 zkVM 生成简洁证明。不同链、不同虚拟机的状态转换因此能用同一套逻辑校验，不必为每种语言重写电路。FastSet 网络在此之上做并行结算，不做全序排列，独立声明可以同时确认，目标是把支付延迟压到百毫秒以内。
落地形态是 Verifiable Settlement Layer：应用把某笔借贷已足额抵押这类声明连同证明提交，验证者用统一检查器核对后写入已结算声明的集合，其他链上的合约只需验证成员证明即可读取结果，无需跨链转移资产。使用者包括需要跨 VM 组合的 Rollup、做跨链消息的中间件与需要审计 AI 计算的服务方。吞吐取决于证明生成速度，证明者仍是少数专业化节点。
Pi Squared 作为区块链 ZK 解决方案，完成了由 Polychain Capital 领投的 1250 万美元种子轮融资，标志着其初始资本验证，并为开发通用 ZK 电路以实现可验证计算奠定了基础。随后，它推出了 VSL（可验证结算层）开发网络，这是迈向基于证明验证的跨链结算层的重要里程碑，旨在统一碎片化的生态系统。这些步骤具有长期意义：种子轮融资为核心研发提供了资源保障，而开发网络则首次提供了实时环境，用于测试跨语言和虚拟机的通用可验证性，为构建最小化信任的结算基础设施铺平了道路。
2026 年 Pi Squared 以 Pi² Labs 的名义把网络推上主网，品牌侧改称 Fast：这条支付与结算网络并非区块链，而是并行处理「声明」的可验证结算层，不做全局排序、不需要验证者互相同步，官方基准为超过 10 万 TPS、亚 100 毫秒最终性，并规划扩展到每秒百万级。8 月，Fast 与 Rhuna 在 UNTOLD 音乐节完成一次真实压力测试，结算 160,589 笔支付操作。
Pi Squared 的技术底色是 K 框架与匹配逻辑：任何语言的程序先有形式语义，执行轨迹被转成数学证明，再由极小的证明检查器验证并生成零知识证明，链上只需验证「证明的证明」。这让智能合约可以用 Python、Rust 或 JavaScript 编写，也让跨链交互不必移动资产。此前测试网的钱包已停止服务，官方未公布代币或空投安排。
Pi Squared 团队把重点放在支付、AI 微支付与跨链结算三条落地路径，用音乐节这类高并发场景证明可用性；同时推进验证者与证明市场的去中心化，并把形式化验证工具开放给开发者，降低「证明的证明」的使用门槛。
Grigore Rosu：创始人兼 CEO，美国伊利诺伊大学厄巴纳-香槟分校教授，K 框架与运行时验证创建者。
Xiaohong Chen：CTO。
Patrick MacKay：联合创始人兼 COO。