According to ChainCatcher, Pi Squared, a company that uses zero-knowledge technology to achieve verifiable computing, announced that it has raised $12.5 million in a seed round led by Polychain Capital. Also participating in this round of financing are ABCDE, Bloccelerate, Generative Ventures, Robot Ventures and Samsung Next, as well as angel investors including Justin Drake of the Ethereum Foundation and Sreeram Kanaan, founder of EigenLayer.

Pi Squared is reportedly led by Grigore Rosu, a professor of computer science at the University of Illinois at Urbana-Champaign. The company plans to use the new funds to expand its products. Pi Squared's first product is a "universal settlement layer" that can settle blockchain transactions in any programming language. Rosu said the company is also developing "universal zero-knowledge circuits," which will enable "trustless remote computing, AI, and interoperable smart contracts for any blockchain or dApp" through zero-knowledge technology. The project is expected to enter the testnet stage by the end of 2024.

According to Web3 asset data platform RootData, Pi Squared uses zero-knowledge proof (ZK) technology to verify the correctness of the execution of any program without relying on a specific programming language (PL) or virtual machine (VM). It is based on the K framework and matching logic, providing a universal and efficient verification method that aims to achieve seamless interoperability of blockchains, languages, and applications.