Ethereum pode passar pela maior atualização da sua história: EVM será desativada e RISC-V assumirá o controle

Título original: Goodbye EVM, Hello RISC-V

Autor original: jaehaerys.eth, pesquisador de cripto

Tradução original: TechFlow

Resumo

Ethereum está se preparando para a transformação arquitetônica mais importante desde sua criação: substituir a EVM por RISC-V.

A razão é simples — em um futuro centrado em zero-knowledge (ZK), a EVM já se tornou um gargalo de desempenho:

· Atualmente, zkEVM depende de interpretadores, levando a uma desaceleração de desempenho de 50–800 vezes;

· Módulos pré-compilados tornam o protocolo mais complexo e aumentam os riscos;

· O design da pilha de 256 bits é extremamente ineficiente na geração de provas.

Soluções do RISC-V:

· Design minimalista (cerca de 47 instruções básicas) + ecossistema LLVM maduro (suporte para Rust, C++, Go, etc.);

· Já se tornou o padrão de fato para zkVM (adotado por 90% dos projetos);

· Possui especificação formal SAIL (em comparação ao ambíguo Yellow Paper) → permite verificação rigorosa;

· Caminho de provas em hardware (ASICs/FPGAs) já em teste (SP1, Nervos, Cartesi, etc.).

O processo de migração é dividido em três fases:

· Substituir por módulos pré-compilados RISC-V (teste de baixo risco);

· Era de máquinas virtuais duplas: EVM e RISC-V coexistem e são totalmente interoperáveis;

· Reimplementar a EVM dentro do RISC-V (estratégia Rosetta).

Impacto no ecossistema:

· Rollups otimistas (como Arbitrum e Optimism) precisarão reconstruir o mecanismo de provas de fraude;

· Rollups de zero-knowledge (como Polygon, zkSync, Scroll) terão enorme vantagem → mais barato, mais rápido, mais simples;

· Desenvolvedores poderão usar diretamente bibliotecas de Rust, Go e Python na camada L1;

· Usuários desfrutarão de custos de prova cerca de 100 vezes menores → caminho para o Gigagas L1 (cerca de 10.000 TPS).

No final, Ethereum evoluirá de uma "máquina virtual de contratos inteligentes" para uma camada de confiança minimalista e verificável da internet, com o objetivo final de "ZK-Snarkificar tudo".

O cruzamento do Ethereum

Vitalik Buterin já disse: "O objetivo final inclui... ZK-Snarkificar tudo."

O fim do jogo para provas de zero-knowledge (ZK) é inevitável, e o argumento central é simples: Ethereum está se reconstruindo do zero com base em provas de zero-knowledge. Isso marca o ponto final técnico do protocolo — uma reconstrução do L1, impulsionada por um zkVM de alto desempenho apoiado por equipes centrais de desenvolvimento (como a Succinct).

Com essa visão como destino, Ethereum está diante da mais importante transformação arquitetônica desde sua criação. A discussão não é mais sobre atualizações incrementais, mas sim uma reconstrução completa do núcleo computacional — substituindo a Ethereum Virtual Machine (EVM). Esta iniciativa é a pedra angular da visão mais ampla do "Lean Ethereum".

A visão do Lean Ethereum busca simplificar sistematicamente todo o protocolo, dividindo-o em três módulos principais: Lean Consensus, Lean Data e Lean Execution. No cerne da Lean Execution, a questão mais crítica é: a EVM, motor da revolução dos contratos inteligentes, tornou-se o principal gargalo para o futuro do Ethereum?

Como disse Justin Drake da Ethereum Foundation, o objetivo de longo prazo do Ethereum sempre foi "Snarkificar tudo", uma poderosa ferramenta para fortalecer todas as camadas do protocolo. No entanto, por muito tempo, esse objetivo parecia um "plano distante", pois exigia o conceito de real-time proving. Agora, com a realização gradual de provas em tempo real, a ineficiência teórica da EVM tornou-se um problema prático urgente.

Este artigo analisa profundamente os argumentos técnicos e estratégicos para migrar o Ethereum L1 para a arquitetura de conjunto de instruções RISC-V (ISA). Essa iniciativa não só promete liberar uma escalabilidade sem precedentes, mas também simplificar a estrutura do protocolo e alinhar o Ethereum ao futuro da computação verificável.

O que mudou, afinal?

