Aleo — это проект Блокчейн, ориентированный на защиту конфиденциальности, использующий технологию нулевых знаний (ZKP) для достижения более высокого уровня конфиденциальности и масштабируемости. Основная идея проекта заключается в том, чтобы позволить пользователям выполнять проверку личности и обработку данных, защищая при этом личные данные.
Обзор проекта
Приватность
Ядром Aleo является технология нулевых знаний (ZKPs), которая обеспечивает выполнение транзакций и смарт-контрактов с учетом конфиденциальности. Подробности транзакций пользователей по умолчанию скрыты, этот дизайн не только защищает конфиденциальность пользователей, но и позволяет при необходимости проводить выборочное раскрытие, что идеально подходит для развития DeFi приложений.
Основные компоненты включают:
Leo Язык программирования: адаптирован на основе Rust, специально предназначен для разработки приложений с нулевым знанием (ZKApps), что снижает требования к знаниям криптографии для разработчиков.
snarkVM и snarkOS: snarkVM позволяет выполнять вычисления вне цепи, а на цепи только проверять результаты вычислений, что повышает эффективность. snarkOS обеспечивает безопасность данных и вычислений и позволяет выполнять функции без разрешения.
zkCloud: предоставляет безопасную, конфиденциальную среду для вычислений вне цепи, поддерживает программное взаимодействие между пользователями, организациями и DAO.
Aleo также предоставляет интегрированную среду разработки (IDE) и пакет инструментов для разработки программного обеспечения (SDK), поддерживающий разработчиков в быстром написании и публикации приложений. Разработчики могут развертывать приложения в реестре программ Aleo, не полагаясь на третьи стороны, что снижает риски платформы.
Масштабируемость
Aleo использует обработку off-chain, где транзакции сначала вычисляются на устройстве пользователя, а затем только результаты проверки загружаются в Блокчейн. Этот подход значительно повышает скорость обработки транзакций и масштабируемость системы, избегая сетевых задержек и высоких затрат.
Механизм консенсуса
Aleo внедрил AleoBFT, который является консенсусным механизмом с гибридной архитектурой, объединяющим мгновенную окончательность валидаторов и вычислительные возможности доказателей. AleoBFT не только повышает степень децентрализации сети, но и усиливает производительность и безопасность.
Быстрая окончательность блока: AleoBFT гарантирует, что каждый блок подтверждается сразу после его создания, что повышает стабильность узлов и улучшает пользовательский опыт.
Децентрализованная защита: разделяя производство блоков и генерацию coinbase, валидаторы отвечают за создание блоков, а доказатели выполняют вычисления доказательства, предотвращая монополию немногих субъектов на сеть.
Механизм стимулирования: валидаторы и доказатели делят блокчейн-награды; поощряют доказателей стать валидаторами через ставку токенов, тем самым повышая уровень децентрализации и вычислительные возможности сети.
Aleo позволяет разработчикам создавать приложения, не ограниченные газом, что особенно подходит для таких задач, как машинное обучение, требующих длительной работы.
Последние новости
Aleo планирует запустить тестовую сеть с поощрениями 1 июля, ниже приведены некоторые важные обновления:
ARC-100 голосование прошло: предложение, касающееся соблюдения норм, блокировки средств в сети и мер безопасности, связанных с задержкой зачисления, было одобрено, команда проводит окончательные доработки.
Программа стимулов для валидаторов: стартует 1 июля и направлена на проверку нового механизма puzzle. Программа будет действовать до 15 июля, в течение которой будет распределено 1 миллион Aleo баллов в качестве вознаграждения.
Начальное предложение и циркулирующее предложение: начальное количество токенов составляет 1,5 миллиарда, начальное циркулирующее предложение составляет примерно 10%. Эти токены в основном поступают от заданий Coinbase и будут распределены в течение первых шести месяцев.
Тестовая сеть Бета сброс: это последний сброс сети, после завершения не будут добавлены новые функции, сеть будет похожа на основную.
Заморозка кода: завершена неделю назад.
План расширения узлов проверки: начальное количество узлов проверки составляет 15, цель - увеличить их до 50 в течение года и в конечном итоге достичь 500.
Synthesis Puzzle: Новый алгоритм анализа
Последняя версия алгоритмического ядра Aleo называется Synthesis Puzzle. Его суть заключается в том, что для каждого эпохи фиксируется общее EpochProgram. Путем построения R1CS доказательной цепи для входных данных и EpochProgram, генерируется соответствующее R1CS назначение (то есть свидетельство), которое используется в качестве листового узла дерева Меркла. После вычисления всех листовых узлов генерируется корень Меркла и преобразуется в proof_target решения.
Алгоритмический процесс
Каждое вычисление puzzle называется nonce и строится на основе адреса, получающего вознаграждение за майнинг, epoch_hash и случайного числа counter.
В каждом эпохе все prover вычисляют одинаковую EpochProgram, которая выбирается из набора инструкций на основе случайного числа, полученного из текущего epoch_hash.
Используйте nonce в качестве семени случайного числа для генерации входных данных EpochProgram.
Соберите R1CS и входные данные, соответствующие EpochProgram, для вычисления свидетеля.
После вычисления всех witness, преобразуйте их в последовательность листовых узлов дерева Меркла.
Вычислите корень Меркла и преобразуйте его в proof_target решения, проверьте, соответствует ли он latest_proof_target текущего эпохи.
В одном и том же эпохе можно несколько раз вычислять решение, обновляя входные данные EpochProgram через итерацию счетчика.
Изменения и влияние майнинга
Новая версия puzzle изменила процесс генерации proof на генерацию witness. Логика вычисления всех решений в пределах одного epoch согласована, но логика вычисления между различными epoch значительно различается. Это обновление отказалось от предыдущих вычислений MSM и NTT, и поскольку процесс генерации witness включает выполнение программы, которая изменяется с каждым epoch, в которой существуют некоторые зависимости между последовательным выполнением инструкций, реализация параллелизации будет представлять собой немалую задачу.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
11 Лайков
Награда
11
5
Поделиться
комментарий
0/400
GasFeeCrybaby
· 07-25 14:40
Ух ты! В какой бирже можно зарегистрироваться?
Посмотреть ОригиналОтветить0
OnchainDetectiveBing
· 07-25 14:40
Характер резкий, много лет скрывается в Блокчейне, любит комментировать в агрессивном тоне с риторическими вопросами и сомнениями.
Посмотреть ОригиналОтветить0
ThreeHornBlasts
· 07-25 14:33
Конфиденциальность наконец начинает восстанавливаться.
Посмотреть ОригиналОтветить0
GateUser-2e89a06f
· 07-25 14:30
Черт возьми, снова этот воздух, который промывает мозги с помощью PPT.
Aleo скрытый Блокчейн снова обновлен: технология ZKP и новый Механизм консенсуса улучшают производительность
Aleo: Пионер приватного Блокчейна
Aleo — это проект Блокчейн, ориентированный на защиту конфиденциальности, использующий технологию нулевых знаний (ZKP) для достижения более высокого уровня конфиденциальности и масштабируемости. Основная идея проекта заключается в том, чтобы позволить пользователям выполнять проверку личности и обработку данных, защищая при этом личные данные.
Обзор проекта
Приватность
Ядром Aleo является технология нулевых знаний (ZKPs), которая обеспечивает выполнение транзакций и смарт-контрактов с учетом конфиденциальности. Подробности транзакций пользователей по умолчанию скрыты, этот дизайн не только защищает конфиденциальность пользователей, но и позволяет при необходимости проводить выборочное раскрытие, что идеально подходит для развития DeFi приложений.
Основные компоненты включают:
Leo Язык программирования: адаптирован на основе Rust, специально предназначен для разработки приложений с нулевым знанием (ZKApps), что снижает требования к знаниям криптографии для разработчиков.
snarkVM и snarkOS: snarkVM позволяет выполнять вычисления вне цепи, а на цепи только проверять результаты вычислений, что повышает эффективность. snarkOS обеспечивает безопасность данных и вычислений и позволяет выполнять функции без разрешения.
zkCloud: предоставляет безопасную, конфиденциальную среду для вычислений вне цепи, поддерживает программное взаимодействие между пользователями, организациями и DAO.
Aleo также предоставляет интегрированную среду разработки (IDE) и пакет инструментов для разработки программного обеспечения (SDK), поддерживающий разработчиков в быстром написании и публикации приложений. Разработчики могут развертывать приложения в реестре программ Aleo, не полагаясь на третьи стороны, что снижает риски платформы.
Масштабируемость
Aleo использует обработку off-chain, где транзакции сначала вычисляются на устройстве пользователя, а затем только результаты проверки загружаются в Блокчейн. Этот подход значительно повышает скорость обработки транзакций и масштабируемость системы, избегая сетевых задержек и высоких затрат.
Механизм консенсуса
Aleo внедрил AleoBFT, который является консенсусным механизмом с гибридной архитектурой, объединяющим мгновенную окончательность валидаторов и вычислительные возможности доказателей. AleoBFT не только повышает степень децентрализации сети, но и усиливает производительность и безопасность.
Быстрая окончательность блока: AleoBFT гарантирует, что каждый блок подтверждается сразу после его создания, что повышает стабильность узлов и улучшает пользовательский опыт.
Децентрализованная защита: разделяя производство блоков и генерацию coinbase, валидаторы отвечают за создание блоков, а доказатели выполняют вычисления доказательства, предотвращая монополию немногих субъектов на сеть.
Механизм стимулирования: валидаторы и доказатели делят блокчейн-награды; поощряют доказателей стать валидаторами через ставку токенов, тем самым повышая уровень децентрализации и вычислительные возможности сети.
Aleo позволяет разработчикам создавать приложения, не ограниченные газом, что особенно подходит для таких задач, как машинное обучение, требующих длительной работы.
Последние новости
Aleo планирует запустить тестовую сеть с поощрениями 1 июля, ниже приведены некоторые важные обновления:
ARC-100 голосование прошло: предложение, касающееся соблюдения норм, блокировки средств в сети и мер безопасности, связанных с задержкой зачисления, было одобрено, команда проводит окончательные доработки.
Программа стимулов для валидаторов: стартует 1 июля и направлена на проверку нового механизма puzzle. Программа будет действовать до 15 июля, в течение которой будет распределено 1 миллион Aleo баллов в качестве вознаграждения.
Начальное предложение и циркулирующее предложение: начальное количество токенов составляет 1,5 миллиарда, начальное циркулирующее предложение составляет примерно 10%. Эти токены в основном поступают от заданий Coinbase и будут распределены в течение первых шести месяцев.
Тестовая сеть Бета сброс: это последний сброс сети, после завершения не будут добавлены новые функции, сеть будет похожа на основную.
Заморозка кода: завершена неделю назад.
План расширения узлов проверки: начальное количество узлов проверки составляет 15, цель - увеличить их до 50 в течение года и в конечном итоге достичь 500.
Synthesis Puzzle: Новый алгоритм анализа
Последняя версия алгоритмического ядра Aleo называется Synthesis Puzzle. Его суть заключается в том, что для каждого эпохи фиксируется общее EpochProgram. Путем построения R1CS доказательной цепи для входных данных и EpochProgram, генерируется соответствующее R1CS назначение (то есть свидетельство), которое используется в качестве листового узла дерева Меркла. После вычисления всех листовых узлов генерируется корень Меркла и преобразуется в proof_target решения.
Алгоритмический процесс
Каждое вычисление puzzle называется nonce и строится на основе адреса, получающего вознаграждение за майнинг, epoch_hash и случайного числа counter.
В каждом эпохе все prover вычисляют одинаковую EpochProgram, которая выбирается из набора инструкций на основе случайного числа, полученного из текущего epoch_hash.
Используйте nonce в качестве семени случайного числа для генерации входных данных EpochProgram.
Соберите R1CS и входные данные, соответствующие EpochProgram, для вычисления свидетеля.
После вычисления всех witness, преобразуйте их в последовательность листовых узлов дерева Меркла.
Вычислите корень Меркла и преобразуйте его в proof_target решения, проверьте, соответствует ли он latest_proof_target текущего эпохи.
В одном и том же эпохе можно несколько раз вычислять решение, обновляя входные данные EpochProgram через итерацию счетчика.
Изменения и влияние майнинга
Новая версия puzzle изменила процесс генерации proof на генерацию witness. Логика вычисления всех решений в пределах одного epoch согласована, но логика вычисления между различными epoch значительно различается. Это обновление отказалось от предыдущих вычислений MSM и NTT, и поскольку процесс генерации witness включает выполнение программы, которая изменяется с каждым epoch, в которой существуют некоторые зависимости между последовательным выполнением инструкций, реализация параллелизации будет представлять собой немалую задачу.