Cardano Peras sposta la gestione dei certificati nel codice del protocollo

Ouroboros Peras sta andando oltre le specifiche del protocollo, entrando nei percorsi di codice che determinano come i nodi Cardano archiviano i certificati, li sincronizzano con i peer e riservano spazio nel blocco per i dati di consenso. Tweag ha riportato il lavoro insieme agli aggiornamenti del testnet e a una revisione dell’analisi del voto crittografico. Peras resta pianificato per una fase Dijkstra successiva, senza una data di attivazione su mainnet annunciata.

L’archiviazione dei certificati Peras entra nel codice di consenso

Una prima implementazione di ImmutablePerasCertDB è stata inviata tramite la pull request 2293 nel repository Ouroboros Consensus. Il database è progettato per fornire archiviazione persistente per i certificati Peras ed è attualmente in revisione interna.

Peras estende Ouroboros Praos con il voto basato sulla stake e la certificazione dei blocchi. I suoi certificati aggregano prove che la stake partecipante ha approvato un blocco, fornendo ai nodi informazioni aggiuntive quando valutano la confidenza di finalizzazione.

Se attivato, Peras potrebbe consentire a exchange, bridge e wallet di raggiungere una maggiore confidenza di finalizzazione per le transazioni ADA dopo un numero inferiore di blocchi. Questi servizi farebbero affidamento sulle garanzie di finalizzazione esposte dai nodi Cardano invece di gestire i certificati Peras come una funzione separata per l’utente.

L’implementazione di ObjectDiffusion ha inoltre ottenuto una terminazione del client più graduale e un metodo per rilevare quando la sincronizzazione dei certificati è stata completata. Tale stato può essere utilizzato dalla macchina a stati governor di Cardano quando coordina le connessioni tra peer e la sincronizzazione della rete.

Il team di progettazione della rete ha inoltre dimostrato che i certificati rilevanti per la selezione della catena dovrebbero raggiungere un nodo in ordine crescente di round Peras quando il nodo è connesso ad almeno un peer onesto e valgono le ipotesi standard sulla qualità della catena e della rete. Questo risultato sull’ordinamento semplifica la distribuzione pianificata dei certificati storici e recenti tramite ObjectDiffusion.

Cardano Ledger testa parametri Peras governabili

Il team di Ledger Integration sta lavorando ai componenti Peras rimanenti richiesti prima che il prossimo hard fork raggiunga il congelamento del codice. Il lavoro include la definizione di quali parametri del protocollo Peras potranno in seguito essere modificati tramite la governance di Cardano.

Un prototipo è stato inviato tramite la pull request 6067 nel repository Cardano Ledger. La finalizzazione dell’elenco dei parametri richiederà anche un aggiornamento della Cardano Constitution affinché il framework di governance specifichi quali valori possano essere modificati e i limiti che si applicano a essi.

Il lavoro sul ledger prepara Cardano a una futura distribuzione di Peras. L’attivazione resta assegnata a una fase Dijkstra successiva e richiederà test separati, l’approvazione della governance e un cambio di versione del protocollo.

Gli sviluppatori hanno inoltre completato un metodo iniziale per stimare la dimensione dei certificati prima della produzione del blocco. Un certificato Peras compete con le transazioni ADA e degli asset nativi per la capacità all’interno del corpo del blocco, per cui il nodo forger deve riservare spazio sufficiente prima di selezionare le transazioni.

Una pull request correlata riduce il numero di transazioni selezionate quando un blocco include un certificato Peras. L’adeguamento impedisce al nodo di riempire il blocco prima che possano essere aggiunti i dati di consenso richiesti.

Il testnet di Peras si prepara ai test integrati dei nodi

Il team di sviluppo ha unito le modifiche tracciate come Peras 67 e Peras 68 dopo aver recepito i feedback della revisione. Due ulteriori pull request, Peras 69 e Peras 70, aggiungono annotazioni di strictness e correggono un bug di query che stava bloccando le esecuzioni notturne e del testnet.

La preparazione del testnet include uno script di inizializzazione migliorato, la raccolta centralizzata di log e metriche e l’aggiornamento del branch di base all’ultimo codice di Peras. Queste modifiche sono pensate per rendere i guasti più facili da tracciare quando i componenti di consenso, rete e ledger operano insieme.

Tweag ha inoltre revisionato la versione 1.1 dell’analisi del voto di Peras prodotta dai ricercatori dell’Applied Cryptography team di Input Output. Le domande emerse durante la revisione vengono utilizzate per definire il piano di consegna dei componenti crittografici necessari a una futura implementazione su mainnet.

L’aggiornamento del testnet previsto combinerà quattro funzionalità in precedenza separate: archiviazione persistente dei certificati, rilevamento del completamento della sincronizzazione dei certificati, conio dei blocchi consapevole dei certificati e accesso del ledger ai parametri di Peras. Il raggiungimento di tale stato operativo dipende dal completamento delle revisioni interne aperte e dallo spostamento del branch del testnet all’ultima implementazione.