Aleo: Блокчейн проект, ведущий революцию в области конфиденциальности Web3
Aleo — это блокчейн-проект, посвященный защите конфиденциальности, который реализует более высокую конфиденциальность и масштабируемость с помощью технологии доказательства с нулевым разглашением (ZKP). Основная идея проекта заключается в том, чтобы пользователи могли проводить идентификацию и обработку данных без раскрытия личных данных.
Обзор проекта
Приватность
Ядром Aleo является технология доказательства с нулевым разглашением (ZKPs), которая позволяет осуществлять сделки и выполнять смарт-контракты с сохранением конфиденциальности. Детали сделок пользователей, такие как отправитель и сумма транзакции, по умолчанию скрыты. Этот дизайн не только защищает конфиденциальность пользователей, но и позволяет при необходимости проводить выборочное раскрытие, что очень подходит для развития приложений DeFi. Его основные компоненты включают:
Язык компиляции Leo: основан на языке Rust и специально разработан для создания приложений с нулевыми знаниями (ZKApps), что снижает требования к знаниям криптографии для разработчиков.
snarkVM и snarkOS: snarkVM позволяет выполнять вычисления вне цепочки, а на цепочке лишь проверять результаты вычислений, что повышает эффективность. snarkOS обеспечивает безопасность данных и вычислений и позволяет выполнять функции без разрешения.
zkCloud: предоставляет безопасную и конфиденциальную среду для вычислений вне блокчейна, поддерживает программное взаимодействие между пользователями, организациями и DAO.
Aleo также предоставляет интегрированную среду разработки (IDE) и комплект средств разработки программного обеспечения (SDK), поддерживая разработчиков в быстром написании и публикации приложений. Кроме того, разработчики могут развертывать приложения в реестре программ Aelo, не полагаясь на третьих лиц, что снижает риски платформы.
Масштабируемость
Aleo использует оффчейн-метод обработки, при котором доказательство сначала вычисляется на устройстве пользователя, а затем только результат проверки загружается в Блокчейн. Этот способ значительно увеличивает скорость обработки транзакций и масштабируемость системы, избегая проблем с перегрузкой сети и высокими расходами.
Механизм согласия
Aleo внедрил AleoBFT, это консенсусный механизм с гибридной архитектурой, который сочетает в себе мгновенную окончательность валидаторов и вычислительные мощности доказателей. AleoBFT не только повышает уровень децентрализации сети, но и улучшает производительность и безопасность.
Быстрая окончательность блока: AleoBFT гарантирует, что каждый блок сразу подтверждается после генерации, что повышает стабильность узлов и качество пользовательского опыта.
Децентрализованная защита: путем разделения производства блоков и генерации coinbase, валидаторы отвечают за создание блоков, а доказатели выполняют вычисления доказательства, предотвращая монополию немногих субъектов на сеть.
Механизм стимулов: валидаторы и доказатели делят блок-награды; поощряют доказателей становиться валидаторами через ставку токенов, тем самым повышая уровень децентрализации и вычислительной мощности сети.
Aleo позволяет разработчикам создавать приложения, не ограниченные газом, что делает его особенно подходящим для таких задач, как машинное обучение, которые требуют длительного выполнения.
Последние достижения
Aleo планирует запустить стимулирующую тестовую сеть 1 июля, вот некоторые важные последние новости:
Голосование по ARC-100 прошло успешно: голосование по ARC-100 ("Лучшие практики соблюдения для разработчиков и операторов Aleo") завершено и было одобрено. Команда проводит финальные доработки.
Программа стимулирования валидаторов: программа начнется 1 июля и направлена на проверку нового механизма puzzle. Программа будет действовать до 15 июля, в течение которого будет распределено 1 миллион Aleo баллов в качестве вознаграждения. Процент баллов, сгенерированных узлом, будет определять его долю вознаграждения, и каждый валидатор должен заработать как минимум 100 токенов, чтобы получить вознаграждение.
Начальное предложение и обращающееся предложение: начальное количество составляет 1,5 миллиарда токенов, начальное обращающееся предложение составляет около 10%. Эти токены в основном поступают от задач Coinbase (75 миллионов), которые будут распределены в течение первых шести месяцев, включая вознаграждения за ставку, работу валидаторов и валидацию узлов.
Тестовая сеть Бета сброс: это последний сброс сети, после завершения которого новые функции добавляться не будут, сеть станет аналогичной основной сети. Сброс необходим для добавления ARC-41 и новой функции головоломки.
Заморозка кода: Заморозка кода была завершена неделю назад.
План расширения узлов верификации: первоначальное количество узлов верификации составляет 15, цель - увеличить его до 50 в течение года, а в конечном итоге достичь 500. Для того чтобы стать делегатом, требуется 10 000 токенов, для того чтобы стать верификатором - 10 000 000 токенов, эти суммы будут постепенно уменьшаться со временем.
Обновление алгоритма Synthesis Puzzle
Aleo недавно обновил последнюю версию алгоритма puzzle, который называется Synthesis Puzzle. Новый алгоритм больше не акцентирует внимание на генерации результатов zk proof, а сосредоточен на создании промежуточных данных witness перед генерацией proof. Вот основные характеристики и процесс алгоритма:
Каждый эпоха генерирует общую EpochProgram, случайное число, полученное из текущего epoch_hash, выбирается из набора инструкций.
Используйте nonce (состоящий из адреса, получающего вознаграждение за майнинг, epoch_hash и случайного числа counter) в качестве начального числа для генерации входных данных EpochProgram.
Агрегируйте R1CS и входные данные, соответствующие EpochProgram, для выполнения вычисления свидетелей.
Преобразуйте рассчитанное свидетельство в последовательность листовых узлов Меркле-дерева и постройте 8-мерное K-арное Меркле-дерево глубиной 8.
Вычислите корень Меркла и преобразуйте его в proof_target решения, чтобы определить, соответствует ли он latest_proof_target текущего эпохи.
Если условия выполнены, то отправьте решение и распространите его.
Это обновление изменяет процесс генерации proof для puzzle на генерацию witness. Логика вычисления всех решений в каждом epoch остается одинаковой, но между разными epoch существует значительная разница в логике вычисления. Новый алгоритм исключает предыдущие вычисления MSM и NTT, и в то же время, из-за зависимости, существующей в процессе генерации witness, параллелизация сталкивается с немалыми трудностями.
В целом, это обновление алгоритма Aleo еще больше укрепило его преимущества в области защиты конфиденциальности и масштабируемости, предоставив новый импульс революции конфиденциальности в Web3. С постоянным развитием и совершенствованием проекта Aleo, ожидается, что он будет играть все более важную роль в области защиты конфиденциальности в Блокчейн.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
14 Лайков
Награда
14
4
Репост
Поделиться
комментарий
0/400
GateUser-fc4fde9d
· 08-14 06:14
Глупый дебил, который разогревает старую еду несколько лет назад.
Aleo ведет революцию в приватности Web3: zk-SNARKs наделяют Блокчейн приватностью и масштабируемостью
Aleo: Блокчейн проект, ведущий революцию в области конфиденциальности Web3
Aleo — это блокчейн-проект, посвященный защите конфиденциальности, который реализует более высокую конфиденциальность и масштабируемость с помощью технологии доказательства с нулевым разглашением (ZKP). Основная идея проекта заключается в том, чтобы пользователи могли проводить идентификацию и обработку данных без раскрытия личных данных.
Обзор проекта
Приватность
Ядром Aleo является технология доказательства с нулевым разглашением (ZKPs), которая позволяет осуществлять сделки и выполнять смарт-контракты с сохранением конфиденциальности. Детали сделок пользователей, такие как отправитель и сумма транзакции, по умолчанию скрыты. Этот дизайн не только защищает конфиденциальность пользователей, но и позволяет при необходимости проводить выборочное раскрытие, что очень подходит для развития приложений DeFi. Его основные компоненты включают:
Язык компиляции Leo: основан на языке Rust и специально разработан для создания приложений с нулевыми знаниями (ZKApps), что снижает требования к знаниям криптографии для разработчиков.
snarkVM и snarkOS: snarkVM позволяет выполнять вычисления вне цепочки, а на цепочке лишь проверять результаты вычислений, что повышает эффективность. snarkOS обеспечивает безопасность данных и вычислений и позволяет выполнять функции без разрешения.
zkCloud: предоставляет безопасную и конфиденциальную среду для вычислений вне блокчейна, поддерживает программное взаимодействие между пользователями, организациями и DAO.
Aleo также предоставляет интегрированную среду разработки (IDE) и комплект средств разработки программного обеспечения (SDK), поддерживая разработчиков в быстром написании и публикации приложений. Кроме того, разработчики могут развертывать приложения в реестре программ Aelo, не полагаясь на третьих лиц, что снижает риски платформы.
Масштабируемость
Aleo использует оффчейн-метод обработки, при котором доказательство сначала вычисляется на устройстве пользователя, а затем только результат проверки загружается в Блокчейн. Этот способ значительно увеличивает скорость обработки транзакций и масштабируемость системы, избегая проблем с перегрузкой сети и высокими расходами.
Механизм согласия
Aleo внедрил AleoBFT, это консенсусный механизм с гибридной архитектурой, который сочетает в себе мгновенную окончательность валидаторов и вычислительные мощности доказателей. AleoBFT не только повышает уровень децентрализации сети, но и улучшает производительность и безопасность.
Быстрая окончательность блока: AleoBFT гарантирует, что каждый блок сразу подтверждается после генерации, что повышает стабильность узлов и качество пользовательского опыта.
Децентрализованная защита: путем разделения производства блоков и генерации coinbase, валидаторы отвечают за создание блоков, а доказатели выполняют вычисления доказательства, предотвращая монополию немногих субъектов на сеть.
Механизм стимулов: валидаторы и доказатели делят блок-награды; поощряют доказателей становиться валидаторами через ставку токенов, тем самым повышая уровень децентрализации и вычислительной мощности сети.
Aleo позволяет разработчикам создавать приложения, не ограниченные газом, что делает его особенно подходящим для таких задач, как машинное обучение, которые требуют длительного выполнения.
Последние достижения
Aleo планирует запустить стимулирующую тестовую сеть 1 июля, вот некоторые важные последние новости:
Голосование по ARC-100 прошло успешно: голосование по ARC-100 ("Лучшие практики соблюдения для разработчиков и операторов Aleo") завершено и было одобрено. Команда проводит финальные доработки.
Программа стимулирования валидаторов: программа начнется 1 июля и направлена на проверку нового механизма puzzle. Программа будет действовать до 15 июля, в течение которого будет распределено 1 миллион Aleo баллов в качестве вознаграждения. Процент баллов, сгенерированных узлом, будет определять его долю вознаграждения, и каждый валидатор должен заработать как минимум 100 токенов, чтобы получить вознаграждение.
Начальное предложение и обращающееся предложение: начальное количество составляет 1,5 миллиарда токенов, начальное обращающееся предложение составляет около 10%. Эти токены в основном поступают от задач Coinbase (75 миллионов), которые будут распределены в течение первых шести месяцев, включая вознаграждения за ставку, работу валидаторов и валидацию узлов.
Тестовая сеть Бета сброс: это последний сброс сети, после завершения которого новые функции добавляться не будут, сеть станет аналогичной основной сети. Сброс необходим для добавления ARC-41 и новой функции головоломки.
Заморозка кода: Заморозка кода была завершена неделю назад.
План расширения узлов верификации: первоначальное количество узлов верификации составляет 15, цель - увеличить его до 50 в течение года, а в конечном итоге достичь 500. Для того чтобы стать делегатом, требуется 10 000 токенов, для того чтобы стать верификатором - 10 000 000 токенов, эти суммы будут постепенно уменьшаться со временем.
Обновление алгоритма Synthesis Puzzle
Aleo недавно обновил последнюю версию алгоритма puzzle, который называется Synthesis Puzzle. Новый алгоритм больше не акцентирует внимание на генерации результатов zk proof, а сосредоточен на создании промежуточных данных witness перед генерацией proof. Вот основные характеристики и процесс алгоритма:
Каждый эпоха генерирует общую EpochProgram, случайное число, полученное из текущего epoch_hash, выбирается из набора инструкций.
Используйте nonce (состоящий из адреса, получающего вознаграждение за майнинг, epoch_hash и случайного числа counter) в качестве начального числа для генерации входных данных EpochProgram.
Агрегируйте R1CS и входные данные, соответствующие EpochProgram, для выполнения вычисления свидетелей.
Преобразуйте рассчитанное свидетельство в последовательность листовых узлов Меркле-дерева и постройте 8-мерное K-арное Меркле-дерево глубиной 8.
Вычислите корень Меркла и преобразуйте его в proof_target решения, чтобы определить, соответствует ли он latest_proof_target текущего эпохи.
Если условия выполнены, то отправьте решение и распространите его.
Это обновление изменяет процесс генерации proof для puzzle на генерацию witness. Логика вычисления всех решений в каждом epoch остается одинаковой, но между разными epoch существует значительная разница в логике вычисления. Новый алгоритм исключает предыдущие вычисления MSM и NTT, и в то же время, из-за зависимости, существующей в процессе генерации witness, параллелизация сталкивается с немалыми трудностями.
В целом, это обновление алгоритма Aleo еще больше укрепило его преимущества в области защиты конфиденциальности и масштабируемости, предоставив новый импульс революции конфиденциальности в Web3. С постоянным развитием и совершенствованием проекта Aleo, ожидается, что он будет играть все более важную роль в области защиты конфиденциальности в Блокчейн.