Perché Pearl ha cambiato il consenso quattro volte in 27.000 blocchi
Pearl ha superato questa settimana il blocco 99.000 della mainnet, e con esso il quarto cambio di consenso in 27.065 blocchi. Due dei quattro sono stati hard fork e due softfork, il che conta per ciò che un miner ha dovuto fare, ma non per il motivo per cui sono avvenuti. Quattro upgrade così ravvicinati sembrano quelli di una catena in difficoltà. È quasi il contrario. Letti in ordine di blocco non sono quattro problemi separati, sono un unico problema affrontato da quattro lati, e l'ultimo lo chiude. Ogni altezza, regola e versione qui sotto è letta dal codice sorgente di consenso della catena stessa e non da un annuncio.
Cosa chiede Pearl a un miner
Si parte da ciò che Pearl chiede a un miner, perché nient'altro ha senso senza di esso. Pearl ha lanciato la sua mainnet il 27 aprile 2026 come layer 1 che si protegge con la moltiplicazione di matrici invece che con l'hashing. La moltiplicazione è la stessa algebra lineare densa su cui l'addestramento e l'inferenza dell'IA passano quasi tutto il loro tempo. Un miner esegue sulla GPU una moltiplicazione di matrici con rumore, fa l'hash del risultato in un commitment e avvolge quel lavoro in una prova a conoscenza zero, così che la rete possa verificarlo a basso costo. Lo strato di base sottostante è volutamente noioso, un fork del nodo btcd di Bitcoin, così che l'idea nuova poggi su un'infrastruttura vecchia e ben conosciuta.
Perché conta la forma del lavoro
Ora la parte difficile di quell'idea. Quando il lavoro è un hash c'è esattamente un modo di farlo ed esattamente un numero che dice quanto è stato difficile. Quando il lavoro è una moltiplicazione di matrici, il miner deve anche dichiararne la forma: quanto sono grandi le matrici e quanto rumore a basso rango vi viene incorporato. La catena non vede mai la GPU. Vede una prova, e una descrizione del lavoro di cui quella prova parla. Ognuno dei quattro upgrade riguarda quella descrizione, e il fare in modo che dichiararne ogni parte costi qualcosa.
Blocco 71.935: il certificato mixture of experts
Il primo, un hard fork al blocco 71.935, ha portato le prove dal certificato v1 al v2. L'upgrade prende il nome da ciò che il nuovo certificato può descrivere: un mixture of experts, la forma che assume l'inferenza reale su un modello grande, in cui per ogni token viene eseguito solo qualche esperto tra molti. Un formato di prova che può descrivere solo una grande moltiplicazione densa può descriverne sempre e solo una parte. Il certificato v2 contiene anche un campo che il v1 non aveva, il rango del rumore, ed è quel campo ad aver reso possibile il terzo upgrade.
Blocco 91.630: solo denso, per ora
Il secondo, un softfork al blocco 91.630, ha ristretto la porta appena allargata: da quel blocco la rete rifiuta le prove mixture of experts e accetta solo quelle dense. Sembra una marcia indietro e non lo è. Il certificato è rimasto alla v2, quindi il formato ha conservato tutto ciò che aveva guadagnato; ciò che è cambiato è quali forme contano mentre la catena è giovane. Il progetto non ha pubblicato le ragioni della tempistica, quindi questo è il punto in cui il lettore va informato di ciò, e non gli si deve servire un'ipotesi travestita da motivo.
Blocco 96.251: il rango non paga più
Il terzo, un softfork al blocco 96.251, è quello con un numero che un miner avverte. Il rango stabilisce quanto rumore a basso rango viene incorporato nella moltiplicazione, e prima di questo fork il target che una share doveva battere veniva reso più facile in proporzione alla dimensione del tile moltiplicata per l'intera lunghezza del prodotto scalare. Alzare il rango comprava quindi un target proporzionalmente più facile senza che la GPU facesse più lavoro reale: la manopola che decide quanta parte del calcolo è genuina era anche la manopola che decideva per quante share si veniva pagati. Da questo blocco lo stesso limite è scalato per la dimensione del tile moltiplicata per la lunghezza del prodotto scalare e divisa per il rango moltiplicato per 128, e qualsiasi rango sotto 128 viene rifiutato direttamente. Le due espressioni differiscono esattamente di 128 diviso il rango, quindi l'effetto su un miner che usa ancora la vecchia impostazione è aritmetica e non una stima: con rango 256 il target è due volte più difficile di prima per lo stesso lavoro, e con rango 1024 otto volte.
Un cambio di consenso che restringe ciò che conta come lavoro reale può anche mandare in pensione dell'hardware, perché la regola più stretta deve essere riprodotta bit per bit su qualunque scheda stia facendo il lavoro. Se una specifica generazione di GPU abbia perso il supporto a Pearl con questo fork è una domanda per le note di rilascio di ciascun miner e non per la catena, e questo articolo non ne nomina nessuna, perché il codice della catena non dice nulla sulle schede. Resta comunque il genere di cosa da verificare prima di comprare una scheda per una sola moneta.
Blocco 99.000: il seme è legato alla forma
Il quarto, un hard fork al blocco 99.000, è il cambiamento più piccolo e il più facile da descrivere in modo sbagliato. Il rumore contro cui un miner moltiplica deriva dalle due radici di Merkle della prova. Prima di questo fork quelle radici entravano grezze nella derivazione, quindi il rumore non dipendeva dalle dimensioni della matrice a cui la prova si impegna. Dal blocco 99.000 ogni radice viene prima mescolata con una di quelle dimensioni, il numero di righe per una e il numero di colonne per l'altra, e solo allora parte la catena dei semi. Un dato rumore appartiene quindi a esattamente una forma dichiarata. La struttura del certificato è byte per byte quella della v2 e il formato di trasmissione porta ancora le radici grezze; solo il numero di versione sceglie quale derivazione si applica, ed è per questo che l'unica cosa chiesta a un miner è stata un nuovo binario.
Cosa dicono i quattro insieme
Messi in fila, i quattro dicono una sola frase in quattro modi. La catena non può osservare la GPU, quindi tutto ciò che una prova dichiara su sé stessa deve costare qualcosa da dichiarare. Mixture of experts ha ampliato ciò che una prova può descrivere. Solo denso ha ristretto ciò che conta mentre la catena è giovane. La penalità sul rango ha impedito a una manopola dentro la dichiarazione di comprare un target più facile. Il seme con sale ha impedito a uno stesso rumore di servire più di una forma dichiarata. Una catena giovane che trova questi difetti nei primi mesi e li corregge in meno di 27.000 blocchi è un segnale migliore di una catena giovane che non ne ha trovato nessuno.
Cosa significa se mina PRL
La parte pratica, per chiunque mini PRL. Tutti e quattro si sono attivati a un blocco fisso senza periodo di transizione, e tutti e quattro falliscono nello stesso modo silenzioso: un miner non aggiornato continua a mostrare un hashrate perfettamente sano mentre le sue share non contano più nulla. Il numero dell'hashrate sul Suo schermo non è una prova in un giorno di fork. Guardi invece il conteggio delle share accettate, e aggiorni prima del blocco, non dopo. Se fa merged mining, la perdita raddoppia, perché una share di Pearl non valida non porta con sé nemmeno un blocco ausiliario.
Da parte nostra ognuno di questi era pronto prima del suo blocco di fork, quindi l'unica cosa che un miner doveva cambiare era il binario del miner. Stesso indirizzo, stessa porta, stesso portafoglio.
Da dove vengono questi numeri
Da dove vengono i numeri, così che chiunque possa verificarli invece di fidarsi della nostra parola: le quattro altezze di attivazione, il tempo di blocco e il timestamp del genesis della mainnet sono letti dai parametri di rete e dalla definizione del genesis della catena stessa; la regola del rango e il valore di 128 diviso il rango sono letti dai controlli di validità del verificatore delle prove, dove il vecchio e il nuovo limite stanno uno accanto all'altro; e le versioni del certificato e la derivazione con sale sono lette dal formato di trasmissione e dal modulo dei semi. Ciò che il codice non dice è lasciato fuori da questo articolo invece di colmarlo con supposizioni.