Antes de discutir o "porquê", é preciso esclarecer o "o quê" está mudando.

A EVM (Ethereum Virtual Machine) é o ambiente de execução dos contratos inteligentes do Ethereum, conhecida como o "computador mundial" que processa transações e atualiza o estado da blockchain. Por anos, seu design foi revolucionário, lançando as bases para DeFi e o ecossistema NFT. No entanto, essa arquitetura personalizada de quase uma década acumulou uma enorme dívida técnica.

Em contraste, RISC-V não é um produto, mas um padrão aberto — um "alfabeto" gratuito e universal para design de processadores. Como enfatizou Jeremy Bruestle na conferência Ethproofs, seus princípios-chave o tornam uma excelente escolha para esse papel:

· Minimalismo: O conjunto de instruções básico do RISC-V é extremamente simples, com cerca de 40 a 47 instruções. Como Jeremy disse, isso o torna "praticamente perfeito para o caso de uso de uma máquina universal super minimalista que precisamos".

· Design modular: Funcionalidades mais complexas são adicionadas por extensões opcionais. Isso é crucial, pois permite que o núcleo permaneça simples, enquanto funcionalidades podem ser expandidas conforme necessário, sem impor complexidade desnecessária ao protocolo básico.

· Ecossistema aberto: RISC-V possui uma vasta e madura cadeia de ferramentas, incluindo o compilador LLVM, permitindo que desenvolvedores usem linguagens populares como Rust, C++ e Go. Como Justin Drake mencionou: "As ferramentas em torno dos compiladores são muito ricas, e construir compiladores é extremamente difícil... então ter essas toolchains de compiladores é de enorme valor." O RISC-V permite que o Ethereum herde essas ferramentas prontas gratuitamente.

O problema do overhead do interpretador

O impulso para substituir a EVM não vem de um único defeito, mas da convergência de várias limitações fundamentais, que, em um futuro centrado em provas de zero-knowledge, não podem mais ser ignoradas. Essas limitações incluem gargalos de desempenho em sistemas de provas ZK e o risco crescente devido à complexidade acumulada dentro do protocolo.

O motor mais urgente dessa transformação é a ineficiência inerente da EVM em sistemas de provas ZK. À medida que o Ethereum migra para um modelo onde o estado do L1 é verificado por provas ZK, o desempenho dos provers se torna o maior gargalo.

O problema está na forma como os zkEVMs atuais funcionam. Eles não provam diretamente a EVM, mas sim o interpretador da EVM, que por sua vez é compilado para RISC-V. Vitalik Buterin apontou claramente esse problema central:

"...Se a implementação do zkVM é compilar a execução da EVM para algo que acaba virando código RISC-V, por que não expor diretamente o RISC-V subjacente aos desenvolvedores de contratos inteligentes? Assim, podemos eliminar completamente o overhead da máquina virtual externa."

Essa camada extra de interpretação traz uma enorme perda de desempenho. Estimativas sugerem que, em comparação com provar programas nativos, essa camada pode causar uma desaceleração de 50 a 800 vezes. Mesmo otimizando outros gargalos (como mudando para o hash Poseidon), essa parte de "execução de bloco" ainda consome 80-90% do tempo total de prova, tornando a EVM o obstáculo final e mais difícil para escalar o L1. Ao remover essa camada, Vitalik prevê um aumento de eficiência de até 100 vezes.

A armadilha da dívida técnica

Para compensar a baixa performance da EVM em operações criptográficas específicas, o Ethereum introduziu contratos pré-compilados — funcionalidades especializadas codificadas diretamente no protocolo. Embora essa solução tenha sido pragmática na época, hoje ela leva ao que Vitalik Buterin chama de situação "ruim":

"Pré-compilados são desastrosos para nós... Eles aumentaram enormemente o código confiável do Ethereum... e já causaram quase falhas de consenso sérias algumas vezes."

A complexidade é impressionante. Vitalik exemplifica que o código wrapper de um único pré-compilado (como modexp) é mais complexo que todo o interpretador RISC-V, e a lógica do pré-compilado é ainda mais complicada. Adicionar novos pré-compilados exige um processo de hard fork lento e politicamente controverso, dificultando a inovação de aplicações que precisam de novos primitivos criptográficos. Sobre isso, Vitalik conclui:

