O ZK no Ethereum ganha nova vida: uma análise aprofundada da Succinct Prover Network

1. Introdução

A tecnologia de conhecimento zero está rapidamente se tornando um tópico popular no campo do Web3. De um conceito acadêmico de nicho a uma atenção generalizada, a tecnologia ZK se tornou um foco da indústria ao lado da IA e do DeFi. Essa tendência decorre da maturação crescente das aplicações baseadas em ZK, bem como da integração estratégica das provas ZK no núcleo da infraestrutura blockchain.

Com a expansão do ecossistema ZK, a demanda por provas computacionalmente intensivas atingiu um ponto crítico. Para atender a essa demanda, a Succinct Prover Network surgiu: este é um protocolo baseado em Ethereum que construiu um mercado descentralizado gerado por ZK. Ele adota a arquitetura vApp, combinando alto desempenho e segurança verificável. O núcleo deste sistema é o token $PROVE, que atua como motor econômico para impulsionar este novo mercado de bens digitais.

Este artigo irá explorar em profundidade a arquitetura da Rede Provedora Succinta, as funções essenciais do $PROVE e a economia do token, bem como a dinâmica do mercado do seu ecossistema.

O lançamento da mainnet da Succinct Network e a primeira negociação pública do token $PROVE estão a chegar. Abaixo, será feita uma análise detalhada do conteúdo específico e do valor que traz para os interessados.

2. Arquitetura da Rede

A arquitetura da Rede Provedora Succinta é baseada na vApp do Ethereum. Este modelo visa proporcionar aos usuários uma experiência de alto desempenho típica de aplicativos Web tradicionais, ao mesmo tempo que mantém a segurança e as garantias de confiança dos protocolos descentralizados.

Execução e liquidação separadas

O núcleo da arquitetura vApp reside na separação da execução e da liquidação, o que é semelhante ao padrão de design do sequenciador Layer 2.

• A execução off-chain é processada por um serviço de alto desempenho, que gerencia em tempo real o processo de leilão, a distribuição de provas e a interação com os usuários. Isso permite que os usuários enviem solicitações e recebam atualizações, sem se preocuparem com atrasos na confirmação de blocos.
• A liquidação em cadeia é realizada na rede principal do Ethereum, que utiliza ZK para verificar periodicamente o estado da rede e a correção das operações fora da cadeia.

Este método misto garante que os fundos dos usuários estejam sempre protegidos por contratos Ethereum e possam ser retirados diretamente, enquanto a operação de mercado permanece rápida e eficiente.

Componentes Chave

A rede é composta por dois componentes principais:

• Serviço de leilão off-chain: responsável por corresponder os pedidos dos usuários com os provadores, sendo a principal entidade off-chain. Ele recebe pedidos de prova, coleta lances, executa leilões e atribui trabalho. Os usuários interagem diretamente com este serviço através de chamadas RPC, obtendo uma experiência em tempo real.
• Contratos de liquidação na cadeia: contratos inteligentes implantados na Ethereum, incluindo SuccinctVApp.sol, SuccinctStaking.sol e SuccinctGovernor.sol, que atuam como pontos de ancoragem de confiança da rede. Estes contratos são responsáveis pela liquidação das raízes de estado e provas ZK submetidas periodicamente pelos licitantes, garantindo assim a integridade da rede.

Base de dados verificável

Para garantir a integridade das operações off-chain, o serviço de leilão é construído sobre uma base de dados verificável. Esta arquitetura de backend permite que qualquer pessoa valide independentemente todas as atualizações de saldo e a situação do cumprimento das provas. Ela contém:

• Base de dados para armazenar o saldo dos utilizadores, pedidos pendentes e estado de cumprimento. Esta base de dados suporta operações de leitura e escrita.
• Prover baseado no SP1, utilizado para ler a base de dados e calcular a nova estado da rede com provas ZK. Esta prova irá validar todas as transições de estado, como atualizações de saldo e distribuição de provas, e depois será liquidada no Ethereum para verificação pública.

3. $PROVE token

O token $PROVE é um token utilitário ERC-20 baseado em Ethereum, que é a espinha dorsal econômica da Succinct Prover Network. O seu design inclui três funções principais: facilitar pagamentos, garantir a segurança da rede e coordenar os interesses de todos os participantes.

