Aleo: інноваційний Блокчейн проект з захистом приватності та масштабованістю

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

Огляд проекту

Приватність

Основна технологія Aleo - це докази нульового знання (ZKPs), що дозволяє виконувати транзакції та смарт-контракти, зберігаючи при цьому конфіденційність. Деталі транзакцій користувачів, такі як відправник та сума транзакції, за замовчуванням приховані. Такий дизайн не лише захищає конфіденційність користувачів, але й дозволяє за необхідності здійснювати вибіркове розкриття, що дуже підходить для розвитку децентралізованих фінансових (DeFi) додатків.

Основні компоненти Aleo включають:

1. Leo компільована мова: адаптована на основі мови Rust, спеціально призначена для розробки нульових знань (ZKApps), зменшуючи вимоги до знань криптографії для розробників.

2. snarkVM та snarkOS: snarkVM дозволяє виконувати обчислення поза ланцюгом, при цьому на ланцюзі тільки перевіряється результат обчислень, що підвищує ефективність. snarkOS забезпечує безпеку даних та обчислень і дозволяє виконувати функції без дозволу.

3. zkCloud: надає безпечне, конфіденційне середовище для обчислень поза ланцюгом, підтримує програмну взаємодію між користувачами, організаціями та децентралізованими автономними організаціями (DAO).

Aleo також надає інтегроване середовище розробки (IDE) та набір інструментів для розробки програмного забезпечення (SDK), що підтримує розробників у швидкому написанні та публікації застосунків. Крім того, розробники можуть розгортати застосунки в реєстрі програм Aleo без залежності від третіх сторін, що знижує ризики платформи.

Масштабованість

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

механізм консенсусу

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

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

2. Децентралізоване забезпечення: шляхом розділення виробництва блоків та генерації coinbase, валідатори відповідають за створення блоків, а доказувачі виконують обчислення доказів, запобігаючи монополії небагатьох суб'єктів на мережу.

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

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

Останні новини

Aleo розпочне тестову мережу з винагородами 1 липня, нижче наведено деякі важливі оновлення:

1. Пропозиція ARC-100 прийнята: ця пропозиція стосується аспектів відповідності, блокування коштів на мережі Aleo та безпечних заходів, таких як затримка зарахування, наразі команда проводить фінальні коригування.

2. Програма стимулювання валідаторів: ця програма розпочнеться 1 липня і має на меті перевірку нового механізму puzzle. Програма буде діяти до 15 липня, під час якої буде розподілено 1 мільйон Aleo балів у якості нагороди.

3. Постачання токенів: початковий обсяг становить 1,5 мільярда токенів, початковий обсяг обігу приблизно 10%. Ці токени в основному походять з винагород за завдання (75 мільйонів), які будуть розподілені протягом перших шести місяців, а також включають винагороди за стейкинг, роботу валідаторів та валідаторських вузлів.

4. Оновлення тестової мережі: останнє скидання мережі завершить додавання ARC-41 та нової функції puzzle.

5. Замороження коду: завершено тиждень тому.

6. План розширення верифікаційних вузлів: початкова кількість верифікаційних вузлів становить 15, мета - збільшити їх до 50 протягом року, а зрештою до 500. Щоб стати делегатом, потрібно 10 000 токенів, щоб стати верифікатором - 10 000 000 токенів, ці суми з часом поступово зменшуватимуться.

Аналіз алгоритму Synthesis Puzzle

Остання версія алгоритму puzzle Aleo називається Synthesis Puzzle, її основні характеристики такі:

1. Генерується спільна EpochProgram для кожного епохи.

2. Використання введення та EpochProgram для побудови R1CS доказового кола, що генерує R1CS призначення (свідок).

3. Використовуйте witness як листовий вузол дерева Меркла, обчисліть корінь Меркла та перетворіть його на proof_target рішення.

4. Кожен раз, коли обчислюється puzzle, це називається nonce, який формується на основі адреси, що отримує винагороду за видобуток, epoch_hash і випадкового числа counter.

5. EpochProgram генерує випадкове число, взяте з набору інструкцій, на основі поточного epoch_hash.

6. Використовуйте nonce як зерно випадкових чисел для генерування вхідних даних EpochProgram.

7. Після обчислення witness, перетворіть на послідовність листових вузлів дерева Меркла, використовуючи K-арне дерево Меркла з глибиною 8.

8. Обчисліть корінь Меркла та перетворіть його на proof_target рішення, щоб визначити, чи відповідає він останньому proof_target поточного епохи.

9. У межах одного epoch можна виконувати кілька обчислень solution, оновлюючи вхідні дані EpochProgram за допомогою ітераційного counter.

Цей оновлення перетворює puzzle з генерування proof на генерування witness, логіка обчислення всіх рішення в межах одного epoch залишається незмінною, але між різними epoch логіка обчислення має значні відмінності. У порівнянні з попередньою тестовою мережею, новий алгоритм відмовляється від MSM та NTT обчислень, реалізація паралелізації стикається з новими викликами. Ця зміна може суттєво вплинути на існуючі стратегії оптимізації видобутку, що потребує від шахтарів повторного налаштування та адаптації до нових характеристик алгоритму.