Succinct Prover Network: Mercado descentralizado de zk-SNARKs

A tecnologia de provas de conhecimento zero está rapidamente se tornando um tópico popular no campo do Web3, passando de um conceito acadêmico de nicho para um foco amplamente reconhecido por desenvolvedores e pelo mercado. As aplicações baseadas em ZK estão se tornando cada vez mais maduras, e as provas de ZK também estão sendo estrategicamente integradas ao 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 nasceu. Este é um protocolo baseado em Ethereum que constrói um mercado descentralizado para a geração de ZK. Ele adota uma arquitetura vApp, combinando alto desempenho e segurança verificável. O núcleo do 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 Succinct Prover Network, as funcionalidades principais do $PROVE e a economia do token, bem como a dinâmica de mercado do seu ecossistema.

Arquitetura de Rede

A arquitetura da Succinct Prover Network é baseada na vApp do Ethereum. Este modelo visa proporcionar aos usuários uma experiência de alto desempenho semelhante à de aplicações Web tradicionais, mantendo a segurança e as garantias de confiança dos protocolos de Descentralização.

Execução e liquidação separadas

A arquitetura do vApp tem como núcleo a separação entre execução e liquidação, similar ao modelo de design dos sequenciadores Layer 2.

• A execução off-chain é processada por serviços de alto desempenho, gerenciando em tempo real os processos de leilão, a distribuição de provas e a interação com os usuários. Os usuários podem enviar pedidos e receber atualizações, sem se preocupar com atrasos na confirmação de blocos.
• A liquidação em cadeia é realizada na mainnet do Ethereum, utilizando zk-SNARKs para validar 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 do mercado permanece rápida e eficiente.

Componentes Chave

A rede é composta por dois componentes principais:

• Serviço de leilão fora da cadeia: responsável por corresponder os pedidos dos usuários com os provadores, sendo a principal entidade fora da cadeia. Recebe pedidos de prova, coleta lances, realiza leilões e atribui trabalho. Os usuários interagem diretamente através de chamadas RPC, obtendo uma experiência em tempo real.
• Contrato de liquidação on-chain: contratos inteligentes implantados na Ethereum, incluindo SuccinctVApp.sol, SuccinctStaking.sol e SuccinctGovernor.sol, atuando como pontos de ancoragem de confiança na rede. Responsável pela liquidação das raízes de estado e provas ZK submetidas periodicamente pelos licitantes, garantindo 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. Essa arquitetura de backend permite que qualquer pessoa verifique de forma independente todas as atualizações de saldo e o cumprimento das provas. Inclui:

• Base de dados para armazenar saldos de utilizadores, pedidos em espera e estado de cumprimento, suportando operações de leitura e escrita.
• Provedor de provas baseado em SP1, utilizado para ler bancos de dados e calcular o novo estado da rede com ZK provas. Essa prova verifica todas as transições de estado, como atualizações de saldo e alocação de provas, e depois liquida na Ethereum para verificação pública.

$PROVE token

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

Utilidade central

A utilidade deste token está refletida em vários aspectos:

• Pagamento: $PROVE é o único token de pagamento na rede. Se o solicitante deseja obter uma prova, deve pagar a taxa correspondente ao provedor de provas, utilizando $PROVE. Isso cria uma demanda de transação direta e contínua para o token.
• Segurança: Garantir a segurança da rede através do staking. Os provadores devem fazer staking de $PROVE para participar do leilão, garantindo ações honestas. Se um provador agir de forma maliciosa ou perder o prazo, parte do staking será confiscada.
• Incentivo: $PROVE é utilizado para incentivar os provadores a investir em infraestrutura e a continuar a oferecer preços competitivos.

Fornecimento e Emissão de Token

A oferta inicial de $PROVE é de 1 bilhão de tokens, mas não tem um limite fixo. O protocolo inclui um mecanismo de emissão contínua de tokens. A taxa de nova emissão não é fixa, mas é controlada por parâmetros do sistema de governança descentralizada da rede, permitindo que a comunidade ajuste dinamicamente os incentivos conforme a rede se desenvolve.

Staking e Delegação

Para garantir a segurança econômica, qualquer usuário pode fazer staking de $PROVE. O sistema suporta duas principais maneiras:

• Staking do provador: ao fazer staking de $PROVE, você obtém a qualificação para participar de leilões e executar solicitações de prova.
• Delegação: Qualquer detentor de $PROVE pode delegar os tokens a um provedor de prova escolhido. Isso permite que eles contribuam para a segurança da rede e ganhem uma parte dos lucros das taxas cobradas pelo provedor de prova escolhido, sem precisar operar qualquer hardware por conta própria. Um delegado pode delegar no máximo a um provedor de prova ao mesmo tempo.

Após a execução bem-sucedida do pedido de prova, as taxas pagas pelo solicitante e os tokens emitidos pela rede serão distribuídos entre o provedor de prova vencedor, seu delegante e o tesouro do protocolo. Por exemplo, uma possível proposta de distribuição poderia ser: o provedor de prova vencedor recebe a maior parte da taxa, o delegante recebe uma parte da taxa por fornecer garantias de segurança, e o protocolo cobra uma pequena taxa da rede como tesouro. A emissão da rede será distribuída proporcionalmente a todos os stakers (, incluindo provedores de prova e delegantes ).

