Aleo: Блокчейн з захистом конфіденційності, керований технологією zk-SNARKs

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

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

Приватність

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Остання версія алгоритму puzzle Aleo називається Synthesis Puzzle, її основою є фіксоване створення спільної EpochProgram для кожного epoch, шляхом створення R1CS доказового кола для вхідних даних та EpochProgram, отримуючи відповідне призначення R1CS і використовуючи його як листовий вузол Merkle tree, після розрахунку всіх листових вузлів генерується Merkle root і перетворюється на proof_target рішення.

алгоритм процес

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

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

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

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

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

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

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

![Інтерпретація останнього алгоритму Aleo Synthesis Puzzle: ведення революції приватності Web3]###https://img-cdn.gateio.im/webp-social/moments-fd98786228320367ac6fe8f41a965499.webp(

) Зміни та вплив видобутку

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

![Інтерпретація останнього алгоритму Aleo Synthesis Puzzle: веде революцію в конфіденційності Web3]###https://img-cdn.gateio.im/webp-social/moments-248292393dc48af499b670cbe18d5eaf.webp(