Riepilogo Tecnico: Prova di Attestazione Utile (PoUA)

1. Enunciato del Problema

Il documento identifica un disallineamento fondamentale nei meccanismi di consenso per le "catene native di attestazione" – blockchain la cui attività economica primaria è la produzione e la verifica di attestazioni crittografiche (ad esempio, provenienza dei contenuti, attribuzione dell'output dell'IA, tracciabilità della catena di approvvigionamento).

I sistemi attuali di Prova di Partecipazione (PoS) sono progettati per transizioni di stato a scopo generale. In questi sistemi, i validatori guadagnano commissioni indipendentemente dal fatto che elaborino correttamente il carico di lavoro specifico dell'applicazione o lo censurino selettivamente. Di conseguenza, un avversario con capitale sufficiente può acquisire partecipazione, censurare specifici schemi di attestazione o estrarre MEV dal riordinamento delle attestazioni senza attivare le condizioni standard di slashing. La sicurezza economica della catena rimane indifferente alla correttezza del suo carico di lavoro dominante.

Il documento sostiene che una catena che ospita contratti di attestazione su un L1 a scopo generale non può difendere efficacemente il carico di lavoro perché gli incentivi del consenso sono disaccoppiati dal lavoro di attestazione stesso.

2. Metodologia: Prova di Attestazione Utile (PoUA)

PoUA è un primitivo di ponderazione del consenso progettato per legare l'influenza di un validatore direttamente al suo storico di elaborazione di lavoro di attestazione valido. Non è un sostituto del primitivo BFT sottostante (ad esempio, finalità ottimistica di tipo Tendermint), ma un livello che modifica il modo in cui viene calcolato il peso del validatore.

Meccanismo Principale

Il peso del validatore ($w_v$) è calcolato come il prodotto della partecipazione vincolata ($s_v$) e di un punteggio di reputazione non trasferibile ($r_v$):
$$w_v(t) = s_v(t) \cdot r_v(t)$$

• Accumulo di Reputazione: La reputazione cresce in base al contributo del validatore all'elaborazione di attestazioni valide. La funzione di aggiornamento è additiva e limitata:
  $$r_v(t+E) = \text{clip}_{[r_{min}, r_{max}]}(r_v(t) + \eta \cdot g_v(t) - \lambda \cdot b_v(t))$$
  Dove $g_v$ è una misura ponderata in base alle commissioni dell'elaborazione di attestazioni valide (divisa tra i ruoli di proponente e votante) e $b_v$ è un punteggio di comportamento scorretto.
