Pi Squared

Pi Squared正在创建终极的通用结算层。它以结构正确且独一无二的方式使用零知识（ZK）技术，这使得通用且非常小的ZK电路能够为所有语言和虚拟机（VM）提供可验证的计算正确性保证，而无需转换为通用语言、虚拟机或指令集架构（ISA）。 Pi Squared正在构建通用结算层（USL），以实现区块链/语言/应用程序的无缝互操作性，并完全消除对编译器、转译器或解释器等传统但臭名昭著的错误语言实现的需求。Pi Squared的USL建立在ZK、形式语义和逻辑推理技术的最新进展基础上。 Pi Squared项目由UIUC教授格里戈尔·罗苏（Grigore Rosu）领导，他是K框架和运行时验证的创始人，由形式方法、区块链和人工智能/机器学习领域成功项目的研究人员和创始人组成。