zk-SNARKs geração de mercado: Análise abrangente da Rede de Provedores Succinct

Succinct Prover Network é um mercado descentralizado de geração de zk-SNARKs baseado em Ethereum. Ele visa conectar solicitantes que precisam de zk-SNARKs com uma rede global de provedores de capacidade computacional. A rede utiliza a arquitetura vApp, combinando serviços de leilão off-chain e contratos inteligentes on-chain, garantindo tanto desempenho quanto segurança.

$PROVE é o núcleo econômico da rede, com três funções principais:

1. Pagamento: token único usado para pagar as taxas de geração de provas.
2. Segurança: os validadores devem fazer staking de $PROVE, comportamentos inadequados podem resultar na redução do depósito.
3. Governança: os detentores de tokens votam em parâmetros críticos do protocolo

O mercado de provas funciona através de um mecanismo de leilão reverso, onde o provador com o menor lance ganha a tarefa. Isso garante a precificação competitiva das provas.

Succinct já estabeleceu parcerias com vários projetos principais da Web3, resolvendo assim o problema do arranque a frio e garantindo uma grande demanda pelos serviços de rede.

Arquitetura de Rede

Succinct Prover Network utiliza uma arquitetura vApp baseada em Ethereum, separando a execução da liquidação:

• Execução off-chain: gestão em tempo real do processo de leilão, distribuição de provas e interação com o usuário
• Liquidação em cadeia: contratos inteligentes na rede principal do Ethereum verificam periodicamente o estado da rede e operações fora da cadeia.

Componentes chave incluem:

1. Serviço de leilão off-chain: responsável por corresponder os pedidos dos usuários com os provedores.
2. Contratos de liquidação em cadeia: contratos inteligentes implantados na Ethereum, garantindo a integridade da rede

A arquitetura de banco de dados verificável permite a verificação independente de todas as atualizações de saldo e do cumprimento das provas.

$PROVE token

$PROVE é um token ERC-20 baseado no Ethereum, com um fornecimento inicial de 1 bilhão de unidades. Suas funções principais incluem:

• Pagamento: o único token de pagamento na rede
• Segurança: o provador deve fazer staking de $PROVE para poder participar na licitação
• Incentivo: encorajar os provadores a investir em infraestrutura e oferecer preços competitivos

Mecanismo de staking inclui:

1. Prova de garantia: obter a qualificação para participar de leilões e executar pedidos de prova.
2. Delegação: Os detentores de tokens podem delegar os tokens a provadores selecionados.

Os detentores de $PROVE podem votar em parâmetros-chave da rede, como taxas de rede, requisitos de staking, etc.

Mecanismo de Leilão e Solicitação

A rede utiliza a alocação de pedidos com licitação em tempo real:

• Versão inicial: leilão reverso simples, atribuído ao provedor com a oferta mais baixa.
• Evolução futura: pode transitar para um modo de "competição de provas", aumentando o nível de descentralização.

O design de experiência do usuário é simples e seguro:

• Requerente: transferir $PROVE e enviar o pedido através da chamada RPC
• Provedor: aposta $PROVE e compete pelo direito de executar pedidos

A rede suporta dois modos de serviço:

1. Solicitação sob demanda: leilão público para todos os provadores online
2. Reserva off-chain: celebrar um contrato de prestação de serviços de longo prazo com um provedor específico

Dinâmicas de Mercado e Ecossistema

A Succinct Prover Network criou um mercado bilateral:

• Demandante ( solicitante ): necessita de protocolos, aplicações e desenvolvedores de zk-SNARKs
• Fornecedor ( provedor ): indivíduos e entidades que possuem e operam hardware de computação

Para resolver o problema do arranque a frio, a Succinct Labs estabeleceu parcerias com vários projetos de topo em Web3, garantindo uma demanda instantânea e maciça desde o primeiro dia. Isso reduziu o risco econômico para os provadores e proporcionou uma velocidade de transação instantânea para o token $PROVE.

A visão da Rede de Provas Succintas é transformar as provas criptográficas em um bem digital amplamente acessível e líquido, promovendo o desenvolvimento futuro da computação verificável.