Governança

Os detentores do token $PROVE são os governantes finais do protocolo, tendo o direito de votar em parâmetros críticos da rede. Isso inclui definir as taxas de rede, ajustar os requisitos de staking e decidir a forma do mecanismo de leilão.

Leilão e Pedido

A Succinct Prover Network utiliza uma estrutura de mercado cuidadosamente desenhada para promover a descoberta de preços, delegando a geração de provas aos provadores mais eficientes. Este sistema é flexível, podendo atender a uma ampla variedade de necessidades dos usuários através de diferentes modos de serviço.

Mecanismo de Leilão

A 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 mínima latência, e utiliza o token $PROVE para pagamento.

• Versão inicial: A primeira versão da rede utiliza um leilão reverso simples, alocando os pedidos de prova ao provedor de provas que oferece o menor lance.
• Evolução Futura: Com o passar do tempo, através de mecanismos de governança, este mecanismo poderá ser transitado para o 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 é gerido por um serviço de leilão off-chain, mas qualquer pessoa pode usar zk-SNARKs publicados periodicamente na blockchain para verificar os resultados de forma independente.

Experiência do usuário

O processo de solicitação e execução de provas visa ser simples e seguro.

• Para o requerente: o usuário pode facilmente solicitar a prova, primeiro transferindo $PROVE para o leiloeiro para pagar a taxa. Em seguida, envia um pedido de prova através de uma chamada RPC, especificando o programa a ser provado, a data limite e a taxa máxima que está disposto a pagar. O leiloeiro off-chain irá corresponder este pedido com um provador qualificado que tenha o menor preço. Uma vez que a prova seja 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 que o requerente verifique se foi processado corretamente.
• Para os provadores: os provadores competem pelo direito de executar solicitações. Para obter qualificação para um leilão específico, o $PROVE apostado pelo provador deve atender aos requisitos mínimos estabelecidos pelo solicitante (. Por exemplo, uma solicitação pode exigir 50 $PROVE apostados ). Os provadores qualificados submetem lances aos leiloeiros. O provador com o lance mais baixo vence o leilão e obtém a prova, devendo completar antes do prazo estipulado. Se bem-sucedido, receberá o pagamento na forma de $PROVE. Se não conseguir submeter a prova a tempo, o depósito será reduzido.

Montante mínimo de staking: 1.000 $PROVE( testnet; mainnet a determinar)

Modelo 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. Esta é uma opção ideal para usuários que buscam os preços mais competitivos ou para aplicações que ocasionalmente apresentam uma elevada demanda.
• Reserva off-chain: Para usuários que necessitam de garantias de confiabilidade mais fortes ou de alta frequência e demanda em larga escala, a rede suporta a celebração de acordos de serviço off-chain com provadores específicos (SLA). Esses acordos podem incluir provadores aprovados na lista branca, dando-lhes exclusividade para participar das licitações. Devido à natureza de longo prazo dos acordos, os preços podem ser mais vantajosos.

Dinâmicas de Mercado e Ecossistema

Um sistema econômico de criptomoeda bem-sucedido não apenas requer tecnologia robusta, mas também um ecossistema de participantes vibrante e estratégias claras para gerar efeitos de rede. O token $PROVE é o núcleo de um sistema econômico projetado para coordenar a ação de participantes racionais e independentes em um mercado próspero.

Mercado Bilateral

A rede estabeleceu um mercado bilateral clássico, que é um padrão comum no campo do DePIN. Nesse caso, a infraestrutura coordenada é o hardware de computação necessário para gerar zk-SNARKs, como (GPU, FPGA, ASIC ). As partes são:

• Demandante ( solicitante ): Este grupo é composto por protocolos de blockchain, aplicações e desenvolvedores que necessitam de zk-SNARKs para realizar negócios. Esses solicitantes criam uma demanda orgânica para os serviços da rede e servem como a principal fonte de receita, fluindo para o ecossistema na forma de pagamento $PROVE.
• Fornecedores ( provadores ): Este grupo é composto por indivíduos e entidades profissionais que possuem e operam o hardware de computação necessário para gerar zk-SNARKs. Eles investem em infraestrutura intensiva em capital para competir na prestação de serviços, ganhando taxas e recompensas de rede cotadas em $PROVE.

Garantia do Ecossistema

Para os mercados emergentes, um dos maiores desafios é o problema do "cold start": sem demanda, os provadores não irão se juntar; sem um fornecimento confiável de provadores, os solicitantes também não irão se juntar. A Succinct Labs resolve esse problema concentrando-se em garantir a demanda do mercado antes do lançamento da mainnet.

Este projeto já estabeleceu parcerias com muitos dos principais projetos no campo do Web3, garantindo desde o primeiro dia uma demanda imediata e significativa.

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.

No fim das contas, a Succinct Prover Network baseia-se em um princípio simples: o cálculo do futuro é verificável. O token $PROVE é o mecanismo chave para realizar esse futuro, transformando a prova criptográfica de uma técnica de nicho em um bem digital acessível a todos e com liquidez.