[Web3 koncepcija katru dienu] Ātri izprotiet PAXOS

PAXOS ir tipisks stingri konsekvents nebizantiešu konsensa algoritms. Tas atšķiras no PoW un PoS, par kuriem mēs runājām iepriekš. Spēcīga konsekvence nozīmē, ka visi sistēmas mezgli vienā un tajā pašā brīdī saņem konsekventus rezultātus. Nepārspējama konsekvence nozīmē, ka ir nepieciešams noteikts laiks, lai visi sistēmas dati, piemēram, PoW un PoS, nonāktu pie vienprātības.

Tātad, kas nav Bizantija? Bizantiešu valoda attiecas uz "nodevēja" problēmu, kas ir problēma ar ārkārtīgi postošām, neparedzamām un nejaušām īpašībām, piemēram, hakeru uzbrukumiem. Nebizantiešu valoda attiecas uz tādām problēmām kā dīkstāve, tīkla aizkave un informācijas zudums. Paxos algoritms iestata trīs mezglus: ierosinātāju, akceptētāju un apmācāmo. Kā tas darbojas, priekšlikuma iesniedzējs sagatavošanas posmā nosūta akceptētājam unikāli numurētu piedāvājumu, lai pieprasītu saistības. Kad akceptētājs atbild, ja viņš iepriekš ir pieņēmis citus priekšlikumus, viņš atgriezīs šo piedāvājumu vērtības un numurus piedāvājuma iesniedzējam. Ja priekšlikuma iesniedzējs saņems vairāk nekā puses akceptētāju apņemšanos, tas nonāks akceptēšanas fāzē un nosūtīs konkrēto piedāvājuma vērtību. Kad šo vērtību pieņem vairāk nekā puse akceptētāju, par priekšlikumu tiek panākta vienprātība. Pēc tam apmācāmais tiek informēts par šo lēmumu, kas nodrošina, lai citas sistēmas daļas zinātu, kuri priekšlikumi tika pieņemti, tādējādi saglabājot datu konsekvenci visā tīklā.

Saskaņā ar slaveno KLP teorēmu, sadalīta sistēma nevar vienlaikus garantēt konsekvenci, pieejamību un nodalījuma toleranci. Visi konsensa algoritmi panāk līdzsvaru starp trim, pamatojoties uz faktiskajiem apstākļiem. PAXOS mērķis ir nodrošināt spēcīgu konsekvenci, kā rezultātā tiek upurēts zināms pieejamības apjoms. Atšķirībā no PoW, PoW sasniedz iespējamo konsekvenci, kas nozīmē, ka var atļaut īstermiņa dakšas, savukārt PAXOS nebūs dakšu, jo tikai konsekventi rezultāti var ļaut sistēmai turpināt darboties. Tajā pašā laikā tā ir vērsta uz nebizantiešu kļūdu novēršanu, kas arī izraisīs sistēmas nedarbošanos, ja tai uzbrūk ļaunprātīgi uzbrukumi. Piemēram, ja ļaunprātīgs piedāvātājs turpina izdot jaunus piedāvājumus, visa sistēma nonākt strupceļā. #Paxos #热门话题 #每日解析