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

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

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

Приватність

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

4. Оновлення тестової мережі: це останнє скидання мережі, після якого нові функції не будуть додані, мережа стане подібною до основної. Скидання потрібно для додавання ARC-41 та нової функції puzzle.

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

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

Оновлення алгоритму Synthesis Puzzle

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

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

1. Обчислювач розраховує puzzle, створює solutions і транслює їх у мережу.

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

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

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

Основний процес Synthesis Puzzle

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

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

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

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

5. Обчисліть усі свідки, а потім перетворіть їх у послідовність листових вузлів меркл-дерева.

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

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

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