"Acho que devemos parar de adicionar qualquer novo pré-compilado a partir de hoje."

Dívida técnica arquitetônica do Ethereum

O design central da EVM reflete prioridades de uma era passada, mas não atende mais às necessidades computacionais modernas. A EVM escolheu uma arquitetura de 256 bits para lidar com valores criptográficos, mas para inteiros de 32 ou 64 bits, comuns em contratos inteligentes, essa arquitetura é extremamente ineficiente. Essa ineficiência é especialmente cara em sistemas ZK. Como Vitalik explica:

"Ao usar números menores, cada número na verdade não economiza recursos, e a complexidade aumenta de duas a quatro vezes."

Além disso, a arquitetura de pilha da EVM é menos eficiente que a arquitetura de registradores do RISC-V e CPUs modernas. Ela exige mais instruções para realizar as mesmas operações e dificulta otimizações de compilador.

Esses problemas — gargalos de desempenho em provas ZK, complexidade dos pré-compilados e escolhas arquitetônicas obsoletas — formam um argumento convincente e urgente: Ethereum precisa ir além da EVM e adotar uma arquitetura tecnológica mais adequada ao futuro.

O plano RISC-V: remodelando o futuro do Ethereum com uma base mais forte

As vantagens do RISC-V não estão apenas nas deficiências da EVM, mas também na força inerente de sua filosofia de design. Sua arquitetura oferece uma base robusta, simples e verificável — ideal para ambientes de alto risco como o Ethereum.

Por que padrões abertos são melhores que designs personalizados?

Diferente de arquiteturas ISA personalizadas, que exigem construir todo o ecossistema de software do zero, o RISC-V é um padrão aberto maduro, com três vantagens principais:

Ecossistema maduro

Ao adotar RISC-V, Ethereum pode aproveitar décadas de progresso coletivo da ciência da computação. Como Justin Drake explica, isso permite ao Ethereum usar ferramentas de classe mundial diretamente:

"Existe um componente de infraestrutura chamado LLVM, uma cadeia de ferramentas de compilador que permite compilar linguagens de alto nível para vários backends. Um dos backends suportados é o RISC-V. Então, se você suporta RISC-V, automaticamente suporta todas as linguagens de alto nível suportadas pelo LLVM."

Isso reduz drasticamente a barreira de entrada, permitindo que milhões de desenvolvedores familiarizados com Rust, C++ e Go comecem a trabalhar facilmente.

Filosofia de design minimalista O minimalismo do RISC-V é uma característica intencional, não uma limitação. Seu conjunto de instruções básico tem cerca de 47 instruções, mantendo o núcleo da VM extremamente enxuto. Essa simplicidade traz vantagens de segurança, pois um código confiável menor é mais fácil de auditar e formalizar.

Padrão de fato no campo de provas ZK Mais importante, o ecossistema zkVM já fez sua escolha. Como Justin Drake aponta, os dados da Ethproofs mostram uma tendência clara:

"RISC-V é a principal arquitetura de instrução (ISA) de backend para zkVM."

Entre dez zkVMs capazes de provar blocos do Ethereum, nove já escolheram RISC-V como arquitetura alvo. Essa convergência de mercado envia um sinal forte: ao adotar RISC-V, Ethereum não está fazendo uma aposta especulativa, mas sim alinhando-se a um padrão já validado e reconhecido por projetos que constroem o futuro ZK.

Nascido para confiança, não apenas execução

Além do amplo ecossistema, a arquitetura interna do RISC-V é especialmente adequada para construir sistemas seguros e verificáveis. Primeiro, o RISC-V possui uma especificação formal e legível por máquina — SAIL. Isso é um grande avanço em relação à especificação da EVM (principalmente textual no Yellow Paper), que é ambígua. A especificação SAIL fornece um "padrão ouro" que suporta provas matemáticas de correção, essenciais para proteger protocolos de alto valor. Como Alex Hicks da Ethereum Foundation mencionou na Ethproofs, isso permite que circuitos zkVM sejam verificados diretamente contra a especificação oficial do RISC-V. Segundo, o RISC-V inclui uma arquitetura privilegiada, um recurso muitas vezes ignorado, mas crucial para a segurança. Ela define diferentes níveis operacionais, principalmente o modo usuário (para aplicações não confiáveis, como contratos inteligentes) e o modo supervisor (para o "kernel de execução" confiável). Diego, da Cartesi, explica:

