Pi Squared arrecada 12,5 milhões de dólares em investimento inicial liderado pela Polychain Capital para desenvolver um circuito universal ZK baseado em prova de conhecimento zero.

Em Chainwire, em Champaign, Illinois, nos Estados Unidos da América, em 2 de julho de 2024.

O Pi Squared, também conhecido como Proof of Proof, anunciou o encerramento com sucesso de sua primeira rodada de investimentos. O financiamento foi liderado pela Polychain Capital e contou com a participação de diversos investidores, incluindo ABCDE, Bloccelerate, Generative Ventures, Robot Ventures e Samsung (KS:005930) Next. Entre os investidores-anjo estão nomes como Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju e Common Prefix.

Através do uso da tecnologia zero-conhecimento (ZK) de forma inovadora e única, a Pi Squared possibilitará a computação remota sem a necessidade de confiança, bem como a interoperabilidade de inteligência artificial e contratos inteligentes para qualquer blockchain ou dApp. Isso será viabilizado pela criação de um circuito ZK universal extremamente compacto que verifica a validade de provas matemáticas, garantindo a correção computacional em todas as linguagens e máquinas virtuais (VMs) diretamente de suas semânticas formais, sem a necessidade de tradução para uma linguagem comum, VM ou arquitetura de instrução definida (ISA).

Universalidade refere-se à qualidade de algo que é comum a todos, que é geral, abrangente e aplicável em diferentes contextos ou situações.

Cálculos podem ser descritos em qualquer linguagem de alto nível ou virtual sem a utilização de compiladores ou tradutores.

Provável correção.

As computações validadas pela USL são demonstradamente precisas, e qualquer parte externa pode verificar de forma independente a exatidão do status da USL.

Essencialidade de uma Fundação de Confiança

A USL revela os fundamentos da confiança na computação em níveis avançados para promover maior transparência, conscientização do usuário final e reduzir a necessidade de confiança por meio de evidências de precisão.

Compatibilidade entre aplicativos

A USL irá promover a capacidade de diferentes módulos de aplicação e redes (como aplicações) de se comunicarem e trabalharem juntos.

Determinismo e a capacidade de replicar resultados.

A validação pode ser reproduzida e verificada de forma independente por qualquer entidade externa.

A USL da Pi Squared oferece garantias completas de correção para cálculos genéricos, reduzindo a necessidade de confiança nessas operações. A USL incentiva o uso da computação verificável como o modelo padrão de computação distribuída, sem a necessidade de linguagens de domínio específicas, máquinas virtuais ou ambientes de execução, mantendo eficiência e escalabilidade.

Pi Squared vai estar participando e fazendo apresentações durante os eventos na EthCC em Bruxelas, de 8 a 11 de julho. Os participantes terão a oportunidade de ouvir o CEO da Pi Squared, Grigore Roşu, discursar no Dia Restaking & Infra em 8 de julho e no L2con em 9 de julho.

Sobre o número Pi elevado al cuadrado.

Pi Squared é uma plataforma que utiliza a tecnologia ZK para realizar provas matemáticas de forma única e eficaz. Liderada pelo professor da UIUC Grigore Rosu, fundador do K framework e da Runtime Verification, a equipe do Pi Squared é composta por pesquisadores e fundadores de projetos bem-sucedidos em métodos formais, blockchain e inteligência artificial/aprendizado de máquina. Essa plataforma apresenta um circuito ZK universal e compacto que garante a correção verificável para todas as linguagens e máquinas virtuais, sem a necessidade de tradução para uma linguagem comum, VM ou ISA.

Os interessados em marcar uma reunião com o CEO e a equipe da Pi Squared podem entrar em contato através do e-mail contact@pi2.network.

Para obter mais informações sobre a perspectiva de Pi Squared e Proof of Proof, acesse o site pi2.network e acompanhe Pi Squared nas mídias sociais.

Chris Hazelton, chefe de marketing da Quadrado Inc, pode ser contatado através do email media@pi2.network.

Este artigo foi primeiramente divulgado em Chainwire.