Utilidade Central

A utilidade do token se manifesta em vários aspectos:

• Pagamento: $PROVE é o único token de pagamento na rede. Se o solicitante desejar que seu cálculo receba uma prova, deve pagar ao provador a taxa correspondente, que é paga em $PROVE. Isso cria uma demanda de negociação direta e contínua para o token.
• Segurança: Garantir a segurança da rede através da participação. Os validadores devem fazer stake de $PROVE para participar do leilão, assegurando que atuem de boa fé. Se um validador agir de forma maliciosa ou perder o prazo, uma parte do seu stake será confiscada.
• Incentivo: $PROVE é utilizado para incentivar os provadores a investirem em infraestrutura e a continuarem a oferecer preços competitivos.

Fornecimento e Emissão de Tokens

O suprimento inicial de $PROVE é de 1 bilhão de moedas, mas não é um limite fixo, pois o protocolo inclui um mecanismo de emissão contínua de tokens. A taxa de emissão de novos tokens não é fixa, mas é um parâmetro controlado pelo sistema de governança descentralizada da rede, permitindo que a comunidade ajuste dinamicamente os incentivos à medida que a rede se desenvolve.

Pledge e Delegação

Para garantir a segurança económica, qualquer utilizador pode fazer staking de $PROVE. O sistema suporta duas formas principais:

• Staking de validadores: Ao apostar $PROVE, os validadores podem obter a qualificação para participar em leilões e executar pedidos de prova.
• Delegação: Qualquer detentor de $PROVE pode delegar os seus tokens a um provedor de sua escolha. Isso permite que contribuam para a segurança da rede e ganhem uma parte das receitas cobradas pelo provedor escolhido, sem a necessidade de operar qualquer hardware. Um delegador pode, ao mesmo tempo, delegar apenas a um único provedor.

Quando o pedido de prova é executado com sucesso, as taxas pagas pelo solicitante e os tokens emitidos pela rede serão distribuídos entre o provedor de prova vencedor, seus delegadores e o cofre do protocolo. Por exemplo, um possível esquema de distribuição pode ser: o provedor de prova vencedor recebe a maior parte da taxa, os delegadores recebem uma parte da taxa por fornecer segurança, enquanto o protocolo cobra uma pequena taxa de rede como cofre. A emissão da rede será distribuída proporcionalmente a todos os stakers (incluindo provedores de prova e delegadores).

Governança

Os detentores de tokens $PROVE são os governantes finais do protocolo, com o direito de votar em parâmetros-chave da rede. Isso inclui definir taxas de rede, ajustar requisitos de staking e decidir a forma do mecanismo de leilão.

4. Leilões e pedidos

A Succinct Prover Network utiliza uma estrutura de mercado cuidadosamente projetada para facilitar a descoberta de preços e atribuir tarefas de geração de provas aos provadores mais eficientes. Este sistema é flexível e pode atender a uma ampla gama de necessidades dos usuários através de diferentes modos de serviço.

Mecanismo de leilão

Esta rede utiliza um sistema de leilão em tempo real para alocar pedidos. Este mecanismo de leilão permite uma descoberta de preços eficiente com a menor latência possível, sendo pago com tokens $PROVE.

• Versão inicial: A primeira versão da rede utilizou um leilão reverso simples, atribuindo pedidos de prova ao provedor de prova com a menor oferta.
• Evolução futura: Com o passar do tempo, através de mecanismos de governança, é possível transitar este mecanismo para um modo de "competição de provas". Este modo visa distribuir recompensas a um grupo mais amplo de provadores, aumentando assim o grau de descentralização.

Todo o processo de leilão é tratado por um serviço de leilão off-chain, mas qualquer pessoa pode usar as provas de conhecimento zero publicadas periodicamente na cadeia para verificar os resultados de forma independente.

Experiência do usuário

O processo de solicitação e execução de provas destina-se a ser simples e seguro.