"O sistema operacional precisa se proteger de outros códigos. Ele precisa isolar diferentes programas, e todos esses mecanismos fazem parte do padrão RISC-V."

Na arquitetura RISC-V, contratos inteligentes rodando no modo usuário não podem acessar diretamente o estado da blockchain. Em vez disso, precisam fazer uma chamada especial ECALL ao kernel confiável rodando no modo supervisor. Esse mecanismo cria uma barreira de segurança reforçada por hardware, mais robusta e fácil de verificar do que o modelo de sandbox puramente de software da EVM.

A visão de Vitalik

Essa transformação é concebida como um processo gradual e em múltiplas fases, para garantir estabilidade e compatibilidade retroativa. Como Vitalik Buterin explica, essa abordagem busca uma evolução "evolutiva", não uma revolução completa.

Primeiro passo: substituição de pré-compilados

A fase inicial adota a abordagem mais conservadora, introduzindo funcionalidades limitadas da nova VM. Como Vitalik Buterin sugere: "Podemos começar usando a nova VM em cenários limitados, como substituir funcionalidades pré-compiladas." Especificamente, isso pausará a adição de novos pré-compilados EVM, substituindo-os por programas RISC-V aprovados por whitelist. Esse método permite que a nova VM seja testada em produção com baixo risco, enquanto clientes Ethereum atuam como intermediários entre os dois ambientes de execução.

Segundo passo: coexistência de máquinas virtuais duplas

A próxima fase "abre a nova VM diretamente aos usuários". Contratos inteligentes podem indicar se seu bytecode é EVM ou RISC-V. O recurso chave é a interoperabilidade perfeita: "Os dois tipos de contratos podem se chamar mutuamente." Isso será realizado via chamadas de sistema (ECALL), permitindo que as duas VMs colaborem no mesmo ecossistema.

Terceiro passo: EVM como contrato simulado (estratégia "Rosetta")

O objetivo final é a máxima simplificação do protocolo. Nessa fase, "a EVM será uma implementação dentro da nova VM." A EVM padronizada se tornará um contrato inteligente formalmente verificado rodando nativamente no RISC-V L1. Isso garante suporte permanente a aplicações legadas, enquanto permite que desenvolvedores de clientes mantenham apenas um motor de execução simplificado, reduzindo drasticamente a complexidade e os custos de manutenção.

O efeito dominó no ecossistema

A transição da EVM para RISC-V não é apenas uma mudança no protocolo central, mas terá impacto profundo em todo o ecossistema Ethereum. Essa transformação remodelará a experiência dos desenvolvedores, mudará fundamentalmente a dinâmica competitiva das soluções Layer-2 e desbloqueará novos modelos de validação econômica.

Reposicionamento dos Rollups: Optimistic vs ZK

Adotar RISC-V como camada de execução no L1 terá impactos distintos nos dois principais tipos de Rollup.

Optimistic Rollups (como Arbitrum, Optimism) enfrentam desafios arquitetônicos. Seu modelo de segurança depende da reexecução de transações contestadas na EVM do L1 para resolver provas de fraude. Se a EVM do L1 for substituída, esse modelo colapsa. Esses projetos terão que escolher entre uma grande reengenharia para criar um sistema de provas de fraude para a nova VM do L1, ou abandonar completamente o modelo de segurança do Ethereum.

Por outro lado, ZK Rollups terão enorme vantagem estratégica. A maioria já adotou RISC-V como sua arquitetura interna de instruções. Um L1 "falando a mesma língua" permitirá integração mais eficiente e próxima. Justin Drake propõe a visão de "Rollups nativos": L2s se tornam instâncias especializadas do ambiente de execução do próprio L1, usando a VM embutida do L1 para liquidação perfeita. Esse alinhamento trará:

· Simplificação da stack técnica: Equipes de L2 não precisarão mais construir pontes complexas entre o ambiente RISC-V interno e a EVM.

· Reutilização de ferramentas e código: Compiladores, depuradores e ferramentas de verificação formal desenvolvidas para o ambiente RISC-V do L1 podem ser usados diretamente no L2, reduzindo custos de desenvolvimento.

· Alinhamento de incentivos econômicos: As taxas de Gas do L1 refletirão com mais precisão o custo real da verificação ZK baseada em RISC-V, criando um modelo econômico mais racional.

