[Um conceito web3 todos os dias] Entenda rapidamente o PAXOS

PAXOS é um típico algoritmo de consenso não bizantino fortemente consistente. É diferente do PoW e PoS de que falamos anteriormente. Consistência forte significa que todos os nós do sistema recebem resultados consistentes no mesmo momento.Consistência não forte significa que leva um certo tempo para que todos os dados do sistema cheguem a um consenso, como PoW e PoS.

Então, o que é não-Bizâncio? Bizantino refere-se ao problema do "traidor", que é um problema com características extremamente destrutivas, imprevisíveis e aleatórias, como ataques de hackers. Não bizantino refere-se a problemas como tempo de inatividade, atraso na rede e perda de informações. O algoritmo Paxos configura três nós: proponente, aceitador e aluno. O funcionamento é que o proponente envia uma proposta numerada exclusivamente ao aceitante durante a fase de preparação para solicitar um compromisso. Quando o aceitante responder, caso já tenha aceitado outras propostas anteriormente, retornará os valores e números dessas propostas ao proponente. Caso o proponente obtenha o comprometimento de mais da metade dos aceitantes, entrará na fase Aceitar e enviará o valor específico da proposta. Uma vez que este valor seja aceito por mais da metade dos aceitantes, chega-se a um consenso sobre a proposta. O aluno é então informado desta decisão, que visa garantir que outras partes do sistema saibam quais propostas foram aceitas, mantendo assim a consistência dos dados em toda a rede.

De acordo com o famoso teorema CAP, um sistema distribuído não pode garantir consistência, disponibilidade e tolerância de partição ao mesmo tempo. Todos os algoritmos de consenso são baseados em condições reais para alcançar um equilíbrio entre os três. O objetivo do PAXOS é garantir uma consistência forte, o que resulta no sacrifício de uma certa disponibilidade. Diferente do PoW, o PoW atinge consistência eventual, o que significa que bifurcações de curto prazo podem ser permitidas, enquanto o PAXOS não terá bifurcações, porque somente resultados consistentes podem permitir que o sistema continue funcionando. Ao mesmo tempo, o seu foco está na resolução de falhas não bizantinas, o que também fará com que o sistema não funcione normalmente quando for atacado por ataques maliciosos.Por exemplo, se um proponente malicioso continuar a emitir novas propostas, todo o sistema irá chegar a um impasse. #Paxos #热门话题 #每日解析