Aleo: Провідник нового етапу приватних обчислень у Web3

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

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

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

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

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

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

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

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

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

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

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

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 (7500万), яке буде розподілено протягом перших шести місяців, а також включає винагороди за стейкінг, роботу валідаторів і верифікаційних вузлів.

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

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

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

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

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

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

2. За допомогою побудови R1CS доказу електричної схеми для введення та EpochProgram, створюється відповідне R1CS призначення (, тобто свідчення ).

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

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

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

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

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

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

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

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

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