(1) Реймонд Чу (співзасновник Aleo, випускник Каліфорнійського університету в Берклі, відповідав за розробку Snarkvm та snarkOS, серед інших валідаторів).

(2) Коллін С (співзасновник Aleo, випускник Каліфорнійського університету в Берклі, відповідав за розробку мови програмування Aleo Leo).

(3) Говард Ву (співзасновник Aleo, випускник Каліфорнійського університету в Берклі, співзасновник і технічний директор, раніше зробив внесок у Fil, Ethereum та Zcash, відповідав за розробку протоколу консенсусу Aleo BFT (має глибокі дослідження в галузі нульових знань)).

(4) Алекс Пруден (випускник Вестпойнтської академії, служив у спеціальних силах США, нині виконавчий директор фонду Aleo, з 2019 по 2020 рік працював у A16z.

Зацікавлені друзі можуть звернути увагу на цього фахівця, який раніше зробив внесок у жовту книгу Ethereum, а наразі займається дослідженнями мови програмування Aleo Leo.

та механізму консенсусу Aleo BFT.

Ця особа має глибокі дослідження у нульових знаннях доказових алгоритмах, зокрема алгоритмі Zk Snarks, що також є вдосконаленою версією алгоритму, використовуваного Aleo.

Ця оновлена версія основної мережі Aleo має на меті:

(1) алгоритм оновлюється до Snark, вдосконалена версія - Snarks.

Введення в алгоритм Snark:

① Лаконічність (Succinctness): доказ, згенерований алгоритмом SNARK, є дуже малим, порівняно з розміром обчислення, що підлягає доказу, розмір доказу практично можна знехтувати.

② Неприйнятність (Non-interactive): алгоритм SNARK не потребує багаторазової взаємодії між доказувачем (prover) та валідатором (verifier), що робить процес перевірки більш ефективним.

③ Цілісність знань (Knowledge-soundness): доказувач не може створити дійсний доказ, не знаючи певного свідка (witness), тобто існує витягувальник, який може витягти свідка з доказу.

④ Захист приватності (Privacy): алгоритм SNARK захищає чутливу інформацію за допомогою передових криптографічних технологій, дозволяючи особам та організаціям виконувати транзакції та обмінюватися інформацією без розкриття жодних підлеглих деталей.

⑤ Підвищення ефективності: завдяки неприйнятному характеру алгоритму SNARK, інформація може бути перевірена за мілісекунди, що підвищує ефективність.

⑥ Вартісна ефективність (Cost-Efficiency): алгоритм SNARK зменшує взаємодію між доказувачами та валідаторами, що знижує загальні витрати на весь процес перевірки.

⑦ Універсальність: алгоритм SNARK може бути використаний у різних сценаріях, включаючи криптовалюти з захистом приватності, автентифікацію та конфіденційні фінансові транзакції.

⑧ Безпека: незважаючи на деякі запитання щодо безпеки алгоритму SNARK, наприклад, якщо у користувача є приватний ключ для налаштування протоколу, вони можуть створити на перший погляд дійсний фальшивий доказ, але шляхом впровадження додаткових заходів безпеки можна забезпечити, що жодна окрема сутність не може отримати доступ до цього приватного ключа, тим самим підвищуючи безпеку.

⑨ Швидка перевірка (Fast Verification): перевірка SNARK доказу є обчислювально ефективною, отже, час перевірки дуже швидкий.

⑩ Широке застосування: завдяки компактному розміру доказу та швидкому часу перевірки, нульові знання SNARKs зазвичай використовуються в приватних монетах, децентралізованих фінансах, розробці dApp та автентифікації.

(2) механізм консенсусу оновлено з попереднього posw до механізму консенсусу Aleo BFT.

Переваги механізму Aleo BFT в першу чергу проявляються в наступних аспектах:

1. Висока пропускна здатність та низька затримка: алгоритм консенсусу AleoBFT може обробляти велику кількість транзакцій, реалізуючи мережу блокчейнів з високою пропускною здатністю, забезпечуючи швидшу швидкість підтвердження транзакцій.

2. Потужна безпека: AleoBFT поєднує механізм доказу часток (PoS) та лаконічний доказ роботи (PoSW), забезпечуючи наявність достатньої кількості досвідчених валідаторів для вирішення проблеми zkSNARK та заохочуючи кількох учасників демонструвати ефективність та вартісну ефективність мережі.

3. Висока децентралізація: дизайн AleoBFT дозволяє відокремити виробництво блоків від генерації Coinbase, що означає, що валідатори відповідають за генерацію блоків, а доказувачі можуть обчислювати докази в потрібних масштабах, тим самим забезпечуючи децентралізацію мережі.

4. Гібридний алгоритм консенсусу: AleoBFT є гібридним алгоритмом консенсусу, що поєднує миттєву остаточність валідаторів та обчислювальні можливості доказувачів, підвищуючи рівень децентралізації мережі, одночасно покращуючи продуктивність та безпеку.

5. Механізм стимулювання: модель AleoBFT стимулює валідаторів підтримувати активність мережі шляхом постійного генерування блоків, одночасно також стимулюючи доказувачів безперервно розширювати свої можливості доказу в мережі Aleo, доказувачі вирішують і генерують Coinbase SNARK докази (у формі PoSW), щоб отримати частку нагороди за блок.

6. Вартісна ефективність: AleoBFT дозволяє користувачам упаковувати дані поза ланцюгом і завантажувати їх у вигляді менш об'ємних криптографічних доказів, що значно знижує витрати на газ для участі в мережі Aleo.

7. Миттєве підтвердження блоку: як тільки валідатор генерує та досягає консенсусу щодо кожного блоку, транзакція підтверджується, вирішуючи проблему легкого форку валідаторів, одночасно підвищуючи стабільність вузлів.

8. Підтримка взаємодії великих систем: дизайн AleoBFT забезпечує плавний досвід розробки додатків, одночасно поліпшуючи досвід користувачів шляхом забезпечення миттєвого підтвердження транзакцій у гаманцях та додатках, підтримуючи потенціал взаємодії великих систем.

9. Захист приватності: мережа Aleo базується на криптографії нульових знань, вирішуючи поточну проблему публічних ланцюгів, які одночасно захищають приватність та підтримують обробку великих обсягів даних (масштабованість), вирішуючи проблему витоків даних в Інтернеті та вдосконалюючи недоліки поточних блокчейнів у прозорості даних.

10. Масштабованість: Aleo побудував публічну блокчейн, що забезпечує всю гнучкість Ethereum завдяки кращій архітектурі масштабованості, майнери не повинні повторювати кожну транзакцію, а лише перевіряти її правильність.

Ці переваги роблять механізм Aleo BFT дуже перспективним рішенням для блокчейн-технологій, яке може підтримувати різноманітні сценарії з високою продуктивністю та безпекою.

(3) зниження виходу pos, зменшення тиску продажу. Підвищення виходу pow, покращення настроїв майнерів, інфляція знижена до 5%.

(4) Покращення загальної продуктивності основної мережі Aleo, значне підвищення TPS, наразі TPS становить лише 10—12 транзакцій/секунду.

Подальші публікації про Aleo, зацікавлені друзі можуть слідкувати за оновленнями...