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

Докази з нульовим знанням (zk) набирають обертів у просторі блокчейну як рішення для різноманітних проблем. Ця концепція існує досить довго в криптографічному просторі, виникла в статті 1985 року, Складність знань інтерактивних систем доказів. Донедавна випадки практичного використання були обмежені через складність обчислень.

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

Блокчейни рівня 2, сумісні з віртуальною машиною Ethereum, такі як Polygon впровадження zk-rollups, які, по суті, являють собою велику партію транзакцій, агрегованих блокчейном рівня 2 і представлених у блокчейні Ethereum із підтвердженням нульового знання, яке підтверджує їх автентичність. Це призводить до меншої кількості транзакцій Ethereum, що, у свою чергу, призводить до вищої пропускної здатності та нижчих комісій за газ для взаємодії з блокчейном Ethereum..

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

Одним із часто рекламованих аспектів технології блокчейн є публічний характер усіх транзакцій. Існують випадки використання, як-от приклад zcash для підтримки певного рівня банківської конфіденційності, де повністю публічні дані транзакцій не є ідеальними. В інтерв’ю The New Stack, Говард Ву, співзасновник і генеральний директор Aleo, сказав: «Існує широкий набір вертикалей, де Web3 бракує конфіденційності. Це не тому, що нам потрібно його закріпити, а тому, що багато програм вимагають певної асиметрії інформації або приховування знань, щоб навіть функціонувати правильно.”

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

Інші програми реального світу покладаються на комбінацію публічного стану та приватного стану. Те, що Aleo надає, — це спосіб для розробників приймати рішення про реалізацію інформації, яка стає загальнодоступною, а не інформації, яка залишається приватною. Голосування є ще одним практичним випадком використання, який потребує такої гнучкості. Ву сказав: «На виборах люди хочуть голосувати, але вони не хочуть показувати іншим людям, як вони голосували. Підрахунок голосів має бути публічним, щоб зрозуміти результат. Наявність приватних голосувань і публічних підрахунків стає дієвою функцією в програмах тут.”

Одним з унікальних аспектів підходу Aleo до розробки dApp є супровідна мова програмування Leo. У своєму інтерв’ю з Ву я припустив, що додавання ще однієї мови програмування до простору блокчейну може зашкодити прийняттю. «Коли ми починали, — відповів він, — ми хотіли прикріпити це до Rust або Typescript, щоб нам не довелося винаходити колесо. Виявляється, зробити це справді важко, тому що речі, які ви можете вважати дешевими в одній програмній моделі, дуже дорогі в цій моделі. У підсумку ми створили нову мову, тому що під капотом те, що робить компілятор, дуже відрізняється від традиційної архітектури.”

Чим саме Leo відрізняється від Rust чи Typescript? «У нас є мова високого рівня, яка компілюється в поліноми, які виконуються в системі перевірки», — сказав він. «Система перевірки працює над поліномами, щоб отримати кінцевий результат. Остаточний результат виглядає так само, як звичайний вихід процесора, але він поставляється з доказом нульового знання, який може засвідчити той факт, що обчислення було виконано з певної програми на деяких прихованих вхідних даних, які також можуть бути загальнодоступними на розсуд користувача. Це фундаментальна різниця в архітектурі.”

“Якщо ви використовуєте LLVM для Rust або C++, — продовжив він, — вам, по суті, потрібно відійти від архітектури LLVM і винайти нову архітектуру. Проблема полягає в тому, що синтаксис, який ви зазвичай вважаєте дешевим у мові високого рівня, виявляється дуже дорогим.”

Один із способів, якими Алео намагається подолати тертя, пов’язані з впровадженням нової мови програмування, це створення управління пакетами є основною частиною дизайну екосистеми Aleo. Коли розробники створюють для Ethereum, кожного разу, коли розгортається маркер ERC-20, SafeMath договір також розгортається. Aleo дозволяє вам посилатися на пакети замість того, щоб повторно використовувати їх у своєму коді кожного разу. Як каже Ву: «Мета полягає в тому, щоб побудувати екосистему пакетів, де ви можете почати писати код клею на відміну від переосмислення функцій, які були написані раніше.”

Aleo також дає можливість продовжувати будувати за допомогою наявних інструментів. Ву сказав: «Більшість користувачів, які взаємодіють з блокчейнами, звертаються з існуючих SDK зі своїх відповідних dApps. З нашої точки зору, ми займаємося додаванням підтримки JavaScript, Wasm і Rust для взаємодії з програмами Leo та Aleo з першого дня, щоб зробити виклик додатків, які вже були розгорнуті за допомогою традиційних стеків програмного забезпечення, якомога легшим. вже знайомі.”

Алео зараз на ньому третя тестова мережа, з випуском основної мережі після завершення останнього етапу тестової мережі в жовтні. Говард Ву також нещодавно опублікував список додаткових ресурсів Aleo GitHub. Незалежно від того, чи докази zk фундаментально змінюють технологію блокчейну, вони також знаходять свій шлях до програм, які не є блокчейном. Ще в травні 2021 року Cloudflare реалізував zk-proofs у своїй програмі Privacy Pass, щоб зменшити кількість разів, які людині може знадобитися заповнювати captcha.

Офіційні джерела Aleo

• 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/

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

