Il ledger di Cardano aggiunge regole per i blocchi endorser di Leios

Il team di sviluppo del ledger di Cardano ha unito le regole per l'elaborazione dei blocchi endorser di Ouroboros Leios. La pull request #6215, intitolata “Add EB and EBLEDGERS”, è stata unita nel branch master del repository cardano-ledger il 30 ottobre.

L'aggiornamento fa parte del lavoro di preparazione del ledger di Cardano a Leios, un'estensione di protocollo proposta progettata per aumentare il throughput delle transazioni. Leios è ancora in fase di sviluppo e non è attivo sul mainnet di Cardano.

Come funzionano le nuove regole del ledger di Cardano

Il ledger verifica se i blocchi e le transazioni sono validi e determina come modificano lo stato registrato della rete. Le regole appena unite si applicano all'era Dijkstra prevista e riguardano come il ledger elabora un blocco endorser e le sue transazioni.

La prima regola, EB, verifica se l'hash del blocco in fase di applicazione corrisponde all'annuncio più recente di blocco endorser registrato nello stato del ledger. Rifiuta inoltre il blocco se non è presente alcun annuncio.

La seconda regola, EBLEDGERS, elabora le transazioni del blocco. Nella sua forma iniziale, segue la regola LEDGERS esistente utilizzata per l'elaborazione delle transazioni. La pull request unita include anche test per le nuove regole.

Certificati Leios e voto dei pool di stake

Leios introduce blocchi endorser insieme alla catena Praos esistente. Il design consente a questi blocchi di fare riferimento a transazioni aggiuntive, con un comitato di pool di stake che vota prima che tali transazioni possano essere incorporate nel ledger.

Secondo l'attuale proposta CIP-0164, il comitato è composto dai pool più grandi per stake attivo ed è selezionato per un'epoca. I voti sono ponderati in base allo stake e combinati utilizzando firme BLS. La proposta descrive una soglia di certificazione del 75% dello stake attivo totale come valore di parametro fattibile.

Il team del ledger ha unito una regola separata LEIOSCERT il 27 ottobre per convalidare i certificati e la loro tempistica. Il 29 ottobre ha inoltre unito un'interfaccia di validazione dei certificati destinata al livello di consenso. L'attività di sviluppo correlata descrive un modo per verificare un certificato quando le informazioni necessarie per la convalida sono disponibili ma il blocco endorser stesso non è ancora stato ricevuto.

[NEWSBREAK]

Dalle modifiche al ledger all'hard fork Dijkstra

Le nuove regole del ledger sono state unite dopo la pre-release di cardano-node 11.2.0. Quella versione include funzionalità di sviluppo per Dijkstra e basi per Leios, mentre la funzionalità Leios rimane disattivata per impostazione predefinita.

Secondo i verbali dell'Hard Fork Working Group di Intersect, il nodo 11.3 dovrebbe includere il Leios lineare. Il gruppo lo ha descritto come il primo candidato che potrebbe essere promosso alla versione 12.0, la quale sarebbe in grado di attraversare l'hard fork, a condizione che i test non identifichino problemi bloccanti.

Il piano di implementazione pubblicato da Input Output include l'hard fork Dijkstra, la registrazione delle chiavi BLS da parte degli operatori dei pool di stake, esercitazioni di carico sul mainnet e successivi aumenti di capacità tramite aggiornamenti dei parametri di protocollo. L'obiettivo iniziale è di circa tre a cinque volte l'attuale limite di Praos di 4.5 kilobytes di transazioni al secondo. Aggiornamenti successivi puntano a circa dieci a quindici volte quel limite, soggetti ai test e alle decisioni di governance.