Існуючі блокчейни першого рівня або забезпечують анонімність транзакцій, але не дають можливості реалізувати децентралізовані обчислення за допомогою смарт-контрактів, або мають великі можливості щодо свого функціоналу, але зовсім не піклуються про конфіденційність користувачів. Ether був наступним кроком у розвитку децентралізованих обчислень, але він не просунувся в конфіденційності. ZCash і Monero вирішили проблему збереження конфіденційності даних в транзакціях, але в плані «програмованості» вони залишилися на тому ж етапі розвитку, що і біткоін.

The Алео проект був заснований у 2019 році з метою створення повністю приватного і водночас функціонального блокчейна, який базується на технології "Доказ нульового знання" (далі – ЗК). Aleo надає всі необхідні інструменти для створення сучасних децентралізованих додатків, забезпечуючи при цьому повну конфіденційність даних, що передаються в мережі..

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

Такий амбітний проект, безумовно, потребує амбітних інвестицій. Команда Aleo зібрала 298 мільйонів доларів, це найкращий результат для рішень L1 на основі впровадження ZK. У проект інвестували такі фонди, як Kora Management LP, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Samsung Next, Slow Ventures і сумнозвісний Andreessen Horowitz (фонд a16z)..

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

Давайте розглянемо ближче які проблеми Алео збирається вирішувати і якими способами.

Побудова приватної мережі

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

"Front-running" — це добре відома та поширена проблема, коли транзакцію можна негайно «вибити», запропонувавши в мережу точно таку ж, але з вищим газом. Якщо в мережі використовується майнінг, майнери можуть вибрати транзакції з mempool таким чином, щоб отримати максимальну вигоду для себе – тим самим піднімаючи газ у мережі та роблячи транзакції невиправдано дорогими.Це явище називається асиметрією – коли один учасник процесу має більше можливостей, ніж інший через те, що Це означає, що навчені технічні команди мають можливість накопичувати більше інформації для прийняття рішень за одиницю часу, ніж звичайний користувач.

Рішення, яке пропонує Aleo, полягає в тому, щоб усунути таку асиметрію шляхом шифрування всіх даних таким чином, щоб лише безпосередні учасники обміну інформацією мали доступ лише до тієї інформації, яка їм потрібна для здійснення цього обміну. Вся інша інформація повинна бути прихована від інших користувачів. У той же час питання сумісності є критично важливим – усі децентралізовані програми повинні правильно працювати з такою обмеженою інформацією. Тому мережа Aleo спочатку шифрує всю інформацію, яку користувач надсилає в мережу на найнижчому рівні. Щоб взаємодіяти з децентралізованими програмами, він вибирає, яку інформацію їм розкривати. Такий підхід дозволяє надати користувачеві повний контроль над своїми даними, а за допомогою інструментарію Aleo можна досягти функціональності смарт-контрактів, яка ні в чому не поступається Ethereum.

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

Візьмемо приклад із «звичайного» світу – COVID-сертифікати. Ви можете підтвердити, що у вас є імунітет від ковіду, надавши QR-код, виданий державною установою вашої країни. QR-код не містить інформації про те, як саме ви отримали імунітет (перехворіли чи отримали щеплення), а також не розкриває інформацію про те, коли саме ви цей імунітет отримали. Це лише свідчить про той факт, який можна перевірити, що протягом певного періоду часу у вас є імунітет від цієї хвороби. Однак для цієї схеми потрібне централізоване джерело даних, яке недоступне в блокчейні.

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

Підписка Pro для бізнесу.

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

Мова програмування

Перш за все, Aleo використовує власну мову програмування Лео. Він оптимізований для швидкого виконання низькорівневих криптографічних операцій, а також містить необхідні бібліотеки для роботи з ZK, які спрощують інтеграцію цієї технології в додаток. Його синтаксис досить високого рівня, що спрощує розробку на ньому та полегшує читання чужого коду, і він натхненний такими популярними мовами, як JavaScript і Rust.

IDE

Крім того, Aleo має власну IDE (середовище розробки) для цієї мови – Студія Алео.

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

Операційна система

І, нарешті, вузли мережі Aleo працюють на власній ОС snarkOS, спеціально розробленій для роботи з ZK-доказами змін стану мережі без зниження доступності цих даних..

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

Зараз проект Aleo знаходиться на завершальній стадії тестування, а доступ до основної мережі запланований на 2024 рік. Рішення технологічно виділяється серед інших блокчейнів L1 і має великі перспективи для розвитку своєї екосистеми. Ви вже можете випробувати перші програми в цій мережі, такі як Arcane Finance, Shadow Finance, AleoStore, AleoSwap, встановивши та створивши Гаманець Лео.

Офіційні посилання:

• Website ~ https://www.aleo.org/

• Twitter ~ https://twitter.com/AleoHQ

• Community Twitter ~ https://twitter.com/aleocommunity

• GitHub ~ https://github.com/AleoHQ

• Community Forum — https://community.aleo.org/

• Community Calendar ~ https://www.aleo.org/community/calendar

• YouTube — https://www.youtube.com/channel/UCS_HKT2heOC_q88YQLiJt0g

• Developer Documentation ~ https://developer.aleo.org/

• Leo Playground ~ https://play.leo-lang.org/

• Aleo Block Explorer ~ https://www.aleo.network/

