Champaign, Illinois, Estados Unidos, 2 de julho de 2024, Chainwire

Pi Squared, (Proof of Proof), anunciou o encerramento de seu primeiro aumento de capital. Liderado pela Polychain Capital, o sindicato inclui ABCDE, Bloccelerate, Generative Ventures, Robot Ventures e Samsung Next. Os investidores anjos incluem Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju e Common Prefix.

Usando a tecnologia de conhecimento zero (ZK) de maneira correta desde a construção e fundamentalmente única, Pi Squared permitirá computação remota sem confiança, IA e contratos inteligentes interoperáveis ​​para qualquer blockchain ou dApp. Isto 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 uma linguagem comum, VM ou arquitetura de conjunto de instruções (ISA).

“Nossa missão é revolucionar a computação verificável, tornando-a universal para todas as linguagens e máquinas virtuais, inerentemente correta na construção e extremamente rápida”, diz Grigore Roșu, CEO da Pi Squared e professor de CS na Universidade de Illinois Urbana-Champaign . “Isso terá muitas aplicações, incluindo uma camada de liquidação universal (USL) para que todos os Blockchains, L1s e L2s, possam ser universais, corretos, interoperáveis ​​e eficientes. Não termina aí, a nossa missão a longo prazo é estabelecer toda a ciência e conhecimento na USL.” 

“A tecnologia de prova de prova da Pi Squared terá um impacto transformador na Web3 e além”, disse Karthik Raju, GP da Polychain Capital. “O circuito ZK universal da Pi Squared aumentará significativamente o alcance e a aplicabilidade do Web3 para todos, desde construtores até usuários finais.”

Pi Squared permitirá a próxima geração de computação verificável que é universal e escalável com uma base de confiança mínima ideal. O primeiro produto desenvolvido pela Pi Squared é o Universal Settlement Layer (USL), uma arquitetura para blockchains modulares que permite as seguintes características:

Universalidade

Os cálculos podem ser expressos em qualquer linguagem de máquina virtual ou de alto nível, sem a necessidade de compiladores ou tradutores.

Correção comprovável

Os cálculos verificados pela USL são matematicamente comprovados como corretos e qualquer entidade externa pode verificar de forma independente a exatidão do estado da USL.

Minimidade da base de confiança

A USL expõe quaisquer suposições de confiança nos cálculos da camada superior para aumentar a transparência, a conscientização do usuário final e minimizará a base de confiança por meio de provas de correção.

Interoperabilidade de aplicativos

A USL apoiará a interoperabilidade entre diferentes módulos de aplicação e redes (por exemplo, appchains). 

Determinismo e reprodutibilidade

A validação é reproduzível e verificável de forma independente por qualquer entidade externa.

O USL do Pi Squared, portanto, fornece garantias de correção ponta a ponta para cálculos genéricos, ao mesmo tempo que minimiza a base de confiança subjacente a esses cálculos. A USL promove a computação verificável como o paradigma de computação distribuída padrão sem exigir ou promover linguagens específicas de domínio (DSLs), VMs ou ambientes de execução específicos, ao mesmo tempo em que é eficiente e escalável.

Pi Squared estará apresentando e expondo em eventos em torno do EthCC em Bruxelas, de 8 a 11 de julho. Os participantes poderão ouvir o CEO da Pi Squared, Grigore Roșu, falar no Restaking & Infra Day em 8 de julho e no L2con em 9 de julho.

Sobre Pi ao quadrado

Pi Squared significa provas ZK de provas matemáticas. Pi Squared usa a tecnologia ZK de uma forma correta por construção e fundamentalmente única. Um circuito ZK universal e surpreendentemente pequeno fornece garantias de correção de computação verificável para todos os idiomas e VMs, sem qualquer tradução para um idioma comum, VM ou ISA. Pi Squared é liderado pelo professor da UIUC Grigore Rosu, fundador da estrutura K e da Runtime Verification, e consiste em pesquisadores e fundadores de projetos de sucesso em métodos formais, blockchain e AI/ML.

Para agendar uma reunião com o CEO e a equipe da Pi Squared, os participantes podem entrar em contato pelo e-mail contact@pi2.network. 

Para saber mais sobre a visão e a Prova de Prova da Pi Squared, visite pi2.network e siga a Pi Squared nas redes sociais.

Contato

Chefe de MarketingChris HazeltonPi Squared Incmedia@pi2.network