• Para o requerente: os usuários podem facilmente solicitar uma prova, primeiro transferindo $PROVE para o leiloeiro para pagar a taxa. Em seguida, eles enviam o pedido de prova por meio de uma chamada RPC, especificando o programa a ser provado, a data limite e a maior taxa que estão dispostos a pagar. O leiloeiro off-chain irá corresponder este pedido com o provedor de prova qualificado que tiver o menor preço. Assim que a prova for concluída e submetida, a taxa será transferida, e toda a transação será liquidada na Ethereum através de uma única prova ZK, permitindo ao requerente verificar se foi processada corretamente.
• Para os provadores: os provadores competem pelo direito de executar pedidos. Para se qualificar para um leilão específico, o $PROVE apostado pelo provador deve atender ao requisito mínimo definido pelo solicitante (por exemplo, um pedido pode exigir 50 $PROVE em aposta). Os provadores qualificados apresentam lances ao leiloeiro. O provador com o lance mais baixo ganha o leilão e recebe a prova; eles devem completá-la antes do prazo estipulado. Se forem bem-sucedidos, receberão o pagamento na forma de $PROVE. Se não conseguirem enviar a prova a tempo, seu depósito será reduzido.

Montante mínimo de staking: 1.000 $PROVE (rede de testes; mainnet a definir)

Modo de Serviço

A rede oferece flexibilidade aos usuários através de dois modos de serviço diferentes:

• Pedido sob demanda: Os usuários podem enviar pedidos à rede conforme necessário, e esses pedidos entrarão em um leilão público aberto a todos os provadores online. Isso é ideal para usuários que buscam os preços mais competitivos ou aplicações que ocasionalmente apresentam uma demanda elevada.
• Reserva fora da cadeia: Para utilizadores que necessitam de uma garantia de fiabilidade mais forte ou de uma demanda em alta frequência e em grande escala, a rede suporta a celebração de acordos de serviço fora da cadeia (SLA) com provadores específicos. Estes acordos podem colocar provadores aprovados numa lista branca, dando-lhes direitos exclusivos para licitar. Devido à natureza de longo prazo dos acordos, os preços podem ser mais vantajosos.

5. Dinâmicas de Mercado e Ecossistema

Um sistema econômico de criptomoedas bem-sucedido não só necessita de uma tecnologia robusta, mas também de um ecossistema de participantes dinâmicos e de uma estratégia clara para gerar efeitos de rede. O token $PROVE é o núcleo de um sistema econômico destinado a coordenar a ação de participantes racionais e independentes em um mercado próspero.

Mercado bilateral

Esta rede estabeleceu um mercado bilateral clássico, que é um padrão comum na área DePIN. Neste caso, a infraestrutura coordenada é o hardware de computação necessário para gerar ZK (GPU, FPGA, ASIC). As duas partes são:

• Demandante (solicitante): Este grupo é composto por protocolos de blockchain, aplicações e desenvolvedores que precisam de ZK para conduzir negócios. Estes solicitantes criam uma demanda orgânica por serviços na rede, servindo como a principal fonte de receita, que flui para o ecossistema na forma de pagamento em $PROVE.
• Fornecedores (provas): Este grupo é composto por indivíduos e entidades profissionais que possuem e operam o hardware de computação necessário para gerar ZK. Eles investem em infraestrutura intensiva em capital para competir na prestação de serviços, ganhando taxas denominadas em $PROVE e recompensas de rede.

Garantia do ecossistema

Para os mercados emergentes, um dos maiores desafios é o problema do "arranque a frio": sem demanda, os validadores não se juntarão; sem um fornecimento confiável de validadores, os solicitantes também não se juntarão. A Succinct Labs resolve este problema ao focar em garantir a demanda do mercado antes do lançamento da rede principal.

O projeto estabeleceu parcerias com muitos projetos de destaque na área do Web3, garantindo desde o primeiro dia uma demanda imediata e em grande escala.

Esta ação reduz o risco econômico dos provadores e garante que o token $PROVE tenha desde o início uma velocidade de transação instantânea, sustentando todo o modelo econômico.

Em última análise, a Succinct Prover Network baseia-se em um princípio simples: o futuro da computação é verificável. O token $PROVE é o mecanismo chave para alcançar esse futuro, transformando a prova criptográfica de uma tecnologia de nicho em um bem digital acessível e com liquidez para todos.