Aleo: блокчейн-проект, який поєднує конфіденційність та масштабованість

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

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

Приватність

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

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

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

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

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

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

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

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

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

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

2. Децентралізоване забезпечення: розділення виробництва блоків та генерації coinbase.

3. Механізм стимулювання: валідатори та доказувачі ділять блокові винагороди.

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

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

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

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

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

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

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

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

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

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

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

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

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

4. Перетворити свідка на листовий вузол Меркле-дерева.

5. Обчислити корінь Меркле та перетворити його на proof_target.

6. Перевірте, чи відповідає proof_target вимогам поточної епохи.

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

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