A maioria das pessoas pensa na blockchain como código imutável e assinaturas criptográficas. Grigore Roșu vê de forma diferente: como matemática em movimento. Um veterano da NASA e professor de ciência da computação, Roșu está construindo a Pi Squared—uma reimaginação radical do Web3 onde cada computação se torna uma prova matemática, verificável por design.
Nesta entrevista, ele explica por que blockchains são apenas um caso de uso para seu stack 'priorizando verificabilidade', como agentes de IA podem operar sem nunca tocar uma cadeia, e por que a distinção entre L1s e L2s pode em breve desaparecer completamente.
Você pode compartilhar sua jornada no Web3? O que o levou a fundar a Pi Squared?
Entrei no espaço Web3 e blockchain em 2017. Curiosamente, antes disso, trabalhei extensivamente em verificação formal e métodos formais, particularmente em semântica de linguagens de programação. Essas técnicas foram usadas principalmente para analisar e provar a correção de software crítico para missões para clientes como NASA, Boeing e Toyota.
Eu co-fundei outra empresa focada em verificação em tempo de execução. Aplicamos técnicas de verificação formal a software crítico para missões. Então, em 2017, Charles Hoskinson, o fundador da Cardano, entrou em contato comigo e sugeriu que esses mesmos métodos poderiam ser aplicados para verificar contratos inteligentes e protocolos no Web3. Eu o investiguei, e ele era legítimo, e foi assim que começamos a colaborar.
Então trouxemos as rigorosas técnicas de análise de software usadas na indústria aeroespacial e automotiva para o Web3. Assim que comecei. Também sou professor de ciência da computação na Universidade de Illinois Urbana-Champaign, onde ensino esses métodos há mais de 20 anos. Ainda colaboro com a NASA também.
Como você imagina o papel da Pi Squared na promoção do Web3 através de uma infraestrutura priorizando verificabilidade?
Web3 é tudo sobre verificabilidade. Ele empodera indivíduos a possuírem e transferirem seus ativos digitais. Mas isso levanta uma grande questão: e se os programas falharem, ou pior, e se alguém tentar roubar ativos maliciosamente? É aí que a verificabilidade se torna crucial.
Na Pi Squared, aplicamos décadas de pesquisa em linguagens de programação e verificação formal ao Web3. Geramos provas matemáticas de que contratos inteligentes e outros programas estão funcionando exatamente como deveriam, de acordo com suas definições formais. É o nível mais rigoroso de garantia de software que conhecemos, e estamos trazendo isso para o Web3.
Quais são os principais componentes do seu stack de verificabilidade (VSL, VLM e Prova de Prova), e como eles trabalham juntos?
Os componentes principais são a Camada de Liquidação Verificável (VSL), a Máquina de Linguagem Verificável (VLM) e o que chamamos de 'prova de prova'.
Tudo é construído sobre definições matemáticas de linguagens de programação e modelos computacionais. Acreditamos—quase religiosamente—que você não pode falar sobre correção a menos que esteja usando definições matemáticas. Este campo de semântica formal existe há mais de 50 anos e é fundamental para a ciência da computação.
Em nosso sistema, cada computação—seja uma execução de programa ou uma transferência de token—gera uma prova matemática. Computação é dedução, raciocínio. O que fazemos de diferente é verificar a integridade da execução do programa verificando a integridade de sua prova matemática.
A 'prova de prova' refere-se a uma prova criptográfica de conhecimento zero de uma prova matemática. É isso que dá o nome à nossa empresa—Pi Squared. Provas matemáticas são grandes, mas precisas, e provas criptográficas são pequenas, mas eficientes. Ao combinar ambas, conseguimos sucintez e correção.
O VSL lida com liquidações de computação verificáveis. O VLM reduz qualquer execução de linguagem de programação a uma prova matemática. E a prova de prova é a cereja do bolo—providenciando evidência criptográfica compacta de correção.
Como a Máquina de Linguagem Verificável lida com a interoperabilidade entre idiomas, por exemplo, trocas multilíngues?
A beleza da Máquina de Linguagem Verificável é que ela reduz as computações em qualquer linguagem a provas matemáticas. Uma vez que você está trabalhando com matemática, a interoperabilidade é automática.
A matemática está presente há milhares de anos, e ela naturalmente permite a interoperabilidade. Você pode usar álgebra na geometria, e vice-versa. Da mesma forma, se cada execução de programa se torna uma prova matemática, todas essas provas são interoperáveis. Portanto, ao traduzir computação para matemática, conseguimos interoperabilidade gratuitamente.
Quais desafios arquitetônicos surgiram ao construir uma camada de verificação ZK universal?
Nossa camada de verificação ZK universal tem duas partes: reduzir a computação a uma prova matemática e então gerar uma prova ZK a partir disso.
A primeira parte—semântica formal—é um campo maduro. A segunda parte, traduzir provas matemáticas em provas ZK, é mais nova e apresenta desafios únicos.
Adaptar circuitos ZK para trabalhar com provas matemáticas foi surpreendentemente não a parte mais difícil. O grande desafio foi projetar uma infraestrutura que pudesse gerar essas provas matemáticas em tempo real enquanto um programa é executado—digamos, no EVM. Ninguém mais está fazendo isso, e é aí que a Pi Squared se destaca.
Enquanto a maioria dos projetos ZK cria circuitos personalizados para linguagens específicas como RISC-V, nós vamos de qualquer linguagem para matemática, e então de matemática para ZK. É isso que torna nosso sistema universal.
Quais marcos importantes você está planejando nos próximos 12–24 meses, especialmente em relação à maturidade do DevNet e ao lançamento da mainnet?
Nosso maior marco iminente é o lançamento da nossa Mainnet, uma grande rede de validadores descentralizada. Esperamos ter mais de um milhão de validadores. Qualquer um pode se juntar, mesmo com um laptop ou celular.
Graças à eficiência de verificação de provas ZK, milhares de verificações por segundo podem ser feitas em hardware cotidiano. Uma vez que a rede esteja ativa, as possibilidades são infinitas.
Nós construiremos aplicações por cima, como agentes de IA e até mesmo blockchains inteiras. Na verdade, nossa infraestrutura é mais fundamental do que blockchains. Nós não distinguimos entre Layer 1 e Layer 2. Somos como um Layer 0—ou até mesmo Layer -1.
Como você planeja integrar milhões de desenvolvedores ao Web3 com sua abordagem 'Traga Sua Própria Linguagem'?
Com BYOL (Traga Sua Própria Linguagem), os desenvolvedores podem escrever aplicações Web3 na linguagem que já estão usando: Java, C, C++, e assim por diante.
Isso expande massivamente a base de desenvolvedores de dezenas de milhares que conhecem Solidity para milhões que conhecem linguagens de programação convencionais. Você não precisa mais aprender Solidity ou EVM para se tornar um desenvolvedor Web3.
Qual é a sua visão sobre como uma camada de liquidação universal pode interromper as atuais arquiteturas Layer 2?
Honestamente, L2s existem porque L1s como Ethereum são muito lentos e caros. Mas se você tiver uma camada de liquidação universal e verificável que pode lidar com qualquer computação em qualquer idioma instantaneamente, você não precisa mais distinguir entre L1s e L2s.
Em nosso sistema, ambos se tornam apenas aplicações em cima de nossa infraestrutura. Até mesmo votação, pagamentos e leilões podem ser feitos verificavelmente e descentralizados—sem necessidade de uma blockchain.
Qual é a sua posição sobre a mudança para verificação modular em contraste com o Web3 tradicional centrado em blockchain?
Blockchains tradicionais impõem uma ordem total de transações, como o Bitcoin faz, para prevenir gastos duplos. Mas isso vem com um custo de escalabilidade massivo.
Nossa abordagem é diferente. Cada computação é verificável independentemente e não precisa ser ordenada. É como folhas de árvore se movendo independentemente ao vento. Esse é o futuro do Web3.
Onde você vê os maiores desafios na convergência da IA e cripto, e como o VSL da Pi Squared os abordará?
Agentes de IA precisam de duas coisas do cripto: pagamentos e liquidação de estado. Ambas podem ser feitas sem uma blockchain.
As blockchains podem oferecer esses recursos, mas a um alto custo. O VSL da Pi Squared fornece verificabilidade, descentralização e correção—tudo com desempenho ilimitado. Sem esperar na fila, sem ordenação forçada.
Ao 'desencadear a cadeia', criamos uma fundação para agentes de IA operarem livre e independentemente, sem sacrificar a descentralização ou a segurança.
A postagem Pi Squared Quer Substituir Layer 1, Layer 2—e Tudo Entre Eles apareceu primeiro no Metaverse Post.