Uma nova era para desenvolvedores e usuários

Para desenvolvedores Ethereum, essa transformação será gradual, não disruptiva.

Para desenvolvedores, será possível acessar um ecossistema de desenvolvimento de software mais amplo e maduro. Como Vitalik Buterin aponta, desenvolvedores "poderão escrever contratos em Rust, e essas opções poderão coexistir". Ele prevê que "Solidity e Vyper ainda serão populares por muito tempo devido à sua elegância para lógica de contratos inteligentes". Usar linguagens populares e suas vastas bibliotecas via LLVM será revolucionário. Vitalik compara isso a uma "experiência estilo NodeJS", onde desenvolvedores podem escrever código on-chain e off-chain na mesma linguagem, integrando o desenvolvimento.

Para usuários, a transformação resultará em custos mais baixos e desempenho de rede superior. Espera-se que o custo de prova caia cerca de 100 vezes, de alguns dólares por transação para alguns centavos ou menos. Isso se traduz em taxas L1 e custos de liquidação L2 mais baixos. Essa viabilidade econômica desbloqueará a visão do "Gigagas L1", com meta de cerca de 10.000 TPS, abrindo caminho para aplicações on-chain mais complexas e valiosas.

Succinct Labs e SP1: construindo o futuro das provas agora

Ethereum está pronto para decolar. "Expandir o L1, expandir o bloco" é uma missão estratégica urgente dentro do cluster de protocolos da EF. Espera-se um aumento significativo de desempenho nos próximos 6 a 12 meses.

Equipes como a Succinct Labs já demonstram na prática as vantagens teóricas do RISC-V, tornando seu trabalho um caso de validação dessa proposta.

O SP1 da Succinct Labs é um zkVM de alto desempenho e código aberto baseado em RISC-V, que comprova a viabilidade da nova abordagem arquitetônica. O SP1 adota a filosofia "precompile-centric", resolvendo perfeitamente o gargalo criptográfico da EVM. Diferente do método tradicional, que depende de pré-compilados lentos e hardcoded, o SP1 descarrega operações intensivas como o hash Keccak para circuitos ZK especializados e otimizados manualmente, chamados via instrução ECALL padrão. Essa abordagem combina o desempenho de hardware personalizado com a flexibilidade do software, oferecendo aos desenvolvedores uma solução mais eficiente e escalável.

O impacto prático da Succinct Labs já é visível. Seu produto OP Succinct usa o SP1 para dar provas ZK aos Optimistic Rollups (ZK-ify). Como explica Uma Roy, cofundadora da Succinct:

"Rollups que usam o OP Stack não precisam mais esperar sete dias para confirmação final e saque... Agora, a confirmação leva apenas uma hora. Esse aumento de velocidade é incrível."

Essa inovação resolve um ponto crítico para todo o ecossistema OP Stack. Além disso, a infraestrutura da Succinct — Succinct Prover Network — foi projetada como um mercado descentralizado de geração de provas, mostrando um modelo econômico viável para computação verificável no futuro. Seu trabalho não é apenas uma prova de conceito, mas um plano de ação realista para o futuro descrito neste artigo.

Como o Ethereum reduz riscos

Uma grande vantagem do RISC-V é tornar possível o "cálice sagrado" da verificação formal — provar matematicamente a correção do sistema. A especificação da EVM, escrita em linguagem natural no Yellow Paper, é difícil de formalizar. Já o RISC-V possui uma especificação SAIL oficial e legível por máquina, fornecendo uma "referência ouro" clara para seu comportamento.

Isso abre caminho para maior segurança. Como Alex Hicks da Ethereum Foundation aponta, já está em andamento o trabalho de "verificar formalmente os circuitos zkVM RISC-V contra a especificação oficial do RISC-V extraída para Lean". Esse é um marco, transferindo a confiança de implementações humanas propensas a erro para provas matemáticas verificáveis, elevando a segurança da blockchain a um novo patamar.

Principais riscos da transformação

Apesar das muitas vantagens do L1 baseado em RISC-V, ele traz novos desafios complexos.

Problema de medição de Gas

Criar um modelo de Gas determinístico e justo para uma arquitetura ISA genérica é um problema ainda não resolvido. Contar instruções de forma simples é vulnerável a ataques de negação de serviço. Por exemplo, um atacante pode criar um programa que aciona repetidamente cache misses, consumindo muitos recursos por um custo de Gas muito baixo. Isso ameaça a estabilidade da rede e o modelo econômico.

Segurança da toolchain e problema de "builds reproduzíveis"

Esse é o risco mais importante e subestimado do processo de transição. O modelo de segurança muda de depender da VM on-chain para depender de compiladores off-chain (como LLVM), que são extremamente complexos e conhecidos por terem bugs. Atacantes podem explorar falhas do compilador para transformar código-fonte aparentemente inofensivo em bytecode malicioso. Além disso, garantir que o binário compilado on-chain seja idêntico ao código-fonte público — o problema de "builds reproduzíveis" — é muito difícil. Pequenas diferenças no ambiente de build podem gerar binários diferentes, afetando transparência e confiança. Esses problemas desafiam a segurança de desenvolvedores e usuários.

Estratégias de mitigação

O caminho à frente exige estratégias de defesa em múltiplos níveis.

Implementação em fases

Adotar uma transição gradual e em múltiplas fases é a principal estratégia para mitigar riscos. Ao introduzir o RISC-V primeiro como substituto de pré-compilados e depois operar em um ambiente de máquinas virtuais duplas, a comunidade pode ganhar experiência operacional e confiança em ambientes de baixo risco, evitando mudanças irreversíveis. Essa abordagem progressiva fornece uma base estável para a transformação técnica.

Auditoria abrangente: fuzzing e verificação formal

Embora a verificação formal seja o objetivo final, ela deve ser combinada com testes contínuos e intensivos. Como Valentine, da Diligence Security, mostrou na Ethproofs, sua ferramenta de fuzzing Argus já encontrou 11 vulnerabilidades críticas de solidez e integridade em zkVMs líderes. Isso mostra que, mesmo sistemas bem projetados, podem ter falhas só detectáveis por testes adversariais rigorosos. A combinação de fuzzing e verificação formal oferece maior segurança ao sistema.

Padronização

Para evitar fragmentação do ecossistema, a comunidade deve adotar uma configuração única e padronizada do RISC-V. Isso provavelmente será a combinação RV64GC com ABI compatível com Linux, pois tem o suporte mais amplo em linguagens e ferramentas populares, maximizando as vantagens do novo ecossistema. Padronizar aumenta a eficiência dos desenvolvedores e estabelece uma base sólida para o desenvolvimento de longo prazo do ecossistema.

O futuro verificável do Ethereum

A proposta de substituir a Ethereum Virtual Machine (EVM) por RISC-V não é apenas uma atualização incremental, mas uma reconstrução fundamental da camada de execução do Ethereum. Essa visão ambiciosa busca resolver gargalos profundos de escalabilidade, simplificar a complexidade do protocolo e alinhar a plataforma ao ecossistema mais amplo da computação universal. Apesar dos enormes desafios técnicos e sociais, os benefícios estratégicos de longo prazo justificam esse esforço ousado.

Essa transformação foca em uma série de trade-offs centrais:

· O enorme ganho de desempenho da arquitetura ZK nativa versus a necessidade urgente de compatibilidade retroativa;

· As vantagens de segurança da simplificação do protocolo versus a inércia da vasta rede da EVM;

· O poder do ecossistema universal versus o risco de depender de toolchains de terceiros complexas.

No fim, essa transformação arquitetônica será fundamental para cumprir a promessa da "Lean Execution" e é parte essencial da visão do "Lean Ethereum". Ela transforma o L1 do Ethereum de uma simples plataforma de contratos inteligentes para uma camada eficiente e segura de liquidação e disponibilidade de dados, projetada para suportar o vasto universo da computação verificável.

Como disse Vitalik Buterin, "O objetivo final é... ZK-snarkificar tudo."

Projetos como Ethproofs fornecem dados objetivos e plataformas colaborativas para essa transformação, enquanto a equipe da Succinct Labs, com a aplicação prática de seu SP1 zkVM, oferece um plano de ação viável para esse futuro. Ao abraçar o RISC-V, Ethereum não só resolve seu próprio gargalo de escalabilidade, mas também se posiciona como a camada fundamental de confiança da próxima geração da internet — impulsionada pelo terceiro grande primitivo criptográfico após hash e assinatura: o SNARK.

Prove o software do mundo, inaugure uma nova era cripto.

Saiba mais: