[Концепція web3 щодня] Швидко зрозумійте PAXOS

PAXOS є типовим узгодженим невізантійським консенсусним алгоритмом. Він відрізняється від PoW і PoS, про які ми говорили раніше. Сильна узгодженість означає, що всі вузли в системі отримують узгоджені результати в той самий момент часу. Ненадійна узгодженість означає, що потрібен певний час, щоб усі дані в системі досягли консенсусу, наприклад PoW і PoS.

То що таке не-Візантія? Візантійський стосується проблеми «зрадника», яка є проблемою з надзвичайно руйнівними, непередбачуваними та випадковими характеристиками, такими як хакерські атаки. Невізантійський стосується таких проблем, як простої, затримки мережі та втрата інформації. Алгоритм Paxos встановлює три вузли: пропонент, акцептор і навчається. Принцип роботи полягає в тому, що пропонент надсилає пропозицію з унікальним номером акцептору під час фази підготовки для запиту зобов’язання. Коли акцептант відповість, якщо він раніше прийняв інші пропозиції, він поверне значення та номери цих пропозицій тому, хто пропонує. Якщо пропонент отримує зобов’язання більше половини акцептантів, він увійде у фазу «Прийняти» та надішле конкретне значення пропозиції. Після того, як це значення приймається більш ніж половиною акцепторів, досягається консенсус щодо пропозиції. Потім учня інформують про це рішення, яке має гарантувати, що інші частини системи знають, які пропозиції були прийняті, таким чином зберігаючи узгодженість даних у мережі.

Відповідно до відомої теореми CAP, розподілена система не може гарантувати узгодженість, доступність і толерантність до розділів одночасно. Усі консенсусні алгоритми досягають балансу між трьома на основі фактичних умов. Метою PAXOS є забезпечення надійної узгодженості, що призводить до втрати певної доступності. На відміну від PoW, PoW досягає остаточної узгодженості, що означає, що можна дозволити короткострокові розгалуження, тоді як PAXOS не матиме розгалужень, оскільки лише послідовні результати можуть дозволити системі продовжувати працювати. У той же час він зосереджений на вирішенні невірних помилок, які також призведуть до того, що система не працюватиме нормально, якщо її атакують зловмисні атаки.Наприклад, якщо зловмисний пропонент продовжує видавати нові пропозиції, вся система буде зайти в глухий кут. #Paxos #热门话题 #每日解析