Існуючі блокчейни першого рівня або забезпечують анонімність транзакцій, але не дають можливості реалізувати децентралізовані обчислення за допомогою смарт-контрактів, або мають великі можливості щодо свого функціоналу, але зовсім не піклуються про конфіденційність користувачів. Ether був наступним кроком у розвитку децентралізованих обчислень, але він не просунувся в конфіденційності. ZCash і Monero вирішили проблему збереження конфіденційності даних в транзакціях, але в плані «програмованості» вони залишилися на тому ж етапі розвитку, що і біткоін.

The Алео проект був заснований у 2019 році з метою створення повністю приватного і водночас функціонального блокчейна, який базується на технології "Доказ нульового знання" (далі – ЗК). Aleo надає всі необхідні інструменти для створення сучасних децентралізованих додатків, забезпечуючи при цьому повну конфіденційність даних, що передаються в мережі..

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

Такий амбітний проект, безумовно, потребує амбітних інвестицій. Команда Aleo зібрала 298 мільйонів доларів, це найкращий результат для рішень L1 на основі впровадження ZK. У проект інвестували такі фонди, як Kora Management LP, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Samsung Next, Slow Ventures і сумнозвісний Andreessen Horowitz (фонд a16z)..

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

Давайте розглянемо ближче які проблеми Алео збирається вирішувати і якими способами.

Побудова приватної мережі

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

"Front-running" — це добре відома та поширена проблема, коли транзакцію можна негайно «вибити», запропонувавши в мережу точно таку ж, але з вищим газом. Якщо в мережі використовується майнінг, майнери можуть вибрати транзакції з mempool таким чином, щоб отримати максимальну вигоду для себе – тим самим піднімаючи газ у мережі та роблячи транзакції невиправдано дорогими.Це явище називається асиметрією – коли один учасник процесу має більше можливостей, ніж інший через те, що Це означає, що навчені технічні команди мають можливість накопичувати більше інформації для прийняття рішень за одиницю часу, ніж звичайний користувач.

Рішення, яке пропонує Aleo, полягає в тому, щоб усунути таку асиметрію шляхом шифрування всіх даних таким чином, щоб лише безпосередні учасники обміну інформацією мали доступ лише до тієї інформації, яка їм потрібна для здійснення цього обміну. Вся інша інформація повинна бути прихована від інших користувачів. У той же час питання сумісності є критично важливим – усі децентралізовані програми повинні правильно працювати з такою обмеженою інформацією. Тому мережа Aleo спочатку шифрує всю інформацію, яку користувач надсилає в мережу на найнижчому рівні. Щоб взаємодіяти з децентралізованими програмами, він вибирає, яку інформацію їм розкривати. Такий підхід дозволяє надати користувачеві повний контроль над своїми даними, а за допомогою інструментарію Aleo можна досягти функціональності смарт-контрактів, яка ні в чому не поступається Ethereum.

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

Візьмемо приклад із «звичайного» світу – COVID-сертифікати. Ви можете підтвердити, що у вас є імунітет від ковіду, надавши QR-код, виданий державною установою вашої країни. QR-код не містить інформації про те, як саме ви отримали імунітет (перехворіли чи отримали щеплення), а також не розкриває інформацію про те, коли саме ви цей імунітет отримали. Це лише свідчить про той факт, який можна перевірити, що протягом певного періоду часу у вас є імунітет від цієї хвороби. Однак для цієї схеми потрібне централізоване джерело даних, яке недоступне в блокчейні.

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

Підписка Pro для бізнесу.

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

Мова програмування

Перш за все, Aleo використовує власну мову програмування Лео. Він оптимізований для швидкого виконання низькорівневих криптографічних операцій, а також містить необхідні бібліотеки для роботи з ZK, які спрощують інтеграцію цієї технології в додаток. Його синтаксис досить високого рівня, що спрощує розробку на ньому та полегшує читання чужого коду, і він натхненний такими популярними мовами, як JavaScript і Rust.

IDE

Крім того, Aleo має власну IDE (середовище розробки) для цієї мови – Студія Алео.

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

Операційна система

І, нарешті, вузли мережі Aleo працюють на власній ОС snarkOS, спеціально розробленій для роботи з ZK-доказами змін стану мережі без зниження доступності цих даних..

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

Зараз проект Aleo знаходиться на завершальній стадії тестування, а доступ до основної мережі запланований на 2024 рік. Рішення технологічно виділяється серед інших блокчейнів L1 і має великі перспективи для розвитку своєї екосистеми. Ви вже можете випробувати перші програми в цій мережі, такі як Arcane Finance, Shadow Finance, AleoStore, AleoSwap, встановивши та створивши Гаманець Лео.

Офіційні посилання:

• Website ~ https://www.aleo.org/

• Twitter ~ https://twitter.com/AleoHQ

• Community Twitter ~ https://twitter.com/aleocommunity

• GitHub ~ https://github.com/AleoHQ

• Community Forum — https://community.aleo.org/

• Community Calendar ~ https://www.aleo.org/community/calendar

• YouTube — https://www.youtube.com/channel/UCS_HKT2heOC_q88YQLiJt0g

• Developer Documentation ~ https://developer.aleo.org/

• Leo Playground ~ https://play.leo-lang.org/

• Aleo Block Explorer ~ https://www.aleo.network/