• Non Trasferibilità: La reputazione è intrinseca all'identità del validatore sulla catena e non può essere trasferita o scorporata.
• Intervallo Limitato: $r_{min} > 0$ garantisce che i nuovi validatori abbiano un peso non nullo (prevenendo l'esclusione per avvio a freddo), mentre $r_{max} < \infty$ previene la concentrazione incontrollata del potere.

Difesa contro Avversari Composti

Il documento affronta l'"avversario composto" (un attaccante dotato sia di capitale sia della capacità di controllare insiemi di attestatori e indirizzi di sottomissione per coltivare reputazione). PoUA impiega una difesa a sei livelli:

1. Livello 1 (Formale): Esclude le attestazioni in cui l'indirizzo del sottomittente è uguale all'indirizzo del proponente.
2. Livello 2 (Formale): Esclude le attestazioni in cui l'indirizzo del sottomittente si trova entro una distanza $d$ nel grafo delle transazioni dal proponente (prevenendo il semplice instradamento di fondi).
3. Livello 3 (Economico): Una frazione $\tau_{burn}$ di ogni commissione di attestazione viene inviata a una destinazione non recuperabile (ad esempio, un indirizzo di bruciatura). Ciò crea un limite inferiore formale al costo per macinare la reputazione.
4. Livello 4 (Euristico): Rilevamento statistico di pattern di macinazione (concentrazione degli schemi, densità del grafo).
5. Livello 5 (Governance): Un processo di appello per i falsi positivi.
6. Livello 6 (Futuro): Prove a conoscenza zero di indipendenza del grafo di partecipazione.

3. Contributi Chiave

Sicurezza Formale e Premio per il Costo dell'Attacco

Il documento deriva un premio formale per il costo dell'attacco ($\kappa$) contro un avversario basato sul capitale. In una catena sana in stato stazionario, il costo per acquisire una frazione $\rho$ del peso del consenso è moltiplicato per il rapporto tra la reputazione onesta media e la reputazione minima:
$$\kappa = \frac{\bar{r}_H}{r_{min}}$$
Con i parametri raccomandati ($r_{max}/r_{min} \in [4, 10]$), PoUA offre un premio moltiplicativo da 4× a 10× sul costo dell'attacco rispetto alle catene PoS pure basate sulla partecipazione equivalenti. Questo "fossato" è formalizzato nella Sezione 5.3.

Limite del Costo di Macinazione (Lemma 1)

Un contributo centrale è il Lemma 1, che stabilisce un limite inferiore formale sulle commissioni non recuperabili che un avversario composto deve pagare per macinare la reputazione. Anche se un attaccante elude i Livelli 1 e 2, la bruciatura del Livello 3 garantisce:
$$F_{net, \text{per member}} \geq \frac{\tau_{burn} \cdot \Delta r}{\eta \cdot \alpha_{eff}(m, k)}$$
Ciò trasforma la difesa contro l'agricoltura della reputazione da un argomento puramente euristico a uno economico.

Allineamento degli Incentivi

Il documento modella i validatori come massimizzatori del profitto. Sostiene che, poiché la reputazione è non trasferibile e rappresenta un flusso di ricavi futuri (tramite ricompense dei blocchi e commissioni), lo slashing di un validatore distrugge non solo il suo bond attuale ma anche il suo flusso di ricavi futuri. Questo allineamento degli incentivi "bloccato nel tempo" è assente nel PoS puro basato sulla partecipazione.

Implementazione e Integrazione

Il documento fornisce una specifica di integrazione concreta per il framework di rollup Sovereign SDK, dettagliando:

• Modifiche alla selezione dei validatori e alla ponderazione dei voti.
• Archiviazione dello stato di reputazione (32 byte per validatore).
• Meccanismi di ricalibrazione adattiva dei parametri per $\tau_{burn}$, $\eta$ e $\lambda$ per gestire la deriva del mercato delle commissioni senza intervento di governance.

4. Risultati e Validazione

Il documento presenta risultati derivati da un simulatore di riferimento (prototypes/poua-sim/):

• Costo dell'Attacco: Le simulazioni Monte Carlo confermano le curve analitiche di $\kappa$, mostrando che il premio da 4× a 10× vale per diverse dimensioni dell'insieme di validatori (da 50 a 1000 validatori).
• Difesa a Livelli: Le mappe di calore della ricerca di strategie dimostrano che, sebbene i singoli livelli di difesa (ad esempio, solo il Livello 1) possano essere aggirati, la combinazione di tutti i livelli riduce la ricompensa per le strategie di macinazione al livello di base ($r_{min}$).
• Stati di Transizione: Il documento quantifica i periodi di "riscaldamento" e "recupero" in cui il premio è inferiore al massimale dello stato stazionario, fornendo indicazioni operative per il lancio della catena e il recupero post-shashing.

5. Significato e Affermazioni

Il documento posiziona PoUA non come un nuovo primitivo crittografico, ma come una sintesi di concetti esistenti (consenso ponderato sulla reputazione, prova di lavoro utile e restaking) adattati specificamente per le catene native di attestazione.

• Affermazioni Modeste: Gli autori dichiarano esplicitamente che PoUA non fornisce una prova di sicurezza crittografica completa per tutte le deviazioni razionali. La difesa contro gli avversari composti si basa su un limite economico formale (Lemma 1) supportato da rilevamento euristico (Livello 4) e governance (Livello 5).
• Ambito: Il meccanismo è progettato per catene in cui il carico di lavoro è la produzione di attestazioni. Il documento esclude esplicitamente gli smart contract a scopo generale, sostenendo che aggiungerli diluirebbe il fossato di sicurezza specifico fornito da PoUA.
• Differenziazione: A differenza del restaking (EigenLayer), che riutilizza la partecipazione da una catena primaria, PoUA costruisce un meccanismo di consenso nativo in cui il budget di sicurezza è dimensionato e allineato al carico di lavoro di attestazione. A differenza della Prova di Lavoro Utile (Filecoin/Helium), non richiede attestazione hardware esterna; il "lavoro utile" è verificabile a livello di protocollo tramite verifica delle firme.

Il documento conclude che PoUA offre un profilo di sicurezza difendibile per le catene native di attestazione che gli L1 generici non possono replicare senza ricostruire il loro livello di consenso, a condizione che il meccanismo venga sottoposto a stress test tramite calibrazione devnet e revisione esterna.