Цього тижня Aleo досяг важливого етапу на шляху до Мейннету та індустрії нульових знань, випустивши функціонал Запуску Розгортання та Виконання. Тепер Aleo є першим проектом в Web3, який запустив децентралізовані приватні обчислення.
Децентралізовані Приватні Обчислення (DPC) — це криптографічний примітив для смарт-контрактів, які використовують докази з нульовим рівнем знань для підтвердження правильності транзакцій без публічного розкриття деталей про дії користувача. Він розширює попередні моделі транзакцій зі збереженням конфіденційності (такі як Zerocoin і Zerocash), дозволяючи будь-кому розгортати і запускати будь-яку програму без дозволу і в приватному порядку. Він поєднує конфіденційність ZCash з гнучкою моделлю смарт-контрактів Ethereum. Вперше цей примітив був описаний в науковій статті під назвою Zexe, опублікованій в 2018 році шістьма співавторами, четверо з яких є членами нашої команди (включаючи нашого засновника Howard Wu). П’ять років по тому ця критична функціональність була реалізована в Aleo.
Завдяки DPC і релізу deploy & execute, Aleo відкриває можливості перевірки з нульовим знанням на децентралізованій архітектурі, яку розробники очікують від Web3, забезпечуючи при цьому збереження приватності користувачів. Зокрема, розробники, які використовують Aleo, отримують вигоду від необмеженого часу виконання та повної конфіденційності даних, і все це в середовищі доведення без дозволів. Давайте розглянемо ці три аспекти далі.
Необмежений Час Виконання
У типовому блокчейні розробники обмежені в часі виконання додатків, що зазвичай забезпечується концепцією “Газу”. З Aleo розробники можуть створювати додатки, не обмежені лімітами газу, що дозволяє користувачам виконувати будь-яку програму, незалежно від того, наскільки довго вона працює. Це пов’язано з тим, що транзакції Aleo — це просто докази з нульовим знанням, які мають однаковий час перевірки, незалежно від часу роботи програми, оскільки обчислення для запуску додатків відбуваються поза ланцюжком.
Це відкриває багато нових додатків, які раніше були неможливі у Web3, наприклад, машинне навчання. У блокчейнах, які використовують газ (наприклад, Ethereum), навіть крихітна лінійна регресія перевищила б ліміт газу. Але з Aleo транзакції можуть дешево довести виконання великих моделей ML, які виконуються за лічені хвилини або години. Це відкриває нові можливості для Web3-додатків, від перевірених облікових даних/самостійної ідентичності до охорони здоров’я і квантової торгівлі.
Конфіденційність Даних
Сьогодні додатки на блокчейні лише почали розкривати свій потенціал. Це тому, що додатки, побудовані на традиційному блокчейні, за замовчуванням і за задумом мають бути загальнодоступними. Але Aleo гарантує, що користувачі можуть зберігати контроль над тим, якою інформацією вони діляться і з ким. Ця модель додає внутрішню безпеку до будь-якої транзакції і створить ряд нових варіантів використання.
Leo пропонує ряд інструментів, які допоможуть користувачам і розробникам гарантувати, що вони дотримуються чинних законів і нормативних актів, забезпечуючи при цьому захист споживчих даних. Aleo підтримує ключі перегляду, які дозволяють користувачам вибірково ділитися вмістом транзакції з обраною третьою стороною, а також ключі графіків, які дозволяють користувачам вибірково ділитися набором сторін, з якими вони взаємодіяли. Важливо, що ця прозорість може бути точно налаштована для конкретного додатку, забезпечуючи одночасно кращий користувацький досвід і кращі інструменти для дотримання нормативних вимог.
Доведення Без Дозволів
За допомогою deploy & execute розробники тепер можуть розгортати програми в програмному Реєстрі Aleo. Ми розглянемо технічні деталі в одному з наступних постів блогу. Наразі достатньо зрозуміти, що Реєстр — це відображення ідентифікатора програми у байт-код Aleo (ціль компіляції з Leo, нашої доменної мови для ZK).
Оскільки цей реєстр зберігається у децентралізованій книзі, оновлення реєстру є стійкими до цензури, що зменшує ризик платформи для розробників та користувачів. Крім того, користувачі можуть генерувати докази виконання, не покладаючись на сторонніх контролерів. Навіть якщо автори інструментарію Aleo або розробники будь-якого розгорнутого додатку підуть з життя, користувачі можуть продовжувати запускати програми, які були розгорнуті в децентралізованій мережі.
В той час як багато проектів, що будують zkEVM, націлені на децентралізацію в майбутньому, Aleo досягає її вже сьогодні. Aleo є єдиним протоколом Web3, де розробники можуть писати/розгортати, а користувачі можуть виконувати будь-які програми з нульовими знаннями без необхідності надсилати електронні листи команді BD або використовувати API для перевірки.
Погляд У Майбутнє
Сьогоднішній день знаменує собою прорив у децентралізованих обчисленнях. Aleo вперше реалізувала примітив децентралізованих приватних обчислень, описаний в оригінальній дослідницькій статті Zexe. З появою цієї технології розробники тепер можуть розгортати додатки на Testnet 3 від Aleo. Використовуючи силу доказів з нульовим знанням, користувачі можуть виконувати ці програми без дозволу, поза ланцюжком, з гарантією, що їхні дані будуть захищені.
Це важливий крок на шляху до запуску Aleo Mainnet. Але це далеко не єдина цікава особливість, яка відрізняє Aleo від інших проектів в Web3, що використовують криптографію з нульовим знанням. Протягом наступних тижнів нас чекає ще більше!
Якщо ви розробник і хочете почати роботу: ознайомтеся з нашою документацією для розробників для Leo тут:
Щоб розгорнути програму в Testnet, зверніться до нашого спеціального посібника тут.
Корисні посилання:
Сайт — https://www.aleo.org/ Твіттер Aleo — https://twitter.com/AleoHQ Дискорд — https://discord.gg/aleohq YouTube — https://www.youtube.com/c/AleoHQ GitHub — https://github.com/AleoHQ Календар спільноти — https://www.aleo.org/community/calendar Блог з анонсами — https://www.aleo.org/blog Блог ком’юніті — https://medium.com/@AleoHQ Aleo Block Explorer — https://www.aleo.network/ Документація розробників — https://developer.aleo.org/Translated — mmyevyn#7148