AleoBFT: досліджуйте консенсусний рівень Aleo
Aleo використовує AleoBFT — алгоритм консенсусу на основі DAG, натхненний Narwhal і Bullshark — доповнений динамічними комітетами та ставками. AleoBFT офіційно підтверджено для запобігання розгалуженням, забезпечує безпеку та коректність.
⚙️Основні характеристики AleoBFT⚙️
1. ✔️Висока пропускна здатність: поєднує ефективне розповсюдження даних Narwhal із спрощеним упорядкуванням Bullshark.
2. 🔐Надійна безпека: запобігає розгалуженню блокчейну через формальну перевірку.
3. 🌎Масштабованість: підтримує децентралізацію, одночасно вмикаючи програми, що зберігають конфіденційність.
Narwhal — це протокол на основі DAG, який полегшує обмін інформацією між вузлами. Він створює DAG із сертифікатами як вершинами та посиланнями як ребрами, що забезпечує високу пропускну здатність обробки транзакцій. Однак Нарвал забезпечує лише причинний порядок.
Bullshark доповнює Narwhal, інтерпретуючи його DAG для створення єдиного остаточного замовлення транзакції без додаткового обміну повідомленнями. Цей остаточний порядок формує блокчейн.
Звільняючи розповсюдження даних від консенсусу, AleoBFT зменшує накладні витрати, підвищуючи продуктивність, зберігаючи децентралізацію та безпеку. Це основа блокчейн-додатків Aleo, що зберігають конфіденційність.
Narwhal працює за допомогою валідаторів, які запускають кілька робітників і основний вузол. Вокери обробляють транзакції в пакети, діляться ними з іншими валідаторами та генерують дайджести (сертифікати доступності) для основного. Замість включення необроблених транзакцій основний посилається на криптографічні хеші цих пакетів, зменшуючи розмір блоку.
💨Процес створення DAG (і не тільки)💨
DAG будується в раундах, де валідатори збирають n-f сертифікатів (надбільшість) з попереднього раунду для забезпечення консенсусу. Валідатори надсилають пропозиції, збирають підтвердження та формують сертифікати кворуму, які надаються для просування процесу. Цей дизайн забезпечує доступність даних, зменшує накладні витрати, адаптується до мережевих затримок і підтримує масштабованість із надійною безпекою.
Після того, як DAG створено, Bullshark секвенує та завершує блоки без додаткового зв’язку з валідатором, покладаючись на інформацію, закодовану в DAG. Завдяки дизайну Narwhal, який забезпечує відсутність сумнівів (сертифікати, створені однією стороною в раунді, є ідентичними), логіка замовлення спрощена, усуваючи потребу в механізмах зміни перегляду. Валідатори можуть інтерпретувати загальний порядок виключно на основі свого локального перегляду DAG.
У кожному парному раунді детерміновано вибирається лідер, а його сертифікат позначається як якір. Щоб прив’язка була прийнята, вона має отримати принаймні 1+f голосів із сертифікатів у наступних непарних раундах. Це забезпечує узгодженість навіть в асинхронній мережі, оскільки будь-який прив’язок, зафіксований одним валідатором, завжди матиме шлях у майбутніх раундах. Прив’язки без достатньої кількості голосів або шляхів до майбутніх раундів безпечно пропускаються, що спрощує процес прийняття зобов’язань.