Aleo: Піонер Блокчейн у сфері приватності та масштабованості

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

У цій статті буде представлено огляд проекту Aleo та його останніх досягнень, а також докладний аналіз нового алгоритму Synthesis Puzzle.

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

Приватність

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

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

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

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

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

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

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

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

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

1. Швидка фінальність блоку: забезпечити підтвердження кожного блоку одразу після його створення, підвищуючи стабільність вузлів та досвід користувачів.

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

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

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

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

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

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

2. Програма заохочення валідаторів: з 1 по 15 липня буде діяти, розподіляючи 1 мільйон Aleo балів у якості винагороди. Відсоток балів, що генеруються вузлом, визначатиме його частку винагороди, кожен валідатор повинен заробити щонайменше 100 токенів, щоб отримати винагороду.

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

4. Тестова мережа Beta скинута: це останнє скидання мережі, після якого нові функції додаватися не будуть, мережа буде схожа на основну мережу.

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

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

Інтерпретація алгоритму Synthesis Puzzle

Aleo останнім часом оновив алгоритм puzzle, більше не зосереджуючись на генерації результатів zk proof, а переходячи до генерації проміжних даних witness перед створенням proof. Нижче наведено короткий огляд нового алгоритму Synthesis Puzzle:

Процес консенсусу

1. Prover розраховує puzzle, створює рішення та транслює їх у мережу.

2. Агregaція交易 Validator і рішення для наступного нового Блоку, забезпечуючи, що кількість рішень не перевищує обмеження консенсусу.

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

4. Дійсне рішення може отримати винагороду за консенсус.

Детальний процес Синтезу Пазлу

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

2. У кожному епоху всі prover обчислюють однакову EpochProgram, яка вибирається з інструкційного набору за допомогою випадкового числа, згенерованого з поточного epoch_hash.

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

4. Агрегуйте R1CS та input, що відповідають EpochProgram, для виконання обчислення свідчень.

5. Перетворіть усі свідки на послідовність листових вузлів меркле-дерева.

6. Обчисліть merkle root та перетворіть його на proof_target рішення, щоб визначити, чи відповідає він вимогам поточного epoch.

7. Якщо вимоги виконані, подайте reward address, epoch_hash і counter, необхідні для створення введення, як solution і транслюйте.

Зміни та вплив майнінгу

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

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