Докази з нульовим знанням (zk) набирають обертів у просторі блокчейну як рішення для різноманітних проблем. Ця концепція існує досить довго в криптографічному просторі, виникла в статті 1985 року, Складність знань інтерактивних систем доказів. Донедавна випадки практичного використання були обмежені через складність обчислень.

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

Блокчейни рівня 2, сумісні з віртуальною машиною Ethereum, такі як Polygon впровадження zk-rollups, які, по суті, являють собою велику партію транзакцій, агрегованих блокчейном рівня 2 і представлених у блокчейні Ethereum із підтвердженням нульового знання, яке підтверджує їх автентичність. Це призводить до меншої кількості транзакцій Ethereum, що, у свою чергу, призводить до вищої пропускної здатності та нижчих комісій за газ для взаємодії з блокчейном Ethereum..

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

Одним із часто рекламованих аспектів технології блокчейн є публічний характер усіх транзакцій. Існують випадки використання, як-от приклад zcash для підтримки певного рівня банківської конфіденційності, де повністю публічні дані транзакцій не є ідеальними. В інтерв’ю The New Stack, Говард Ву, співзасновник і генеральний директор Aleo, сказав: «Існує широкий набір вертикалей, де Web3 бракує конфіденційності. Це не тому, що нам потрібно його закріпити, а тому, що багато програм вимагають певної асиметрії інформації або приховування знань, щоб навіть функціонувати правильно.”

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

Інші програми реального світу покладаються на комбінацію публічного стану та приватного стану. Те, що Aleo надає, — це спосіб для розробників приймати рішення про реалізацію інформації, яка стає загальнодоступною, а не інформації, яка залишається приватною. Голосування є ще одним практичним випадком використання, який потребує такої гнучкості. Ву сказав: «На виборах люди хочуть голосувати, але вони не хочуть показувати іншим людям, як вони голосували. Підрахунок голосів має бути публічним, щоб зрозуміти результат. Наявність приватних голосувань і публічних підрахунків стає дієвою функцією в програмах тут.”

Одним з унікальних аспектів підходу Aleo до розробки dApp є супровідна мова програмування Leo. У своєму інтерв’ю з Ву я припустив, що додавання ще однієї мови програмування до простору блокчейну може зашкодити прийняттю. «Коли ми починали, — відповів він, — ми хотіли прикріпити це до Rust або Typescript, щоб нам не довелося винаходити колесо. Виявляється, зробити це справді важко, тому що речі, які ви можете вважати дешевими в одній програмній моделі, дуже дорогі в цій моделі. У підсумку ми створили нову мову, тому що під капотом те, що робить компілятор, дуже відрізняється від традиційної архітектури.”

Чим саме Leo відрізняється від Rust чи Typescript? «У нас є мова високого рівня, яка компілюється в поліноми, які виконуються в системі перевірки», — сказав він. «Система перевірки працює над поліномами, щоб отримати кінцевий результат. Остаточний результат виглядає так само, як звичайний вихід процесора, але він поставляється з доказом нульового знання, який може засвідчити той факт, що обчислення було виконано з певної програми на деяких прихованих вхідних даних, які також можуть бути загальнодоступними на розсуд користувача. Це фундаментальна різниця в архітектурі.”

“Якщо ви використовуєте LLVM для Rust або C++, — продовжив він, — вам, по суті, потрібно відійти від архітектури LLVM і винайти нову архітектуру. Проблема полягає в тому, що синтаксис, який ви зазвичай вважаєте дешевим у мові високого рівня, виявляється дуже дорогим.”

Один із способів, якими Алео намагається подолати тертя, пов’язані з впровадженням нової мови програмування, це створення управління пакетами є основною частиною дизайну екосистеми Aleo. Коли розробники створюють для Ethereum, кожного разу, коли розгортається маркер ERC-20, SafeMath договір також розгортається. Aleo дозволяє вам посилатися на пакети замість того, щоб повторно використовувати їх у своєму коді кожного разу. Як каже Ву: «Мета полягає в тому, щоб побудувати екосистему пакетів, де ви можете почати писати код клею на відміну від переосмислення функцій, які були написані раніше.”

Aleo також дає можливість продовжувати будувати за допомогою наявних інструментів. Ву сказав: «Більшість користувачів, які взаємодіють з блокчейнами, звертаються з існуючих SDK зі своїх відповідних dApps. З нашої точки зору, ми займаємося додаванням підтримки JavaScript, Wasm і Rust для взаємодії з програмами Leo та Aleo з першого дня, щоб зробити виклик додатків, які вже були розгорнуті за допомогою традиційних стеків програмного забезпечення, якомога легшим. вже знайомі.”

Алео зараз на ньому третя тестова мережа, з випуском основної мережі після завершення останнього етапу тестової мережі в жовтні. Говард Ву також нещодавно опублікував список додаткових ресурсів Aleo GitHub. Незалежно від того, чи докази zk фундаментально змінюють технологію блокчейну, вони також знаходять свій шлях до програм, які не є блокчейном. Ще в травні 2021 року Cloudflare реалізував zk-proofs у своїй програмі Privacy Pass, щоб зменшити кількість разів, які людині може знадобитися заповнювати captcha.

Офіційні джерела Aleo

• 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/