bitget最新消息：据CoinDesk报道，PiSquared是一家利用零知识技术实现可验证计算的公司，宣布在由PolychainCapital领投的种子轮融资中筹集了1250万美元。参与此轮融资的还有ABCDE、Bloccelerate、GenerativeVentures、RobotVentures和SamsungNext，以及包括以太坊基金会的JustinDrake和EigenLayer创始人SreeramKanaan在内的天使投资者。据悉，PiSquared由伊利诺伊大学厄巴纳-香槟分校的计算机科学教授GrigoreRosu领导。公司计划利用新资金扩展其产品。PiSquared的首个产品是“通用结算层”，可以用任何编程语言结算区块链交易。Rosu表示，公司还在开发“通用零知识电路”，这将通过零知识技术实现“无信任的远程计算、AI和任何区块链或dApp的可互操作智能合约”。该项目预计将在2024年底进入测试网阶段。另据，Web3资产数据平台RootData显示，PiSquared使用零知识证明（ZK）技术来验证任何程序的执行正确性，无需依赖于特定的编程语言（PL）或虚拟机（VM）。其基于K框架和匹配逻辑，提供一种通用且高效的验证方法，旨在实现区块链、语言和应用程序的无缝互操作性。
