Verify Cardano rende più semplice verificare le affermazioni della rete

Verify Cardano affronta una domanda difficile per le blockchain pubbliche: come può un esterno verificare ciò che una rete afferma di se stessa?

Durante Cardano Over Coffee, Adam Rusch ha presentato il progetto come una risorsa per ricercatori, decisori pubblici e sviluppatori e costruttori che esaminano le operazioni e la governance di Cardano.

La discussione ha presentato una versione funzionante con ulteriori sviluppi pianificati. La sua proposta centrale è semplice: pubblicare le misurazioni insieme a informazioni sufficienti perché i lettori possano esaminarle.

Come funziona la verifica

In una sottomissione alla SEC del 20 ottobre, Rusch descrive registri giornalieri delle misurazioni archiviati su IPFS, con un riepilogo crittografico registrato su Cardano.

Gli strumenti di verifica controllano se i valori pubblicati corrispondono a quell’impegno. Riprodurre il calcolo è un passaggio separato, che richiede la metodologia e gli input sottostanti.

La lettera individua tra i fatti esaminati la produzione di blocchi, la distribuzione dello stake e la concentrazione del voto.

Si consideri una misura pubblicata della concentrazione del voto. Un lettore deve sapere quali credenziali di voto sono state incluse, quando è stato preso lo snapshot e come è stata calcolata la concentrazione. Confermare che il registro pubblicato corrisponda al suo impegno on chain risponde a una domanda; verificare il calcolo ne risponde a un’altra.

Questa distinzione dà al progetto uno scopo più chiaro rispetto a una dashboard che mostra numeri non spiegati.

Portare prove nel dibattito sulle politiche

La sottomissione di Rusch sostiene che emittenti, sviluppatori e partecipanti alla governance dovrebbero essere valutati in base ai loro ruoli effettivi.

Scrivere software, proporre una modifica e approvarne l’attivazione sono attività diverse. La lettera propone Cardano come esempio di come i registri pubblici possano aiutare a esaminare tali responsabilità.

Rusch ha presentato i commenti a titolo personale. La loro pubblicazione da parte della SEC non costituisce un avallo del portale o delle sue conclusioni.

Nella discussione, Rusch ha descritto lo sforzo come un contributo educativo: mostrare ai decisori pubblici cosa possono ispezionare e come ispezionarlo.

Per Cardano, ciò offre una forma pratica di coinvolgimento. Fornisce a un pubblico esterno materiale da indagare invece di chiedergli di accettare un’affermazione generale sulla decentralizzazione.

[NEWSBREAK]

Un registro utile deve mostrare i suoi limiti

La lettera riconosce un limite significativo: le credenziali del ledger non stabiliscono chi le controlla in ultima istanza. Attualmente, Intersect controlla l’autorizzazione a pubblicare i registri del portale, mentre i lettori possono verificare in modo indipendente tali registri.

Tali distinzioni dovrebbero rimanere visibili man mano che il progetto si sviluppa. La verifica indipendente di un registro e il controllo indipendente della sua pubblicazione sono proprietà distinte.

Durante lo Space, Rusch ha affermato che EPOC era entrata nel processo di revisione del codice e di implementazione in seguito al suo lavoro di prototipo iniziale. I partecipanti hanno anche descritto ulteriori miglioramenti pianificati per i prossimi mesi.

Il passo successivo più solido sarebbe una dimostrazione pubblica di una misurazione, dai dati sorgente attraverso il calcolo fino alla verifica. Ciò permetterebbe ai lettori di giudicare direttamente il processo e darebbe ai ricercatori un punto di partenza chiaro per contestare o riprodurre il risultato.