Aleo: Новий напрямок у сфері приватного Блокчейн

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

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

Приватність

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

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

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

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

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

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

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

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

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

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

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

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

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

Останні досягнення

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

1. Голосування за ARC-100 пройшло, команда проводить остаточні коригування.

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

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

4. Testnet Beta завершила останнє скидання мережі, додано ARC-41 та нову функцію puzzle.

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

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

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

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

1. Кожен епоха генерує спільну EpochProgram.

2. Використовуйте nonce(, що складається з адреси винагороди за майнінг, epoch_hash та випадкового числа counter) як вхід.

3. На основі EpochProgram та вхідних даних побудуйте R1CS доказовий контур, згенеруйте свідчення.

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

5. Перетворіть корінь Меркле на proof_target рішення, щоб перевірити, чи відповідає він вимогам поточного епохи.

6. Якщо вимоги виконані, надішліть рішення та розповсюдьте його.

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