La revisione di Cardano Leios mostra certificati reali, lavoro sul mempool e test su Musashi Dojo

Lo sviluppo di Leios di Cardano è passato a una fase di test più pratica a giugno, con il team che ha delineato il lavoro su aggregazione dei certificati, struttura dei blocchi dell'era Dijkstra, operazioni di testnet, strumenti per gli explorer e test avversari. Leios è l'aggiornamento del throughput di Cardano progettato per aggiungere blocchi endorser alla pipeline di consenso, consentendo a più dati di transazione di attraversare la rete mantenendo i requisiti di sicurezza legati a validazione, voto e certificazione.

Cardano Leios aggiunge certificati di voto reali

La review di giugno ha mostrato progressi nel flusso di lavoro di voto e certificazione alla base dei blocchi endorser di Leios. L'attuale testnet pubblica esegue già il voto di base, mentre il livello successivo di lavoro aggiunge adeguati certificati crittografici, aggregazione dei voti e verifica dei certificati quando i blocchi vengono applicati.

Il team ha descritto un certificato Leios all'interno del corpo di un blocco dell'era Dijkstra, portando l'implementazione oltre un comportamento di segnaposto. Un certificato tipico è stato descritto come di circa 180 byte per circa 1.000 votanti, con la firma aggregata che utilizza crittografia BLS. La dimostrazione ha anche spiegato un cambiamento in ciò su cui votano i nodi. Invece di votare solo sul blocco endorser, l'implementazione ora vota sull'annuncio di quel blocco, perché lo stesso blocco endorser potrebbe altrimenti essere riutilizzato in contesti di catena concorrenti.

Questa distinzione fa parte del lavoro sulla sicurezza alla base di Leios. Il protocollo non sta solo introducendo oggetti a throughput maggiore. Deve anche definire come tali oggetti vengono annunciati, convalidati, votati, certificati e agganciati alla catena. Il team ha affermato che il lavoro sui certificati dovrebbe arrivare sulla testnet dopo un nuovo respin, perché l'aggiornamento cambia il formato del blocco.

Musashi Dojo offre ai builder di Cardano una testnet Leios live

Musashi Dojo è ora l'ambiente di test pubblico per Leios. La documentazione ufficiale lo descrive come una testnet e una palestra di addestramento per Ouroboros Leios, dove i partecipanti possono eseguire un nodo, registrare uno stake pool e iniziare a testare l'implementazione mentre la rete è ancora in forma di prototipo.

La review ha descritto Musashi Dojo come un obiettivo di integrazione di lunga durata per Leios. Le sue fasi pianificate sono Terra, Acqua, Fuoco, Vento e Vuoto. Terra si concentra su onboarding, funzionalità di base e correttezza. Acqua è pensata per l'esplorazione dei parametri del protocollo e il testing dei limiti. Fuoco è mirata a uno stress di rete più intenso, inclusi carichi più elevati e latenza del mondo reale da nodi distribuiti globalmente. Vento è riservata al testing avversario. Vuoto è inquadrata come lavoro di preparazione finale prima di un successivo percorso di hard fork.

La testnet non è intenzionalmente un prodotto finito. Usa codice pre release, può essere resettata e non influisce sulla mainnet o su ada reale. Ciò la rende utile per gli SPO, i team di dApp, gli explorer, gli indexer, i wallet e i maintainer degli SDK che hanno bisogno di capire come le modifiche dell'era Dijkstra e i blocchi endorser di Leios influenzino i loro sistemi.

I colli di bottiglia del mempool e il testing red team danno forma alla prossima fase di Leios

La review si è concentrata anche sul mempool come uno dei principali vincoli ingegneristici per un throughput più elevato. Il team ha affermato che Leios necessita di un mempool più grande e più capace per emettere grandi blocchi endorser, mentre l'attuale mempool del nodo Haskell è stato progettato per Praos anziché per gli obiettivi di throughput di Leios.

La discussione ha identificato due punti di pressione. L'invio delle transazioni diventa più conteso quando molti peer offrono transazioni nello stesso momento. Allo stesso tempo, il nodo deve mantenere le transazioni applicabili alla catena attualmente selezionata mentre la selezione della catena e la produzione dei blocchi proseguono. Il team ha discusso possibili approcci tra cui un comportamento del mempool meno bloccante, una preparazione più anticipata all'emissione dei blocchi e un mempool secondario basato sullo stato del ledger atteso per la produzione dei blocchi.

Il programma di test include anche nodi avversari. La sezione red team ha descritto software costruito per collegarsi alla rete e testare casi di errore in condizioni controllate. Un problema iniziale riguardava dati di blocchi endorser non validi che venivano riflessi ai relay, il che ha aiutato a mettere in luce e correggere una debolezza del prototipo. Il team sta ora strutturando questa strumentazione affinché il comportamento di attacco possa essere coordinato su più nodi.

Ciò conferisce a Musashi Dojo un ruolo specifico nella roadmap di Leios di Cardano. È ora un luogo in cui il comportamento dei certificati, il design del mempool, la strumentazione a valle, la visibilità degli explorer, la diversità dei nodi e le condizioni avverse possono essere testati contro un prototipo pubblico in esecuzione. Il cambiamento pratico è che lo sviluppo di Leios non è più visibile solo attraverso il linguaggio della roadmap o demo isolate. Ora sta producendo comportamenti dei nodi, blocchi della testnet, dati degli explorer e casi di errore riproducibili che possono essere utilizzati prima che il codice di produzione sia preparato.