ChainCatcher news, according to CoinDesk, Pi Squared, a company that utilizes zero-knowledge technology to achieve verifiable computation, announced that it has raised $12.5 million in a seed round led by Polychain Capital. Other participants in this round include ABCDE, Bloccelerate, Generative Ventures, Robot Ventures, and Samsung Next, as well as angel investors including Justin Drake from the Ethereum Foundation and Sreeram Kanaan, founder of EigenLayer.It is reported that Pi Squared is led by Grigore Rosu, a computer science professor at the University of Illinois Urbana-Champaign. The company plans to use the new funding to expand its products. Pi Squared's first product is the "Universal Settlement Layer," which can settle blockchain transactions in any programming language. Rosu stated that the company is also developing "Universal Zero-Knowledge Circuits," which will enable "trustless remote computation, AI, and interoperable smart contracts for any blockchain or dApp" through zero-knowledge technology. The project is expected to enter the testnet phase by the end of 2024.Additionally, the Web3 asset data platform RootData shows that Pi Squared uses zero-knowledge proof (ZK) technology to verify the correctness of any program's execution without relying on specific programming languages (PL) or virtual machines (VM). Based on the K framework and matching logic, it provides a universal and efficient verification method aimed at achieving seamless interoperability between blockchains, languages, and applications.