Progettare le commissioni di transazione per i mercati di provatori nei ZK-Rollup

Negli ZK-Rollup, ci sono due attori principali: gli utenti che vogliono far elaborare le loro transazioni e i Prover che generano prove per confermare la validità di queste transazioni. I prover mettono in campo molta potenza computazionale e risorse per fare questo lavoro e hanno bisogno di essere compensati adeguatamente affinché questi servizi possano continuare in modo sostenibile. I metodi attuali di raccolta delle commissioni di transazione non sono adatti a questo scopo, in quanto non coprono i costi che i prover devono sostenere.

I sistemi ZK-Rollup di solito dipendono da prover centralizzati, il che può essere un rischio perché può portare a costi più elevati e censura. Un'idea interessante è quella di creare un marketplace dove i prover competono per offrire i loro servizi a costi inferiori. In un tale marketplace, le tariffe degli utenti devono non solo coprire i costi per fornire le prove, ma anche permettere ai prover di realizzare un profitto.

Questo documento discute come progettare meccanismi per le commissioni di transazione per tali mercati di prover. Presenta sfide e obiettivi per sistemi di commissioni efficaci, inclusa l'efficienza, la necessità che i prover agiscano onestamente, la prevenzione della Collusione tra i prover e la garanzia che utenti e prover non possano unirsi per avvantaggiarsi rispetto ai giocatori onesti.

#Le Sfide

I modelli attuali affrontano problemi significativi. Per esempio, ci sono commissioni di transazione esistenti che possono bruciare parte delle entrate, il che non aiuta i prover che hanno bisogno di un reddito stabile. I mercati dei prover sono diversi dai mercati delle commissioni classici in vari modi:

1. Mercato a Due Facce: Gli utenti vogliono capacità di prova mentre i prover la forniscono. Gli utenti possono valutare la capacità di prova in modo diverso e i prover possono avere costi e capacità diverse.

2. Compensazione per i Prover: A differenza dei mercati delle commissioni tradizionali, dove i validatori hanno ricompense per i blocchi, è fondamentale garantire che i prover siano compensati per il loro lavoro.

3. Selezione dei Prover: Nei mercati dei prover, è importante scegliere i prover da un pool quando ci sono più che sufficienti. Questa selezione dovrebbe idealmente concentrarsi sulle opzioni a costo più basso.

#Proprietà Desiderate

Per costruire meccanismi efficaci per le commissioni di transazione nei mercati dei prover, devono essere soddisfatti determinati obiettivi:

• Efficienza: Il sistema dovrebbe massimizzare il benessere complessivo, il che significa selezionare le transazioni con il valore più alto e scegliere i prover più convenienti.

• Compatibilità degli Incentivi: Dovrebbe essere vantaggioso per utenti e prover agire onestamente nel mercato anziché cercare di sfruttare il sistema.

• Resistenza alla Collusione: Dovrebbero esserci meccanismi per prevenire che i prover lavorino insieme in un modo che danneggi il mercato.

• Prova di Accordo Off-Chain: Utenti e prover non dovrebbero essere in grado di raggiungere un accordo al di fuori del sistema che permetterebbe loro di trarre profitto.

Queste proprietà sono essenziali perché assicurano un mercato giusto ed efficace dove tutti i partecipanti possono partecipare senza vantaggi sleali.

#Meccanismi di Mercato

Sono stati proposti diversi design potenziali per il mercato dei prover. Un approccio fondamentale prevede di utilizzare Aste, che consentono agli utenti di fare offerte per i servizi di prova e ai prover di fare offerte per fornire tali servizi.

#Primo Tentativo

L'idea iniziale era di combinare un'asta di primo prezzo per gli utenti con un'asta veritiera per i prover. Gli utenti avrebbero pagato ciò che avevano offerto e i prover avrebbero rivelato i loro costi onestamente. Tuttavia, questo metodo ha notevoli carenze, poiché alcuni prover possono manipolare le loro offerte a proprio favore, portando a risultati ingiusti.

#Secondo Tentativo

Il secondo approccio ha coinvolto l'uso di un'asta di primo prezzo generalizzata in cui i prover avrebbero fatto offerte senza rivelare i loro veri costi. Anche se questo metodo ha ridotto alcuni rischi di collusione, ha comunque affrontato sfide, in particolare quando un prover poteva aumentare le sue possibilità di vittoria creando identità o offerte false.

#Il Nostro Design Proposto:

Il meccanismo proposto è costruito attorno a un sistema che imposta una capacità di batch per limitare il numero di compiti di prova che un prover può assumere in un dato momento. Utilizza un'asta equa tra gli utenti mantenendo un sistema di lotteria per la selezione dei prover per garantire una possibilità equa per tutti i partecipanti qualificati.

#Caratteristiche Chiave

1. Parametro di Capacità: Il meccanismo imposta un limite su quanti vincoli possono essere elaborati in un singolo batch. Questo aiuta a gestire le risorse e garantisce che i prover non siano sopraffatti.

2. Asta Greedy: Gli utenti fanno offerte per le loro transazioni, e il meccanismo seleziona le transazioni con le offerte più alte per massimizzare le entrate rimanendo nei limiti di capacità.

3. Sistema di Lotteria per i Prover: I prover che soddisfano i costi e i limiti di capacità vengono inseriti in una lotteria, che offre loro possibilità eque di essere selezionati riducendo il rischio di collusione.

4. Staking e Slashing: I prover devono puntare un certo importo prima di partecipare. Se non riescono a svolgere i loro compiti entro il termine stabilito, la loro puntata viene confiscata.

#Limitazioni e Sfide

Anche se il sistema proposto affronta diverse questioni, ha le sue limitazioni. Una preoccupazione principale è il rischio di attacchi Sybil in cui un prover potrebbe creare più identità false per ottenere un vantaggio sleale nell'offerta. Inoltre, la collusione parziale tra i prover potrebbe ancora rappresentare una minaccia.

Il parametro di capacità deve essere anche regolato dinamicamente, il che può essere difficile nella pratica. Il sistema deve definire chiaramente come questo parametro dovrebbe cambiare in base alle condizioni di mercato senza introdurre nuovi rischi di collusione o manipolazione.

#Conclusione

La progettazione di un meccanismo robusto per i mercati dei prover negli ZK-Rollup è cruciale per il futuro delle transazioni decentralizzate. Stabilendo regole chiare per le offerte e la selezione, è possibile creare un ambiente più equo dove gli utenti possono accedere ai servizi di prova mentre i prover possono lavorare in modo sostenibile. Il lavoro continua per affinare queste idee e sviluppare ulteriori intuizioni sulla gestione di questi sistemi complessi in modo efficace.

In sintesi, un meccanismo ben progettato può incoraggiare la concorrenza, minimizzare i rischi e, in definitiva, creare un mercato più sano per tutti gli coinvolti.