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.
Minimalidade 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 apresentará e exporá 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
A postagem Pi Squared levanta US$ 12,5 milhões em financiamento inicial liderado pela Polychain Capital para construir um circuito ZK universal alimentado por prova de prova apareceu pela primeira vez em CaptainAltcoin.