Aleo: Ведущий новую эру приватных вычислений в Web3
Aleo — это проект блокчейна, сосредоточенный на защите конфиденциальности, который использует технологии нулевых знаний (ZKP) для достижения более высокой степени конфиденциальности и масштабируемости. Его основная идея заключается в том, чтобы позволить пользователям проводить аутентификацию и обработку данных без раскрытия личной информации.
Обзор проекта
Ядром Aleo является технология доказательства с нулевыми знаниями (ZKPs), которая позволяет выполнять транзакции и смарт-контракты с защитой конфиденциальности. Детали транзакций пользователей по умолчанию скрыты, при этом допускается выборочное раскрытие при необходимости, что делает ее очень подходящей для развития приложений DeFi.
Основные компоненты включают:
Язык программирования Leo: основан на Rust, специально разработан для создания приложений с нулевым знанием (ZKApps), снижает требования к знаниям криптографии для разработчиков.
snarkVM и snarkOS: snarkVM позволяет выполнять вычисления вне цепи, на цепи только проверяется результат, что повышает эффективность. snarkOS обеспечивает безопасность данных и вычислений и поддерживает выполнение без разрешений.
zkCloud: предлагает безопасную и конфиденциальную среду для вычислений вне цепочки, поддерживает программное взаимодействие между пользователями, организациями и DAO.
Aleo также предоставляет интегрированную среду разработки (IDE) и комплект средств разработки (SDK), поддерживающие разработчиков в быстрой разработке и публикации приложений. Разработчики могут напрямую развертывать приложения в реестре программ Aleo, что снижает риски платформы.
Масштабируемость
Aleo использует оффчейн-метод обработки, где сначала доказательство вычисляется на устройстве пользователя, а затем только результат верификации загружается в блокчейн. Этот метод значительно повышает скорость обработки транзакций и масштабируемость системы, избегая проблем с перегрузкой сети и высокими затратами.
Механизм согласия
Aleo внедрил AleoBFT, который является консенсусным механизмом с гибридной архитектурой, сочетающим мгновенную окончательность валидаторов и вычислительные возможности доказателей. AleoBFT повышает степень децентрализации сети, улучшая производительность и безопасность.
Быстрая финальность блоков: AleoBFT гарантирует, что каждый сгенерированный блок немедленно подтверждается, что повышает стабильность узлов и улучшает пользовательский опыт.
Децентрализованная защита: отделяя производство блоков от генерации coinbase, валидаторы отвечают за создание блоков, а доказатели выполняют вычисления доказательства, предотвращая монополизацию сети отдельными сущностями.
Механизм стимулов: валидаторы и доказатели делят блоковые вознаграждения; поощряют доказателей становиться валидаторами через ставку токенов, повышая степень децентрализации сети и вычислительную мощность.
Aleo позволяет разработчикам создавать приложения, не подлежащие ограничениям по газу, поэтому они особенно подходят для таких приложений, как машинное обучение, которые требуют длительного времени выполнения.
Последние новости
Aleo начнет тестирование стимулирующей сети 1 июля, вот некоторые важные последние новости:
Голосование по ARC-100 прошло: предложение, касающееся соблюдения норм, блокировки средств в сети и мер безопасности, таких как задержка зачисления, было одобрено, команда проводит окончательные корректировки.
Программа поощрения валидаторов: в период с 1 по 15 июля будет распределено 1 миллион Aleo баллов в качестве награды. Процент баллов, генерируемых узлом, определит его долю в награде, каждый валидатор должен заработать минимум 100 токенов, чтобы получить награду.
Предложение токенов: начальное предложение составляет 1,5 миллиарда токенов, начальное обращение составляет около 10%. Эти токены в основном поступают от задания Coinbase (7500万), которое будет распределено в течение первых шести месяцев, включая вознаграждения за стейкинг, работу валидаторов и проверку узлов.
Сброс тестовой сети Beta: это последний сброс сети, после завершения которого новые функции добавлены не будут, сеть будет похожа на основную.
Заморозка кода: завершена неделю назад.
План расширения узлов проверки: начальное количество узлов проверки составляет 15, цель - увеличить его до 50 в течение года, а в конечном итоге достичь 500. Чтобы стать делегатом, необходимо 10 000 токенов, чтобы стать узлом проверки, нужно 10 миллионов токенов; эти суммы будут постепенно уменьшаться со временем.
Анализ алгоритма Synthesis Puzzle
Ядро алгоритма puzzle последней версии Aleo называется Synthesis Puzzle, его основные характеристики следующие:
Каждый эпоха фиксированно создает общую EpochProgram.
Построив R1CS доказательную схему для входа и EpochProgram, создается соответствующее R1CS назначение (, то есть свидетели ).
Используйте свидетеля в качестве листового узла дерева Меркла, чтобы вычислить корень Меркла и преобразовать его в proof_target решения.
Каждое вычисление задачи называется nonce и строится из адреса, получающего вознаграждение за майнинг, epoch_hash и случайного числа counter.
EpochProgram генерирует случайное число, используя текущий epoch_hash, выбирая из набора инструкций.
Использовать nonce в качестве семени случайных чисел для генерации входных данных EpochProgram.
После вычисления свидетельства преобразуйте в последовательность листовых узлов Меркле-дерева, построив K-ари Меркле-дерево с глубиной 8.
Рассчитайте корень Меркла и преобразуйте его в proof_target, чтобы определить, соответствует ли он текущему эпохальному latest_proof_target.
Если условия выполнены, отправьте решение и распространите его.
Это обновление изменяет процесс от генерации доказательства к генерации свидетеля в puzzle, логика вычисления решения в каждом эпохе остается согласованной, но логика вычислений между различными эпохами значительно отличается. Новый алгоритм отказался от ранее используемых расчетов MSM и NTT, в то же время, из-за наличия последовательных зависимостей в процессе генерации свидетелей, реализация параллелизации сталкивается с большими вызовами.
В общем, Aleo с помощью этого инновационного алгоритма further укрепила свои позиции в области вычислений с конфиденциальностью Web3, заложив прочный фундамент для будущего развития.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
15 Лайков
Награда
15
6
Репост
Поделиться
комментарий
0/400
LeekCutter
· 07-13 22:17
Что еще можно сказать о конфиденциальности? Это все ерунда.
Посмотреть ОригиналОтветить0
CodeZeroBasis
· 07-13 15:41
Всё это Криптография сводит с ума...
Посмотреть ОригиналОтветить0
LuoGeMade1MillionDo
· 07-11 01:59
Скоро появится темный пул основной сети aleo, это будет мощно.
Посмотреть ОригиналОтветить0
MidnightMEVeater
· 07-11 00:41
Ещё одна волна охоты в темных пулах пришла. Способна ли приватная вычислительная система обеспечить майнеров — вот в чем вопрос.
Посмотреть ОригиналОтветить0
GateUser-e51e87c7
· 07-11 00:21
Лао Цзы сказал, что конфиденциальность — это будущее.
Aleo ведет революцию в области приватных вычислений Web3, запуская стимулирующую Тестовая сеть
Aleo: Ведущий новую эру приватных вычислений в Web3
Aleo — это проект блокчейна, сосредоточенный на защите конфиденциальности, который использует технологии нулевых знаний (ZKP) для достижения более высокой степени конфиденциальности и масштабируемости. Его основная идея заключается в том, чтобы позволить пользователям проводить аутентификацию и обработку данных без раскрытия личной информации.
Обзор проекта
Ядром Aleo является технология доказательства с нулевыми знаниями (ZKPs), которая позволяет выполнять транзакции и смарт-контракты с защитой конфиденциальности. Детали транзакций пользователей по умолчанию скрыты, при этом допускается выборочное раскрытие при необходимости, что делает ее очень подходящей для развития приложений DeFi.
Основные компоненты включают:
Язык программирования Leo: основан на Rust, специально разработан для создания приложений с нулевым знанием (ZKApps), снижает требования к знаниям криптографии для разработчиков.
snarkVM и snarkOS: snarkVM позволяет выполнять вычисления вне цепи, на цепи только проверяется результат, что повышает эффективность. snarkOS обеспечивает безопасность данных и вычислений и поддерживает выполнение без разрешений.
zkCloud: предлагает безопасную и конфиденциальную среду для вычислений вне цепочки, поддерживает программное взаимодействие между пользователями, организациями и DAO.
Aleo также предоставляет интегрированную среду разработки (IDE) и комплект средств разработки (SDK), поддерживающие разработчиков в быстрой разработке и публикации приложений. Разработчики могут напрямую развертывать приложения в реестре программ Aleo, что снижает риски платформы.
Масштабируемость
Aleo использует оффчейн-метод обработки, где сначала доказательство вычисляется на устройстве пользователя, а затем только результат верификации загружается в блокчейн. Этот метод значительно повышает скорость обработки транзакций и масштабируемость системы, избегая проблем с перегрузкой сети и высокими затратами.
Механизм согласия
Aleo внедрил AleoBFT, который является консенсусным механизмом с гибридной архитектурой, сочетающим мгновенную окончательность валидаторов и вычислительные возможности доказателей. AleoBFT повышает степень децентрализации сети, улучшая производительность и безопасность.
Быстрая финальность блоков: AleoBFT гарантирует, что каждый сгенерированный блок немедленно подтверждается, что повышает стабильность узлов и улучшает пользовательский опыт.
Децентрализованная защита: отделяя производство блоков от генерации coinbase, валидаторы отвечают за создание блоков, а доказатели выполняют вычисления доказательства, предотвращая монополизацию сети отдельными сущностями.
Механизм стимулов: валидаторы и доказатели делят блоковые вознаграждения; поощряют доказателей становиться валидаторами через ставку токенов, повышая степень децентрализации сети и вычислительную мощность.
Aleo позволяет разработчикам создавать приложения, не подлежащие ограничениям по газу, поэтому они особенно подходят для таких приложений, как машинное обучение, которые требуют длительного времени выполнения.
Последние новости
Aleo начнет тестирование стимулирующей сети 1 июля, вот некоторые важные последние новости:
Голосование по ARC-100 прошло: предложение, касающееся соблюдения норм, блокировки средств в сети и мер безопасности, таких как задержка зачисления, было одобрено, команда проводит окончательные корректировки.
Программа поощрения валидаторов: в период с 1 по 15 июля будет распределено 1 миллион Aleo баллов в качестве награды. Процент баллов, генерируемых узлом, определит его долю в награде, каждый валидатор должен заработать минимум 100 токенов, чтобы получить награду.
Предложение токенов: начальное предложение составляет 1,5 миллиарда токенов, начальное обращение составляет около 10%. Эти токены в основном поступают от задания Coinbase (7500万), которое будет распределено в течение первых шести месяцев, включая вознаграждения за стейкинг, работу валидаторов и проверку узлов.
Сброс тестовой сети Beta: это последний сброс сети, после завершения которого новые функции добавлены не будут, сеть будет похожа на основную.
Заморозка кода: завершена неделю назад.
План расширения узлов проверки: начальное количество узлов проверки составляет 15, цель - увеличить его до 50 в течение года, а в конечном итоге достичь 500. Чтобы стать делегатом, необходимо 10 000 токенов, чтобы стать узлом проверки, нужно 10 миллионов токенов; эти суммы будут постепенно уменьшаться со временем.
Анализ алгоритма Synthesis Puzzle
Ядро алгоритма puzzle последней версии Aleo называется Synthesis Puzzle, его основные характеристики следующие:
Каждый эпоха фиксированно создает общую EpochProgram.
Построив R1CS доказательную схему для входа и EpochProgram, создается соответствующее R1CS назначение (, то есть свидетели ).
Используйте свидетеля в качестве листового узла дерева Меркла, чтобы вычислить корень Меркла и преобразовать его в proof_target решения.
Каждое вычисление задачи называется nonce и строится из адреса, получающего вознаграждение за майнинг, epoch_hash и случайного числа counter.
EpochProgram генерирует случайное число, используя текущий epoch_hash, выбирая из набора инструкций.
Использовать nonce в качестве семени случайных чисел для генерации входных данных EpochProgram.
После вычисления свидетельства преобразуйте в последовательность листовых узлов Меркле-дерева, построив K-ари Меркле-дерево с глубиной 8.
Рассчитайте корень Меркла и преобразуйте его в proof_target, чтобы определить, соответствует ли он текущему эпохальному latest_proof_target.
Если условия выполнены, отправьте решение и распространите его.
Это обновление изменяет процесс от генерации доказательства к генерации свидетеля в puzzle, логика вычисления решения в каждом эпохе остается согласованной, но логика вычислений между различными эпохами значительно отличается. Новый алгоритм отказался от ранее используемых расчетов MSM и NTT, в то же время, из-за наличия последовательных зависимостей в процессе генерации свидетелей, реализация параллелизации сталкивается с большими вызовами.
В общем, Aleo с помощью этого инновационного алгоритма further укрепила свои позиции в области вычислений с конфиденциальностью Web3, заложив прочный фундамент для будущего развития.