Interpretando Pi ao quadrado: Liderado por elites acadêmicas das melhores universidades

Embora o BTC tenha experimentado uma tendência de queda nos últimos dias, o mercado primário continuou a revelar acordos de financiamento significativos. Além dos US$ 85 milhões levantados pela gigante de IA Sentiment, outro projeto de financiamento digno de nota nesta semana é o Pi Squared, relacionado à tecnologia ZK.

Em 2 de julho, a Pi Squared anunciou que havia garantido US$ 12 milhões em financiamento inicial liderado pela Polychain Capital, com participação da ABCDE, Bloccelerate, Generative Ventures, Robot Ventures e Samsung Next. Entre os investidores-anjo estavam Justin Drake, da Ethereum Foundation, e Sreeram Kanaan, fundador da EigenLayer.

A partir de informações publicamente disponíveis, o nome Pi Squared sugere profundas implicações matemáticas, com a natureza infinita do pi ao quadrado criando um senso de profundidade técnica e mistério. O projeto em si se concentra na construção de “circuitos ZK universais” e de uma “camada de assentamento universal”, muitas vezes descritos de uma forma difícil de entender, embora as palavras sejam familiares.

Apesar da natureza elevada e aparentemente incompreensível do projeto, a combinação de VCs de alto nível e indivíduos conhecidos como investidores anjos torna o Pi Squared difícil de ignorar. Então, o que exatamente é a Pi Squared?

Pi Squared: Liderado por elites acadêmicas das melhores universidades

Desenhar Pi ao quadrado em um quadro negro pode ser desconcertante para muitos, mas quando as elites acadêmicas fazem isso, o efeito é bem diferente.

O Pi Squared é liderado por Grigore Rosu, professor de ciência da computação da University of Illinois Urbana-Champaign (UIUC), que também atua como CEO do projeto.

Em 2014, Grigore Rosu tornou-se professor titular da UIUC, especializando-se em verificação formal e verificação de tempo de execução. Para simplificar, a verificação formal envolve o uso de métodos matemáticos para provar a correção de sistemas de software e hardware, garantindo que eles funcionem adequadamente sob várias condições. A verificação do tempo de execução, por outro lado, envolve o monitoramento em tempo real do comportamento do sistema para aumentar a estabilidade e a segurança.

De acordo com a Wikipedia, o professor Grigore Rosu publicou vários artigos que receberam os principais prêmios da Association for Computing Machinery (ACM) e da International Conference on Automated Software Engineering (ASE).

Mas o que isso tem a ver com um projeto de criptografia?

Se você observar a principal descrição comercial do Pi Squared, verá que ele usa a tecnologia de prova de conhecimento zero (ZK) para verificar a execução correta de qualquer programa, independentemente da linguagem de programação (PL) ou da máquina virtual (VM) usada. Ela fornece um método de verificação universal e eficiente com o objetivo de obter uma interoperabilidade perfeita entre blockchains, linguagens e aplicativos.

Isso se alinha perfeitamente com a experiência do professor Grigore Rosu em verificação, tornando-a uma aplicação ideal de seu conhecimento acadêmico.

USL: facilitando a liquidação de transações do sistema

Vamos dar uma olhada mais de perto na “camada de liquidação universal” (USL) que o Pi Squared pretende criar.

Em primeiro lugar, é importante observar que a Pi Squared não visa diretamente os usuários finais, mas fornece produtos para várias comunidades de criptografia e desenvolvedores.

O objetivo da Pi Squared é criar uma USL que simplifique a interoperabilidade entre blockchains, linguagens e aplicativos, eliminando a necessidade de implementações de linguagem tradicionais, muitas vezes propensas a erros, como compiladores, tradutores ou intérpretes.

Para entendê-lo de forma simples, você pode pensar nele como um supertradutor que permite que diferentes blockchains, linguagens de programação e aplicativos operem perfeitamente uns com os outros. Os desenvolvedores podem criar mais facilmente aplicativos entre cadeias e entre linguagens.

Aqui está um diagrama do Pi Squared website ilustrando a função desse supertradutor:

1. Iniciar transação: um usuário (por exemplo, Alice) inicia uma solicitação de transação, como a transferência de 1 WETH para Bob. WETH é um token compatível com ERC20.
2. Liquidação Universal: a solicitação de transação é enviada a um ambiente compatível com qualquer máquina virtual e linguagem de programação, como EVM ou Python. Essa é a camada de liquidação universal – a computação pode ser expressa em qualquer linguagem ou VM, desde que haja uma especificação formal para essa linguagem ou VM específica.
3. Gerar prova: Na etapa 2, é gerada uma prova matemática para verificar a exatidão da transação. Essa prova é muito precisa, mas pode ser muito grande.
4. Verificação de prova: Um verificador de provas ZK-ED (zero-knowledge – matching logic) é usado para verificar a “grande prova”. Esse verificador é pequeno e pode processar tarefas paralelas de grande escala.
5. Compressão ZK: Por fim, uma prova de conhecimento zero é gerada para verificar a exatidão da transação. Essa prova de conhecimento zero é pequena e pode ser transmitida e verificada com eficiência.

Assim, o processo acima demonstra como uma simples solicitação de transação pode levar à geração e à verificação de provas matemáticas, produzindo, por fim, uma prova menor de conhecimento zero para garantir a correção e a privacidade da transação.

Do ponto de vista do ecossistema do projeto, o Pi Squared ocupa uma posição intermediária na pilha de tecnologia, acima da camada de computação e dos serviços de sequenciamento e abaixo da camada de consenso e disponibilidade de dados.

A USL do Pi Squared pode ser vista como um rollup otimista que interpreta e verifica a correção das transações computacionais, conectando a camada de computação acima com a camada de consenso abaixo.

Além disso, a Pi Squared mencionou ter sua própria rede com nós executando protocolos de consenso, sugerindo um possível sistema econômico baseado em staking diretamente relacionado ao token do projeto. No entanto, nenhuma informação sobre o token foi divulgada nos documentos do projeto até o momento, deixando espaço para especulações sobre seu futuro.

O Pi Squared ainda está em fase de prova de conceito. O professor Rosu afirmou que o projeto entraria na fase de testnet até o final de 2024. Atualmente, ele está em fase de aquecimento e promoção, sem atividades ou tarefas disponíveis para participação.

Continuaremos a monitorar o projeto. Independentemente de qualquer apelo para que não se assuma o controle, sempre haverá oportunidades das quais vale a pena participar.