Aleo: новый игрок в Блокчейн, сочетающий конфиденциальность и масштабируемость
Aleo – это проект Блокчейн, сосредоточенный на защите конфиденциальности, который реализует более высокую степень конфиденциальности и масштабируемости с помощью технологии нулевых знаний. Основная идея проекта заключается в том, чтобы позволить пользователям проводить верификацию личности и обработку данных без раскрытия личных данных.
Обзор проекта
Приватность
Основой Aleo являются технологии нулевых знаний (ZKPs), которые позволяют проводить транзакции и выполнять смарт-контракты с защитой конфиденциальности. Детали транзакций пользователей по умолчанию скрыты, но при необходимости допускается выборочная публикация. Основные компоненты включают:
Язык Leo: язык, специально разработанный для разработки приложений с нулевым знанием ( ZKApps ), снижает требования к знаниям криптографии для разработчиков.
snarkVM и snarkOS: snarkVM позволяет выполнять вычисления вне цепи, а на цепи только проверять результаты; snarkOS обеспечивает безопасность данных и вычислений.
zkCloud: предлагает безопасную, конфиденциальную среду для оффлайн вычислений, поддерживает программное взаимодействие между сторонами.
Aleo также предоставляет интегрированную среду разработки и набор инструментов для разработки программного обеспечения, что позволяет разработчикам быстро писать и публиковать приложения. Разработчики могут напрямую развертывать приложения в реестре программ Aelo, что снижает риски платформы.
Масштабируемость
Aleo использует оффлайн-обработку, при которой транзакции сначала рассчитывают доказательства на устройствах пользователей, а затем только результаты проверки загружаются в Блокчейн. Этот подход значительно повышает скорость обработки транзакций и масштабируемость системы, избегая проблем с перегрузкой сети и высокими затратами.
механизм консенсуса
Aleo внедряет AleoBFT, это гибридный архитектурный механизм консенсуса, который сочетает в себе мгновенную финальность валидаторов и вычислительные возможности доказателей. AleoBFT не только повышает степень децентрализации сети, но и усиливает производительность и безопасность. Его особенности включают:
Быстрая окончательность блока: обеспечивает немедленное подтверждение каждого блока после его создания.
Децентрализованная защита: разделяя производство блоков и создание coinbase, предотвращается монополия немногих сущностей на сеть.
Механизм стимулов: валидаторы и доказатели делят блоковые награды, побуждая доказателей стать валидаторами через ставку токенов.
Aleo позволяет разработчикам создавать приложения, не подверженные ограничениям по газу, особенно подходящие для приложений, которые требуют длительного выполнения, таких как машинное обучение и т. д.
Последние новости
Aleo планирует запустить тестовую сеть с вознаграждениями 1 июля, ниже приведены некоторые важные последние новости:
Предложение ARC-100 принято, команда проводит окончательные корректировки.
Программа стимулов для валидаторов начнется 1 июля и будет действовать до 15 июля, будет распределено 1 миллион Aleo баллов в качестве награды.
Начальное предложение составляет 1,5 миллиарда токенов, начальное обращающееся предложение составляет около 10%.
После завершения сброса тестовой сети Beta, сеть будет похожа на основную сеть.
Заморозка кода была завершена неделю назад.
План расширения узлов верификации: первоначально 15 узлов, цель — увеличить их до 50 в течение года, в конечном итоге достичь 500.
Интерпретация алгоритма Synthesis Puzzle
Aleo недавно обновил последнюю версию алгоритма puzzle, называемую Synthesis Puzzle. Новый алгоритм больше не сосредотачивается на генерации результатов zk proof, а вместо этого фокусируется на создании промежуточных данных witness перед генерацией proof. Процесс алгоритма следующий:
Каждый эпоха генерирует общую EpochProgram.
Используйте nonce( для создания ) в качестве входных данных из адреса вознаграждения за майнинг, epoch_hash и случайного числа counter.
Построить R1CS доказательство цепи на основе EpochProgram и входных данных, сгенерировать свидетельство.
Преобразуйте свидетельство в листовой узел Меркле-дерева, вычислите корень Меркле.
Преобразуйте корень Меркла в proof_target решения и проверьте, соответствует ли он требованиям сложности текущего эпохи.
Если требования выполнены, отправьте решение и распространите его.
Это обновление изменяет puzzle с генерации proof на генерацию witness, логика вычислений в каждом epoch остается одинаковой, но различия между разными epoch достаточно велики. Новый алгоритм отказался от предыдущих вычислений MSM и NTT, увеличив сложность параллельной реализации, что может повлиять на существующие стратегии оптимизации майнинга.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Aleo запускает тестовую сеть, Блокчейн с нулевыми знаниями движется к Основной сети
Aleo: новый игрок в Блокчейн, сочетающий конфиденциальность и масштабируемость
Aleo – это проект Блокчейн, сосредоточенный на защите конфиденциальности, который реализует более высокую степень конфиденциальности и масштабируемости с помощью технологии нулевых знаний. Основная идея проекта заключается в том, чтобы позволить пользователям проводить верификацию личности и обработку данных без раскрытия личных данных.
Обзор проекта
Приватность
Основой Aleo являются технологии нулевых знаний (ZKPs), которые позволяют проводить транзакции и выполнять смарт-контракты с защитой конфиденциальности. Детали транзакций пользователей по умолчанию скрыты, но при необходимости допускается выборочная публикация. Основные компоненты включают:
Язык Leo: язык, специально разработанный для разработки приложений с нулевым знанием ( ZKApps ), снижает требования к знаниям криптографии для разработчиков.
snarkVM и snarkOS: snarkVM позволяет выполнять вычисления вне цепи, а на цепи только проверять результаты; snarkOS обеспечивает безопасность данных и вычислений.
zkCloud: предлагает безопасную, конфиденциальную среду для оффлайн вычислений, поддерживает программное взаимодействие между сторонами.
Aleo также предоставляет интегрированную среду разработки и набор инструментов для разработки программного обеспечения, что позволяет разработчикам быстро писать и публиковать приложения. Разработчики могут напрямую развертывать приложения в реестре программ Aelo, что снижает риски платформы.
Масштабируемость
Aleo использует оффлайн-обработку, при которой транзакции сначала рассчитывают доказательства на устройствах пользователей, а затем только результаты проверки загружаются в Блокчейн. Этот подход значительно повышает скорость обработки транзакций и масштабируемость системы, избегая проблем с перегрузкой сети и высокими затратами.
механизм консенсуса
Aleo внедряет AleoBFT, это гибридный архитектурный механизм консенсуса, который сочетает в себе мгновенную финальность валидаторов и вычислительные возможности доказателей. AleoBFT не только повышает степень децентрализации сети, но и усиливает производительность и безопасность. Его особенности включают:
Быстрая окончательность блока: обеспечивает немедленное подтверждение каждого блока после его создания.
Децентрализованная защита: разделяя производство блоков и создание coinbase, предотвращается монополия немногих сущностей на сеть.
Механизм стимулов: валидаторы и доказатели делят блоковые награды, побуждая доказателей стать валидаторами через ставку токенов.
Aleo позволяет разработчикам создавать приложения, не подверженные ограничениям по газу, особенно подходящие для приложений, которые требуют длительного выполнения, таких как машинное обучение и т. д.
Последние новости
Aleo планирует запустить тестовую сеть с вознаграждениями 1 июля, ниже приведены некоторые важные последние новости:
Предложение ARC-100 принято, команда проводит окончательные корректировки.
Программа стимулов для валидаторов начнется 1 июля и будет действовать до 15 июля, будет распределено 1 миллион Aleo баллов в качестве награды.
Начальное предложение составляет 1,5 миллиарда токенов, начальное обращающееся предложение составляет около 10%.
После завершения сброса тестовой сети Beta, сеть будет похожа на основную сеть.
Заморозка кода была завершена неделю назад.
План расширения узлов верификации: первоначально 15 узлов, цель — увеличить их до 50 в течение года, в конечном итоге достичь 500.
Интерпретация алгоритма Synthesis Puzzle
Aleo недавно обновил последнюю версию алгоритма puzzle, называемую Synthesis Puzzle. Новый алгоритм больше не сосредотачивается на генерации результатов zk proof, а вместо этого фокусируется на создании промежуточных данных witness перед генерацией proof. Процесс алгоритма следующий:
Каждый эпоха генерирует общую EpochProgram.
Используйте nonce( для создания ) в качестве входных данных из адреса вознаграждения за майнинг, epoch_hash и случайного числа counter.
Построить R1CS доказательство цепи на основе EpochProgram и входных данных, сгенерировать свидетельство.
Преобразуйте свидетельство в листовой узел Меркле-дерева, вычислите корень Меркле.
Преобразуйте корень Меркла в proof_target решения и проверьте, соответствует ли он требованиям сложности текущего эпохи.
Если требования выполнены, отправьте решение и распространите его.
Это обновление изменяет puzzle с генерации proof на генерацию witness, логика вычислений в каждом epoch остается одинаковой, но различия между разными epoch достаточно велики. Новый алгоритм отказался от предыдущих вычислений MSM и NTT, увеличив сложность параллельной реализации, что может повлиять на существующие стратегии оптимизации майнинга.