[Un concetto web3 ogni giorno] Comprendi rapidamente PAXOS

PAXOS è un tipico algoritmo di consenso non bizantino fortemente coerente. È diverso dal PoW e dal PoS di cui abbiamo parlato prima. Coerenza forte significa che tutti i nodi del sistema ricevono risultati coerenti nello stesso momento, mentre coerenza non forte significa che è necessario un certo tempo affinché tutti i dati nel sistema raggiungano il consenso, come PoW e PoS.

Allora cosa è non-Bisanzio? Bizantino si riferisce al problema del "traditore", che è un problema con caratteristiche estremamente distruttive, imprevedibili e casuali, come gli attacchi degli hacker. Non bizantino si riferisce a problemi come tempi di inattività, ritardo della rete e perdita di informazioni. L'algoritmo di Paxos prevede tre nodi: proponente, accettatore e discente. Il funzionamento è che il proponente invia una proposta numerata in modo univoco all'accettante durante la fase di preparazione per richiedere un impegno. Quando l'accettante risponde, se ha precedentemente accettato altre proposte, restituirà al proponente i valori e i numeri di quelle proposte. Se il proponente ottiene l'impegno di più della metà degli accettanti, entrerà nella fase di Accettazione e invierà il valore specifico della proposta. Una volta che questo valore viene accettato da più della metà degli accettanti, viene raggiunto il consenso sulla proposta. Lo studente viene quindi informato di questa decisione, che serve a garantire che altre parti del sistema sappiano quali proposte sono state accettate, mantenendo così la coerenza dei dati attraverso la rete.

Secondo il famoso teorema CAP, un sistema distribuito non può garantire allo stesso tempo coerenza, disponibilità e tolleranza alla partizione: tutti gli algoritmi di consenso si basano sulle condizioni reali per raggiungere un equilibrio tra le tre. Lo scopo di PAXOS è garantire una forte coerenza, che si traduce nel sacrificare una certa quantità di disponibilità. A differenza del PoW, il PoW raggiunge una coerenza finale, il che significa che possono essere consentiti fork a breve termine, mentre PAXOS non avrà fork, perché solo risultati coerenti possono consentire al sistema di continuare a funzionare. Allo stesso tempo, il suo focus è sulla risoluzione di errori non bizantini, che impediranno anche al sistema di funzionare normalmente quando viene attaccato da attacchi dannosi. Ad esempio, se un proponente maligno continua a pubblicare nuove proposte, l’intero sistema fermarsi. #Paxos #热门话题 #每日解析