Desenhando Taxas de Transação para Mercados de Provedores em ZK-Rollups

Nos ZK-Rollups, tem dois jogadores principais: os usuários que querem que suas transações sejam processadas e os Provers que geram provas pra confirmar a validade dessas transações. Os provers usam muita potência de computação e recursos pra fazer esse trabalho e precisam ser compensados direitinho pra que esses serviços possam continuar de uma forma sustentável. Os métodos atuais de coleta de Taxas de Transação não são adequados pra isso, já que não cobrem os custos que os provers enfrentam.

Os sistemas ZK-Rollup geralmente dependem de provers centralizados, o que pode ser um risco porque pode levar a custos mais altos e censura. Uma ideia interessante é criar um mercado onde os provers competem pra oferecer seus serviços a preços mais baixos. Nesse mercado, as taxas dos usuários precisam não só cobrir os custos de fornecer provas, mas também permitir que os provers tenham lucro.

Esse texto fala sobre como projetar mecanismos de taxas de transação pra esses mercados de provers. Ele apresenta desafios e metas pra sistemas de taxas eficazes, incluindo eficiência, a necessidade de os provers agirem honestamente, a prevenção de Conluio entre provers e garantir que usuários e provers não consigam se juntar pra se beneficiar às custas dos jogadores honestos.

#Os Desafios

Os modelos atuais enfrentam problemas significativos. Por exemplo, existem taxas de transação que podem queimar um pouco da receita, o que não ajuda os provers que precisam de uma renda estável. Os mercados de provers são diferentes dos mercados de taxas clássicos em vários aspectos:

1. Mercado Bilateral: Usuários querem capacidade de prova enquanto os provers oferecem isso. Usuários podem valorizar a capacidade de prova de forma diferente, e os provers podem ter custos e capacidades diferentes.

2. Compensação para Provers: Ao contrário dos mercados de taxas tradicionais, onde validadores têm recompensas de bloco, é crucial garantir que os provers sejam compensados pelo trabalho deles.

3. Seleção de Provers: Nos mercados de provers, é importante escolher provers de um pool quando há mais do que o suficiente. Essa seleção deve idealmente focar nas opções de menor custo.

#Propriedades Desejadas

Pra construir mecanismos eficazes de taxas de transação em mercados de provers, certas metas devem ser atingidas:

• Eficiência: O sistema deve maximizar o bem-estar geral, o que significa selecionar transações com o maior valor e escolher os provers mais econômicos.

• Compatibilidade de Incentivos: Deve ser benéfico pros usuários e provers agirem honestamente no mercado em vez de tentarem burlar o sistema.

• Resistência ao Conluio: Devem existir mecanismos pra prevenir que os provers trabalhem juntos de uma forma que prejudique o mercado.

• Prova de Acordo Off-Chain: Usuários e provers não devem conseguir chegar a um acordo fora do sistema que permita que eles lucrem.

Essas propriedades são essenciais porque garantem um mercado justo e eficaz onde todos os jogadores podem participar sem vantagens injustas.

#Mecanismos de Mercado

Vários designs potenciais pro mercado de provers foram propostos. Uma abordagem fundamental envolve usar Leilões, que permitem que os usuários dêem lances pelos serviços de prova e os provers dêem lances pra fornecer esses serviços.

#Primeira Tentativa

A ideia inicial era combinar um leilão de primeiro preço pros usuários com um leilão verdadeiro pros provers. Os usuários pagariam o que licitaram, e os provers revelariam seus custos de forma honesta. No entanto, esse método tem desvantagens significativas, já que alguns provers podem manipular seus lances pra se beneficiar, levando a resultados injustos.

#Segunda Tentativa

A segunda abordagem envolveu usar um leilão de primeiro preço generalizado onde os provers dariam lances sem revelar seus verdadeiros custos. Embora esse método reduzisse alguns riscos de conluio, ainda enfrentava desafios, principalmente quando um prover poderia aumentar suas chances de ganhar criando identidades ou lances falsos.

#Nosso Design Proposto:

O mecanismo proposto é baseado em um sistema que define uma capacidade de lote pra limitar o número de tarefas de prova que um prover pode assumir a qualquer momento. Ele usa um leilão justo entre os usuários enquanto mantém um sistema de loteria pra selecionar provers, garantindo uma chance justa pra todos os participantes qualificados.

#Características Principais

1. Parâmetro de Capacidade: O mecanismo define um limite de quantas restrições podem ser processadas em um único lote. Isso ajuda a gerenciar recursos e garante que os provers não sejam sobrecarregados.

2. Leilão Ganancioso: Os usuários dão lances por suas transações, e o mecanismo seleciona as transações com os maiores lances pra maximizar a receita enquanto fica dentro dos limites de capacidade.

3. Sistema de Loteria pra Provers: Provers que atendem aos custos e limites de capacidade são inseridos em uma loteria, que lhes dá chances justas de serem selecionados enquanto limita o risco de conluio.

4. Staking e Slashing: Provers devem apostar uma certa quantia antes de participar. Se não cumprirem suas obrigações dentro do prazo definido, sua aposta é perdida.

#Limitações e Desafios

Embora o sistema proposto aborde vários problemas, ele tem suas limitações. Uma preocupação importante é o risco de ataques Sybil, onde um prover poderia criar várias identidades falsas pra obter uma vantagem injusta nos lances. Além disso, conluio parcial entre provers ainda pode ser uma ameaça.

O parâmetro de capacidade também precisa ser ajustado dinamicamente, o que pode ser difícil na prática. O sistema precisa definir claramente como esse parâmetro deve mudar com base nas condições do mercado sem introduzir novos riscos de conluio ou manipulação.

#Conclusão

O design de um mecanismo robusto para mercados de provers em ZK-Rollups é crucial pro futuro das transações descentralizadas. Ao estabelecer regras claras pra lances e seleção, é possível criar um ambiente mais justo onde os usuários podem acessar serviços de prova enquanto os provers podem trabalhar de forma sustentável. O trabalho continua pra refinar essas ideias e desenvolver mais insights sobre como gerenciar esses sistemas complexos de forma eficaz.

Em resumo, um mecanismo bem projetado pode incentivar a competição, minimizar riscos e, no final, criar um mercado mais saudável pra todos os envolvidos.