Обновления по пути к запуску Mainnet
Дата публикации в официальном блоге и автор:
10 мая, 2024
BY JOHN REYNOLDS, VP OF PRODUCT, ALEO
май 2024 г.
Мы ожидаем, что однажды сеть Aleo обеспечит безопасность миллиардов транзакций и точек данных. Это означает, что определенные аспекты протокола (в частности, криптографическая логика и консенсус в отношении ценности) должны быть готовы с первого дня. Вместе с десятками участников экосистемы команда работает над выполнением набора критериев приемки и методологии тестирования, которые помогут обеспечить высочайшие стандарты безопасности.
Со времени нашего последнего обновления в марте мы добились успехов в достижении нашей конечной цели — запуска основной сети. Для начала мы реализовали ARC-0037 и 0038 с помощью партнеров сообщества StorSwift, Demox Labs и Puzzle. Эти предложения значительно улучшили безопасность и удобство использования для валидаторов и делегаторов и создали новую программную систему делегирования или «разбивки» токенов.
Кроме того, базовый протокол также был обновлен с учетом предыдущих исправлений аудита, включая включение предположения о полной синхронности BFT в нашу реализацию Narhwal-Bullshark, обновления базовой программы Credits.aleo и улучшенную производительность синхронизации клиентов.
Мы проверили более 90% ранее указанных тестовых случаев в различных средах тестирования, включая закрытую «DevNet» и полуоткрытую «CanaryNet». Кроме того, мы завершили тестирование Coinbase Puzzle на Devnet и создали инструменты для публичных транзакций, частных транзакций и развертываний для упрощения автоматического тестирования.
Тестирование ARC-0020.
Мы начали тестирование нового ARC, ARC-0020 . ARC-0020 — это стандарт токенов, обеспечивающий плавную государственную/частную передачу контрактов, что важно для обеспечения безопасности приложений DeFi в сети Aleo. Он добавляет несколько ключевых функций, в том числе одноэтапный процесс утверждения для применения автономных подписей, возможность отправлять частные токены в смарт-контракты и возможность подключать контракты токенов к веб-сайту компании с помощью цифровой подписи.
Некоторые, возможно, знакомы с популярным стандартом ERC20. ARC-0020 во многом похож и отличается от него. Оба определяют структуру взаимодействия токенов в соответствующих блокчейнах, используя аналогичные механизмы для передачи токенов, запросов баланса и одобрения транзакций третьих сторон. Тем не менее, ARC-0020 уникален тем, что делает упор на безопасность и эффективность своих операций, используя офчейн-подписи для замены ончейн-одобрений, сокращая объем данных, публично записываемых в блокчейн. Этот подход направлен на повышение безопасности данных по сравнению с полностью общедоступными записями транзакций и утверждений ERC20.
После многочисленных обсуждений среди различных заинтересованных сторон сообщества и экосистемы мы пришли к текущему дизайну ARC-0020. Комментирование и голосование по поводу ARC-0020 будут осуществляться на платформе Aleo Governance здесь . Мы добавили модульное тестирование и опробовали первоначальную реализацию со строителями экосистемы и надеемся реализовать ее в ближайшее время.
План тестирования основной сети
Две недели назад мы объявили о своем намерении прозрачно обновлять критерии и прогресс в работе основной сети Aleo. Наша вера в то, что каждый человек имеет право на конфиденциальность в Интернете, привела нас к этому моменту: созданию и запуску сети, которая по своей сути действительно является нулевым разглашением информации.
Сегодня мы готовы поделиться нашим планом запуска основной сети, функциями, необходимыми для его успеха, и тем, чего вы можете ожидать в будущем.
Программируемый. Частный. Без разрешения.
Мы стремимся запустить сеть, которая соответствует основным принципам Aleo — программируемая, конфиденциальная и не требующая разрешения. Мы встретились с несколькими партнерами по нашей экосистеме и установили набор базовых функций, которые были наиболее важны для всех, и на их основе определили минимальные критерии приемки, необходимые для уверенного запуска основной сети.
Вместе мы работали над определением функций, которые нельзя было бы поставить под угрозу. Для проверки функций и соответствующих критериев приемлемости были определены и согласованы тестовые примеры не только членами Aleo Foundation, но и более широким сообществом заинтересованных сторон Aleo. Каждая функция, подробно описанная ниже, имеет три конкретных тестовых примера с возрастающей нагрузкой, чтобы удовлетворить минимальным критериям приемки и гарантировать готовность сети к запуску.
Консенсус AleoBFT
AleoBFT — это наш новый механизм консенсуса, который сочетает в себе окончательность доказательства доли с мощным механизмом стимулирования доказательства работы. Эта гибридная архитектура помогает нам добиться мгновенной окончательности подтверждения блока, одновременно используя «головоломку Coinbase» для вознаграждения проверяющих и стимулирования разработки более совершенного оборудования для криптографии с нулевым разглашением.
Наша цель — безопасная и отказоустойчивая система консенсуса, которая сводит к минимуму время простоя, обладает высокой византийской отказоустойчивостью и гарантирует, что валидаторы могут быстро синхронизироваться с последним состоянием сети, поддерживая общую целостность и производительность системы.
Синхронизация клиента
Синхронизация клиентов имеет решающее значение для правильного функционирования сети, поскольку она гарантирует, что все участники имеют согласованное и точное представление о глобальном состоянии. Мы сосредоточены на том, чтобы клиентские узлы могли синхронизироваться с любой точки истории реестра, чтобы получать быстрые и надежные данные.
Это предполагает оптимизацию двух ключевых методов:
- Снимки CDN для быстрого обновления
- Одноранговая передача данных для эффективного и прямого обмена данными между узлами
Частные и государственные сделки
Публичные и частные транзакции, которые являются неотъемлемой частью запуска нашей основной сети, представляют собой отдельные, но взаимосвязанные функции, которые мы тщательно тестируем. Пользователи могут генерировать доказательства с нулевым разглашением для передачи значения через модель записи, как указано в « ZEXE: Включение децентрализованных частных вычислений ». Для общедоступных транзакций пользователи имеют возможность прозрачно обновлять состояние с помощью оператора Finalize.
Развертывание программ
Обеспечение возможности разработки приложений на Aleo является ключом к нашей миссии, при этом развертывание программ играет важную роль. Пользователи получат возможность создавать новые программы Aleo, используя операторы выполнения и завершения для воплощения своих приложений в жизнь. Эта функциональность имеет основополагающее значение для расширения нашей экосистемы и предоставления разработчикам возможностей для внедрения инноваций в безопасной и ориентированной на конфиденциальность среде Aleo.
Головоломка Coinbase
Головоломка Coinbase — это головоломка типа «доказательство работы», призванная стимулировать разработку более быстрого программного и аппаратного обеспечения для генерации доказательств с нулевым разглашением. Испытатели могут предоставить действительные решения головоломки Coinbase, чтобы получить награду.
Мы интегрируем головоломку Coinbase, чтобы стимулировать развитие технологии доказательства с нулевым разглашением, вознаграждая проверяющих таким образом, чтобы поддерживать стабильность сети и устойчивую токенномику.
Staking ( ARC 0038 )
Пользователи имеют возможность поставить кредиты Aleo валидатору. Наш партнер по сообществу, Demox Labs , будет возглавлять усилия по внедрению ARC-0038 на уровне программы, а также проводить аудит этой реализации, чтобы гарантировать безопасность подхода. Demox также будет внедрять протокол ликвидного размещения ставок, чтобы обеспечить еще большую гибкость размещения ставок.
Разделение Validator/worker ( ARC 0037 )
Aleo Systems Inc. (коммерческая компания, в которую входят основатели Aleo и инженеры протоколов, от которой отделился Aleo Network Foundation) взяла на себя инициативу по ARC-0037 и опубликовала спецификацию реализации и дизайна, которая сейчас рассматривается и тестируется еще один наш партнер по сообществу, Puzzle .
ARC-0037 направлен на снижение нагрузки на валидаторов путем предоставления отдельного адреса для вывода средств. Чтобы решить проблемы безопасности, во время Bond_public валидаторы и делегаторы назначают неизменяемый адрес вывода средств, защищая средства валидатора в случае компрометации «горячих» ключей. Необлигированные кредиты направляются на этот адрес после выполнения претензии_unbond_public.
Проведение надежного тестирования сети
Несколько команд из экосистемы, а именно Demox Labs , Monadicus , Supranational , Puzzle и Kryha , сотрудничали с нами, чтобы расширить протокол тестирования, чтобы гарантировать готовность сети к запуску. Для достижения этой цели мы представляем ряд инструментов тестирования. Эти инструменты включают в себя генератор блоков Genesis, предварительные транзакции (AOT) и генерацию истории блоков, а также системы управления топологией узлов. Кроме того, мы запустили канареечную сеть в партнерстве с этими членами экосистемы. Эти инструменты тестирования помогают нам проверить, насколько хорошо работает механизм консенсуса сети, насколько плавно синхронизируются клиенты и как быстро обрабатываются транзакции.
Чтобы проверить эти различные функции на соответствие критериям приемлемости, команда Aleo Network Foundation настроит и запустит серию тестовых сред, начиная с внутренней сети разработки и «канарейской сети». Сеть разработки — это внутренняя среда тестирования, в которой Aleo Network Foundation и Aleo Systems Inc. контролируют всех валидаторов и где тестируются первоначальные функции перед выпуском в исходную версию. Канареечная сеть — это более децентрализованная, полуоткрытая сеть, которая позволяет нам тестировать сеть в более реалистичных условиях.
Мы также планируем запустить еще одну тестовую сеть, которая будет полностью открытой и недоступной для доступа и которая должна наиболее точно соответствовать тому, как будет выглядеть основная сеть Aleo.
Что дальше
Наше сообщество с самого начала было частью истории Aleo. Собираясь вместе для запуска основной сети, мы тесно сотрудничаем с партнерами по всей экосистеме, чтобы поддержать усилия по тестированию и проверить нашу готовность. Наша цель — обеспечить, чтобы сеть отвечала потребностям наших пользователей не только в первый день, но и каждый день после этого. Это действительно командная работа, и мы хотим, чтобы все знали о нашем прогрессе в завершении каждого из этих важных тестов.
Вы можете вернуться к этому сообщению для получения обновлений и проверить Discord для регулярных обновлений от нашего сообщества.
Оригинал статьи: https://aleo.org/post/road-to-mainnet-updates/
