Aprenda com Nexus (NEX): Construindo um supercomputador verificável para a Internet
Introdução: A Nexus está construindo infraestrutura para computação verificável em escala da Internet. Sua visão central é permitir que computadores ao redor do mundo trabalhem juntos como uma única rede distribuída de provadores, gerando provas de que cálculos foram executados corretamente. No centro dessa visão está o Nexus zkVM, uma máquina virtual de zero-knowledge projetada para provar computações em grande escala de forma eficiente e tornar a computação verificável prática para desenvolvedores e aplicações.
Por que a computação verificável importa
Sistemas digitais modernos dependem de computação. Desde blockchains e aplicações financeiras até sistemas de IA, serviços em nuvem e plataformas de dados, os usuários confiam cada vez mais em máquinas para processar informações e tomar decisões. No entanto, em muitos casos, os usuários precisam confiar que uma computação foi realizada corretamente.
Isso cria um grande desafio: como alguém pode verificar o resultado de um cálculo sem reexecutar todo o processo por conta própria?
O cálculo verificável oferece uma solução. Em vez de produzir apenas uma saída, um sistema também pode gerar uma prova criptográfica que demonstra que a saída foi gerada corretamente. Isso significa que usuários, aplicações e redes podem verificar o cálculo com certeza matemática.
As provas de conhecimento zero levam essa ideia mais longe. Elas podem provar que um cálculo foi executado corretamente sem revelar entradas privadas. Isso é especialmente importante para aplicações que envolvem privacidade, dados financeiros, identidade, IA e infraestrutura de blockchain.
Nexus é construído em torno dessa ideia: um futuro onde a computação não é apenas realizada, mas também comprovável.
O que é o Nexus zkVM?
O Nexus zkVM é uma máquina virtual de conhecimento zero projetada para provar computação de propósito geral. Em termos simples, ela permite que desenvolvedores executem programas e gerem provas sucintas de que esses programas foram executados corretamente.
Ao contrário de sistemas projetados apenas para programas pequenos ou casos de uso limitados, o Nexus zkVM se concentra em provar cálculos muito grandes, incluindo cargas de trabalho com bilhões de ciclos de CPU. Para alcançar isso, ele utiliza geração incremental de provas e agregação de provas, permitindo que um grande cálculo seja dividido em partes menores e comprovado passo a passo.
Isso é importante porque os sistemas tradicionais de zero-knowledge frequentemente enfrentam limitações de desempenho. Provar programas complexos pode ser caro, lento e difícil de escalar. O Nexus resolve isso projetando um zkVM capaz de suportar provas massivamente paralelizadas.
O processo de execução do Nexus zkVM inclui várias etapas-chave:
-
Compilação: Os programas são compilados no conjunto de instruções da Máquina Virtual Nexus.
-
Execução: O programa é executado na Máquina Virtual Nexus e gera um rastro de execução.
-
Folding: As provas são produzidas e acumuladas para blocos de computação de maneira altamente paralelizada.
-
Compactação: A prova acumulada final é compactada em uma prova sucinta.
Essa estrutura permite que o Nexus torne a comprovação em larga escala mais prática, mantendo uma experiência amigável para desenvolvedores.
A Máquina Virtual Nexus: Um Modelo Simples para Computação Universal
No núcleo do Nexus zkVM está a Máquina Virtual Nexus, ou NVM.
O NVM é uma arquitetura de CPU virtual simples, mínima e extensível. Ela foi projetada para suportar computação universal enquanto maximiza o desempenho do provador. Em outras palavras, ela oferece aos desenvolvedores um modelo de computação de propósito geral, mas mantém a máquina simples o suficiente para tornar a geração de provas mais eficiente e mais fácil de auditar.
O NVM utiliza um conjunto de instruções de 32 bits simples e um modelo de memória direto. Esse design é importante porque o desempenho do zkVM depende fortemente da dificuldade de provar cada etapa da máquina. Uma máquina mais simples pode ser mais fácil de verificar, mais fácil de otimizar e mais adequada para a geração em larga escala de provas.
Nexus também introduz co-processadores zkVM. Esses são extensões de instruções personalizadas projetadas para acelerar operações específicas. Por exemplo, funções criptográficas como SHA-256 ou ECDSA podem ser caras para provar se forem emuladas por meio de instruções de CPU normais. Um co-processador permite que o sistema execute essas operações de forma mais eficiente, semelhante ao modo como hardware especializado pode acelerar certas tarefas.
Isso dá ao Nexus duas vantagens ao mesmo tempo:
-
Uma VM de propósito geral que pode suportar muitos tipos de programas.
-
Aceleração especializada para operações que normalmente são caras para provar.
A Rede Nexus: Um Supercomputador Distribuído e Verificável
A Rede Nexus foi projetada para levar o zkVM à escala da Internet.
Em vez de depender de um único computador para gerar provas, a Nexus Network agrega a potência de CPU e GPU de muitos computadores diferentes. Esses computadores podem trabalhar juntos para produzir e agrega provas em paralelo, transformando hardware distribuído em um supercomputador verificável.
Isso é semelhante em espírito às grandes redes de computação voluntária, mas com uma grande diferença: o Nexus se concentra em computação verificável. A saída não é apenas um resultado, mas uma prova de que o resultado foi calculado corretamente.
No modelo Nexus, a geração de provas pode ser dividida em muitos pequenos fragmentos. Diferentes nodes podem trabalhar em partes diferentes do cálculo, e as provas podem ser acumuladas em uma estrutura em árvore. Isso torna o sistema escalável, pois sua capacidade de prova pode crescer com o poder computacional total contribuído pela rede.
O whitepaper descreve a Nexus Network como um passo em direção à união dos computadores do mundo em um único supercomputador verificável. O objetivo de longo prazo é tornar a geração de provas rápida e barata o suficiente para aplicações de produção em tempo real.
Por que a Nexus importa
Nexus é importante porque visa um dos maiores gargalos na tecnologia de zero-knowledge: escalabilidade.
As provas de conhecimento zero são poderosas, mas historicamente têm sido difíceis de usar em grande escala. Desenvolvedores frequentemente precisam de conhecimento especializado, circuitos personalizados ou infraestrutura de prova cara. O Nexus visa reduzir essa complexidade, fornecendo aos desenvolvedores um ambiente baseado em zkVM onde eles podem provar programas de forma mais natural.
O projeto também se concentra na implementação prática. O Nexus zkVM e a Nexus Network são de código aberto e implementados em Rust. O whitepaper descreve suporte para comprovar programas em Rust, com um fluxo de desenvolvedor tão simples quanto comprovar e verificar por meio das ferramentas Nexus.
Se bem-sucedido, o Nexus poderá suportar uma ampla gama de casos de uso:
-
Cálculo de IA verificável
-
Escalação da blockchain e sistemas de prova
-
Computação em nuvem minimamente confiável
-
Aplicações que preservam a privacidade
-
Fluxos financeiros e de dados auditáveis
-
Mercados distribuídos em larga escala de prova
Em resumo, a Nexus não está apenas criando outra ferramenta de blockchain. Está construindo infraestrutura para um futuro no qual a própria computação possa ser verificada.
Recompensas por indicação:
Convide novos usuários a participar da campanha Learn & Earn e desbloqueie recompensas extras. Para cada amigo convidado com sucesso que se registrar e completar as negociações exigidas, você receberá um reembolso de 25% sobre as taxas. Quanto mais usuários qualificados você convidar, mais recompensas poderá ganhar. Para mais detalhes, consulte: https://www.kucoin.com/pt/referral
Como convidar
Aviso legal: As informações nesta página podem vir de terceiros e não refletem necessariamente os pontos de vista ou opiniões da KuCoin. Este conteúdo serve apenas para referência e não constitui qualquer forma de representação ou garantia, nem deve ser interpretado como aconselhamento financeiro ou de investimento. A KuCoin não é responsável por quaisquer erros ou omissões, ou por quaisquer resultados do uso dessas informações. Investir em ativos virtuais pode envolver riscos. Avalie cuidadosamente os riscos do produto e sua tolerância ao risco com base em sua situação financeira. Para mais informações, consulte nossos termos de uso e divulgação de risco.