1. Введение и процесс проекта
Aleo — это блокчейн L1, ориентированный на обеспечение конфиденциальности с помощью доказательств с нулевым разглашением. Проект стремится предоставлять смарт-контракты и децентрализованные приложения с высокой степенью защиты конфиденциальности. Криптография с доказательством с нулевым разглашением позволяет участникам децентрализованной сети доказывать знание определенной информации, не раскрывая основных фактов, которые делают ее правдивой. Используя доказательства с нулевым разглашением, Aleo позволяет приложениям обновлять реестр блокчейна, не передавая личные данные, в то время как узлы проверяют достоверность и разумность частных данных без утечки исходных данных. То есть в цепочке реализуется генерация доказательств с нулевым разглашением, а в цепочке реализуется эффективная проверка доказательств с нулевым разглашением (простота транзакций).
Команда Aleo состоит из криптографов мирового уровня, инженеров, дизайнеров и экспертов по эксплуатации из известных компаний, таких как Google, Amazon и Meta, а также исследовательских университетов, таких как Калифорнийский университет в Беркли, Нью-Йоркский университет и Корнельский университет. Основная команда разработчиков зарегистрирована в технологической компании Provable. Соучредителями Provable являются Говард Ву, Коллин Чин и Рэймонд Чу, выпускники Калифорнийского университета в Беркли.
Говард Ву — соучредитель и генеральный директор Provable. Он внес выдающийся вклад в области доказательства с нулевым разглашением и криптографии на основе эллиптических кривых. Его основные достижения включают Zexe и DIZK, которые были приняты в таких протоколах, как Ethereum и Zcash. Он окончил Калифорнийский университет в Беркли, имея опыт исследований в области криптографии, компьютерной безопасности и проверяемых вычислений, а также работал инженером-программистом в Google.
Коллин Чин и Рэймонд Чу, оба соучредители Provable, также окончили Калифорнийский университет в Беркли. Коллин в основном отвечает за разработку языка программирования Aleo Leo и является главным операционным директором Provable. Рэймонд в своей команде участвовал в разработке программного обеспечения для работы узлов валидатора, такого как snarkVM и snarkOS.
Генеральным директором Aleo теперь является Алекс Пруден, выпускник Вест-Пойнта и бывший офицер пехоты и сил специальных операций армии США. Он познакомился с областью блокчейна во время своей работы/стажировки в Coinbase и GGV Capital с 2017 по 2018 год. После окончания Стэнфордского MBA в 2019 году он работал в a16z, что косвенно способствовало ведущим инвестициям серии A a16z в Aleo.
Финансовый директор Aleo Майкл Беллер окончил Корнелльский университет и имеет постоянный предпринимательский опыт в стартапах по управлению активами. Он является старшим консультантом команды и имеет опыт работы в традиционной финансовой сфере.
2. Технический анализ
К основным компонентам Алео относятся:
• Язык Leo: Aleo предоставляет язык программирования под названием leo, предназначенный для защиты конфиденциальности. Язык Aleo позволяет разработчикам создавать смарт-контракты с поддержкой конфиденциальности и обеспечивать целостность данных, одновременно защищая пользовательские данные.
• snarkVM и snarkOS: snarkVM позволяет выполнять вычисления вне цепочки, а внутри цепочки проверяются только результаты вычислений, что повышает эффективность. snarkOS обеспечивает безопасность данных и вычислений и позволяет выполнять функции без разрешения.
• zkCloud: обеспечивает безопасную и частную вычислительную среду вне сети, поддерживая взаимодействие программирования между пользователями, организациями и DAO.
Aleo также предоставляет интегрированную среду разработки (IDE) и комплект разработки программного обеспечения (SDK), позволяющие разработчикам быстро писать и публиковать приложения. Кроме того, разработчики могут развертывать приложения в реестре программ Aleo, не полагаясь на третьи стороны, что удобно. Снижение риска платформы; . В то же время Aleo позволяет разработчикам создавать приложения, не ограниченные по газу, поэтому он особенно подходит для долговыполняющихся приложений, таких как машинное обучение.
2.1 Согласованная архитектура
Запатентованный алгоритм консенсуса Aleo, называемый AleoBFT, представляет собой комбинацию майнинга и доказательства доли, где валидаторы следуют доказательству доли (PoS), а проверяющие zk следуют доказательству работы (PoW). Формирование доказательства работы Aleo PoW происходит из сети Aleo, случайным образом генерирующей схему ZK каждый час, и майнерам необходимо в течение этого часа пробовать разные одноразовые номера в качестве входных данных схемы, вычислять все переменные (свидетели) в схеме и решать свидетель. После получения root-прав Меркла определите, соответствует ли он требованиям сложности майнинга.
Модель консенсуса «доказательство доли» основана на DiemBFT, и формирование консенсуса этой модели требует нескольких раундов вычислений. Лидер сначала предлагает блок. Затем валидаторы голосуют за лидера следующего раунда. Как только кворум голосования достигнут, лидер следующего раунда создает сертификат кворума и включает его в предложение следующего блока. Заинтересованные стороны будут способствовать достижению консенсуса и блокированию производства, но не будут лично участвовать в процессе генерации доказательств ZK. Процесс расчета доказательств осуществляется валидаторами ZK.
2.2 Процесс консенсуса
На уровне протокола консенсуса доказывающая и верифицирующая сторона отвечают соответственно за генерацию решения результата расчета, генерацию блоков, а также агрегацию и упаковку решения. Конкретный процесс заключается в следующем:
1. Доказывающая программа вычисляет головоломку, чтобы найти решение, и передает ее в сеть.
2. Валидатор агрегирует транзакции и решения в следующий новый блок, гарантируя, что количество решений не превысит консенсусный лимит (MAX_SOLUTIONS).
3. Легитимность решения обеспечивается проверкой того, что его epoch_hash совпадает с последним_epoch_hash, поддерживаемым проверяющим. Значениеproof_target, рассчитанное проверяющим, должно совпадать с последним_доказательным_целем, поддерживаемым проверяющим в сети, а количество решений, содержащихся в блоке, равно. меньше консенсусного предела.
4. Доказывающая может получить консенсусное вознаграждение, предоставляя эффективные решения.
3. Экология
Текущие экологические проекты Aleo в основном состоят из приложений DeFi (ZeFi) в сочетании с доказательствами с нулевым разглашением и приложениями для развития инфраструктуры. Среди них проекты на треке ZeFi включают Privx Exchange, Arcane Finance, AlphaSwap и Stake.xyz.
Среди них Privx Exchange, Arcane Finance и AlphaSwap — все торговые платформы, защищающие конфиденциальность. Privx использует относительно инновационный дизайн Clob (центральная книга лимитных ордеров) и внутрисетевые смарт-контракты для сопоставления ордеров, чтобы имитировать пользовательский опыт, аналогичный традиционным биржам. Arcane Finance и AlphaSwap реализуют DEX на основе общей модели AMM.
Являясь официальным порталом ставок Aleo, Stake.xyz предоставляет пользователям панель управления для управления и мониторинга своих поставленных активов, а пользователи могут получать регулярные обновления и подробные отчеты о работе валидатора.
Приложения для разработки инфраструктуры включают Obscura, Izar Bridge и два приложения-кошелька Puzzle Wallet и Avail Wallet.
• Obscura — это платформа, предназначенная для упрощения разработки приложений, ориентированных на конфиденциальность. Предоставляя конечные точки RPC, API и SDK, он упрощает развертывание блокчейнов конфиденциальности для разработчиков. Инфраструктура, предоставляемая Obscura, включает API Aleo RPC и API Graphql от Mina.
• IZAR — это протокол межсетевого взаимодействия между Ethereum и Aleo, сохраняющий конфиденциальность. Путем введения большего количества верификаторов в межцепочечный обмен на основе конструкции мультиподписей zkSnark и механизма Timelock, который, как ожидается, будет добавлен в будущем, IZAR стремится создать протокол межсетевого взаимодействия. подробнее Безопасный и ориентированный на конфиденциальность межсетевой протокол и модель управления проектами.
• Puzzle Wallet и Avail Wallet — это приложения-кошельки, которые поддерживают основной клиентский режим Aleo Puzzle — плагин для браузера Chrome Extension, а Avail поддерживает клиентов для мобильных устройств и настольных компьютеров.
4. Участники сети и сетевые вознаграждения (анализ интересов майнеров)
Участники сети Aleo выполняют три разные роли: стейкеры, проверяющие и проверяющие.
Стейкером является любая сторона, чьи кредиты заблокированы для обеспечения безопасности сети Aleo. Подобно залогодателям в других децентрализованных сетях, залогодатели делегируют часть своих баллов Aleo верификаторам для помощи в проверке консенсуса и в то же время получают определенные вознаграждения за залог. Минимальный порог ставок для получения вознаграждений составляет 1 балл Aleo, но минимальный порог для получения вознаграждений за ставки составляет 10 баллов Aleo.
Доказывающее устройство (ZK-майнер) — это особый участник инфраструктуры с нулевым разглашением в сети Aleo. Доказывающее устройство участвует в консенсусе доказательства работы (PoW) для поддержки сети Aleo путем решения головоломки Coinbase. Чем эффективнее и результативнее проверяющий находит решения головоломок Aleo Coinbase, тем больше шансов получить награды (очки) Aleo Coinbase. За одну и ту же головоломку Coinbase несколько испытателей могут получить пропорциональное вознаграждение в зависимости от количества представленных действительных решений головоломки. В то же время проверяющий предоставляет 1/3 вознаграждения за решение Coinbase проверяющему, стимулируя проверяющего участвовать и получать вознаграждения.
Валидаторы являются поставщиками инфраструктурных услуг сети Aleo и обеспечивают безопасность сети, участвуя в механизме консенсуса Proof of Stake (PoS) в AleoBFT. В сети Aleo валидаторы проверяют и подтверждают блоки транзакций, следуют протоколу консенсуса для достижения согласованного состояния и включают доказательства от проверяющего при создании блоков, а также получают вознаграждение за проверку. Чтобы стать валидатором, вам необходимо иметь 10 миллионов баллов Aleo и использовать программное обеспечение snarkOS для запуска узла валидатора.
4.1 Распределение очков Алео
• Первоначальная сумма на момент выпуска составляет 1,5 миллиарда очков Aleo. Эти баллы распределяются следующим образом: Ранние спонсоры (35%), Публичное распространение (25%), Сотрудники и участники (16%), Компания (10%), Стратегические партнеры (8%) и Фонд (6%).
• После запуска основной сети сеть Aleo будет выдавать баллы Aleo в качестве вознаграждения проверяющим и верификаторам zk. Вознаграждения Coinbase, полученные проверяющими и валидаторами, уменьшаются линейно в течение примерно 10 лет.
• Валидаторы получают фиксированное вознаграждение за блок на постоянной основе (в настоящее время оно составляет 23 балла за блок).
Циркуляционная подача
• Общее количество баллов Aleo в обращении вырастет до 2,6 миллиардов за 10 лет и удвоится примерно за 21 год по мере распределения вознаграждений.
инфляция
• Инфляция баллов со временем снижается примерно с 12% в первый год до 2% в 10-й год и со временем приближается к 0%.
График коэффициента распределения при выдаче баллов Aleo. Инфляционные ожидания баллов Aleo через 10 лет.
4.2 Соотношение вознаграждений PoS и PoW
В последней бета-версии тестовой сети команда Aleo скорректировала соотношение вознаграждений между протоколами Proof of Stake (PoS) и Proof of Work (PoW). Награда за блок, разделяемая верификатором за решение головоломки, была изменена. исходная 1/2 корректируется до 1/3, и доказывающий получает 2/3 награды за решение головоломки. После первоначальной выдачи основной сети PoW будет играть большую роль в сети Aleo, но со временем вознаграждения за блоки, выделяемые за решение головоломок, будут постепенно уменьшаться по сравнению с постоянным весом вознаграждения за блок, предоставляемым валидаторам (Constantly. поддерживать 23 очка Алео за блок). На рисунке ниже показаны изменения количества и доли баллов Aleo, выпущенных посредством консенсуса PoS и PoW, в ближайшие 10 лет:
Это расчет годового роста баллов Aleo и соответствующего уровня инфляции за 10 лет после первоначальной эмиссии, который мы вывели на основе некоторых официальных данных:
В долгосрочной перспективе распределение баллов Aleo постепенно изменится от ранней склонности проверяющих к более склонной к залогодателям и верификаторам. Через 10 лет баллы больше не будут выдаваться посредством консенсуса PoW, а доход сети будет распределяться в соответствии с принципом PoW. PoS-консенсус.
4.3 Данные, связанные с сетью бета-тестирования
Бета-тестовая сеть — это последняя стимулируемая тестовая сеть перед тем, как основная сеть выйдет в сеть. Основная цель этой тестовой сети — проверить новый механизм головоломки с помощью плана стимулирования проверяющих. Он длится с 1 по 15 июля и сейчас завершился.
Фонд Aleo Network Foundation предоставляет сертификаторам 1 миллион баллов Mainnet. Каждый проверяющий получит баллы основной сети, пропорциональные баллам тестовой сети, которые он заработал в течение периода поощрения. Минимальное вознаграждение составляет 1000 баллов основной сети; любой сертификатор, заработавший меньше этой суммы, не будет иметь права на получение вознаграждения.
Ниже приводится сводка сравнения адресов Aleo, получивших 10 лучших баллов во время сети бета-тестирования, и данных пула майнинга, соответствующих некоторым адресам:
