Aleo: Піонер у захисті конфіденційності та масштабованості

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

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

приватність

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Остання версія алгоритму Aleo називається Synthesis Puzzle, її основою є фіксоване створення спільної EpochProgram для кожного епохи. Це здійснюється шляхом побудови R1CS доказового кола для вхідних даних та EpochProgram, що генерує відповідні R1CS призначення (тобто свідчення) і використовується як листове вузло Меркле-дерева. Після обчислення всіх листових вузлів генерується корінь Меркле та перетворюється у proof_target рішення.

Докладний процес створення Synthesis Puzzle виглядає так:

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

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

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

4. Об'єднати R1CS та вхідні дані, що відповідають EpochProgram, для виконання обчислення свідчення.

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

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

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

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