Pi Squared, uma empresa que pretende permitir a computação verificável através do uso de tecnologia de conhecimento zero, anunciou na terça-feira que levantou US$ 12,5 milhões em uma rodada inicial liderada pela Polychain Capital.

A participação na rodada incluiu ABCDE, Bloccelerate, Generative Ventures, Robot Ventures e Samsung Next, bem como investidores anjos, incluindo Justin Drake da Fundação Ethereum e Sreeram Kanaan, fundador da EigenLayer.

A nova rodada de capital será usada para expandir os produtos que a empresa planeja lançar.

O primeiro produto da Pi Squared é sua “Camada de Liquidação Universal”, que liquida transações blockchain – ou como eles as chamam, “reivindicações” – em qualquer linguagem de programação, disse Grigore Rosu, CEO da Pi Squared, em entrevista à CoinDesk.

Rosu é professor de ciência da computação na Universidade de Illinois Urbana-Champaign, e a ideia do Pi Squared surgiu de sua carreira acadêmica.

“Fiz essa pesquisa com meus alunos ao longo de muitos e muitos anos”, disse Rosu ao CoinDesk.

A empresa também está construindo um “Circuito Universal ZK”, que usa tecnologia de conhecimento zero para permitir “computação remota confiável, IA e contrato inteligente interoperável para qualquer blockchain ou dApp”, escreveu Pi Squared em um comunicado à imprensa.

“Isso será possível através da criação de um circuito ZK universal e surpreendentemente pequeno que verifica a integridade das provas matemáticas, que fornecerá garantias de correção de computação verificável para todas as linguagens e máquinas virtuais (VMs) diretamente de sua semântica formal, sem qualquer tradução para um idioma comum, VM ou arquitetura de conjunto de instruções (ISA)”, segundo a empresa.

Pi Squared ainda está em fase de prova de conceito. Rosu disse que o projeto deve estar em testnet até o final de 2024.