Aleo: пионер Блокчейн с защитой конфиденциальности и масштабируемостью
Aleo — это инновационный проект, направленный на повышение защиты конфиденциальности и масштабируемости Блокчейн. Используя технологии нулевых знаний, Aleo позволяет пользователям выполнять проверку личности и обработку данных, защищая при этом личную информацию.
Обзор проекта
Защита конфиденциальности
Основная технология Aleo — это доказательства с нулевым разглашением (ZKPs), которые обеспечивают защиту конфиденциальности пользователей в процессе выполнения транзакций и смарт-контрактов. По умолчанию детали транзакции, такие как отправитель и сумма, скрыты. Этот дизайн не только защищает конфиденциальность пользователей, но и поддерживает выборочное раскрытие при необходимости, что очень подходит для развития DeFi-приложений.
Основные компоненты Aleo включают:
Язык программирования Leo: адаптирован на основе Rust, специально предназначен для разработки приложений с нулевым знанием (ZKApps), снижая требования к знаниям криптографии для разработчиков.
snarkVM и snarkOS: snarkVM поддерживает выполнение вычислений вне цепи, в цепи только проверяется результат, что повышает эффективность. snarkOS гарантирует безопасность данных и вычислений, поддерживает выполнение функций без разрешения.
zkCloud: предоставляет безопасную, конфиденциальную среду для вычислений вне цепи, поддерживает программное взаимодействие между сторонами.
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万), которые будут распределены в течение первых шести месяцев, включая вознаграждения за ставку, выполнение валидаторов и валидацию узлов.
Обновление тестовой сети: Testnet Beta будет подвергнут последнему сбросу, добавив ARC-41 и новую функцию головоломки. После сброса сеть будет аналогична основной сети, новые функции больше не будут добавляться.
Заморозка кода: завершена неделю назад.
Расширение узлов верификации: начальное количество узлов верификации составляет 15, цель — увеличить до 50 в течение года, а в конечном итоге достичь 500. Для того чтобы стать делегатом, необходимо 10 000 токенов, для того чтобы стать верификатором, требуется 10 000 000 токенов, эти суммы будут постепенно уменьшаться со временем.
Анализ алгоритма Synthesis Puzzle
Последний алгоритм puzzle, выпущенный Aleo, называется Synthesis Puzzle, и его основа заключается в генерации фиксированной EpochProgram для каждого эпохи. Создавая R1CS доказательственную цепь для входных данных и EpochProgram, генерируется соответствующее R1CS присвоение (, то есть свидетельство ), которое используется в качестве листового узла дерева Меркла. После вычисления всех листовых узлов генерируется корень Меркла и преобразуется в proof_target решения.
Подробный процесс Synthesis Puzzle следующий:
Каждое вычисление puzzle называется nonce и состоит из адреса, получающего вознаграждение за майнинг, epoch_hash и случайного числа counter.
В каждом эпохе все prover вычисляют одинаковую EpochProgram, используя случайное число, сгенерированное из текущего epoch_hash, выбором из набора инструкций.
Используйте nonce в качестве семени для генерации входных данных EpochProgram.
Агрегировать R1CS и входные данные, соответствующие EpochProgram, для расчета свидетеля.
После вычисления всех свидетелей, преобразуйте их в последовательность листовых узлов дерева Меркла.
Вычислите корень Меркла и преобразуйте его в proof_target решения, чтобы определить, соответствует ли он последнему proof_target текущей эпохи.
Если условия выполнены, то отправьте адрес вознаграждения, epoch_hash и counter, необходимые для создания ввода, в качестве решения и распространите.
В рамках одного эпохи можно обновить входные данные EpochProgram с помощью итерационного счетчика и выполнить несколько вычислений решения.
Это обновление изменяет puzzle с генерации proof на генерацию witness, логика расчета решения в каждом epoch остается неизменной, но логика расчета между разными epoch имеет значительные различия. Новый алгоритм отвергает прежние расчеты MSM и NTT, что создает новые вызовы для оптимизации под GPU. Поскольку процесс генерации witness включает выполнение программы, изменяющейся с epoch, некоторые инструкции имеют зависимости, требующие последовательного выполнения, что создает большие трудности для реализации параллелизма.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
13 Лайков
Награда
13
7
Поделиться
комментарий
0/400
BankruptcyArtist
· 5ч назад
Ну, наконец-то очередь дошла до проектов с дизайном конфиденциальности!
Aleo запускает стимулирующую Тестовую сеть, приватный масштабируемый Блокчейн начинает новую главу.
Aleo: пионер Блокчейн с защитой конфиденциальности и масштабируемостью
Aleo — это инновационный проект, направленный на повышение защиты конфиденциальности и масштабируемости Блокчейн. Используя технологии нулевых знаний, Aleo позволяет пользователям выполнять проверку личности и обработку данных, защищая при этом личную информацию.
Обзор проекта
Защита конфиденциальности
Основная технология Aleo — это доказательства с нулевым разглашением (ZKPs), которые обеспечивают защиту конфиденциальности пользователей в процессе выполнения транзакций и смарт-контрактов. По умолчанию детали транзакции, такие как отправитель и сумма, скрыты. Этот дизайн не только защищает конфиденциальность пользователей, но и поддерживает выборочное раскрытие при необходимости, что очень подходит для развития DeFi-приложений.
Основные компоненты Aleo включают:
Язык программирования Leo: адаптирован на основе Rust, специально предназначен для разработки приложений с нулевым знанием (ZKApps), снижая требования к знаниям криптографии для разработчиков.
snarkVM и snarkOS: snarkVM поддерживает выполнение вычислений вне цепи, в цепи только проверяется результат, что повышает эффективность. snarkOS гарантирует безопасность данных и вычислений, поддерживает выполнение функций без разрешения.
zkCloud: предоставляет безопасную, конфиденциальную среду для вычислений вне цепи, поддерживает программное взаимодействие между сторонами.
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万), которые будут распределены в течение первых шести месяцев, включая вознаграждения за ставку, выполнение валидаторов и валидацию узлов.
Обновление тестовой сети: Testnet Beta будет подвергнут последнему сбросу, добавив ARC-41 и новую функцию головоломки. После сброса сеть будет аналогична основной сети, новые функции больше не будут добавляться.
Заморозка кода: завершена неделю назад.
Расширение узлов верификации: начальное количество узлов верификации составляет 15, цель — увеличить до 50 в течение года, а в конечном итоге достичь 500. Для того чтобы стать делегатом, необходимо 10 000 токенов, для того чтобы стать верификатором, требуется 10 000 000 токенов, эти суммы будут постепенно уменьшаться со временем.
Анализ алгоритма Synthesis Puzzle
Последний алгоритм puzzle, выпущенный Aleo, называется Synthesis Puzzle, и его основа заключается в генерации фиксированной EpochProgram для каждого эпохи. Создавая R1CS доказательственную цепь для входных данных и EpochProgram, генерируется соответствующее R1CS присвоение (, то есть свидетельство ), которое используется в качестве листового узла дерева Меркла. После вычисления всех листовых узлов генерируется корень Меркла и преобразуется в proof_target решения.
Подробный процесс Synthesis Puzzle следующий:
Каждое вычисление puzzle называется nonce и состоит из адреса, получающего вознаграждение за майнинг, epoch_hash и случайного числа counter.
В каждом эпохе все prover вычисляют одинаковую EpochProgram, используя случайное число, сгенерированное из текущего epoch_hash, выбором из набора инструкций.
Используйте nonce в качестве семени для генерации входных данных EpochProgram.
Агрегировать R1CS и входные данные, соответствующие EpochProgram, для расчета свидетеля.
После вычисления всех свидетелей, преобразуйте их в последовательность листовых узлов дерева Меркла.
Вычислите корень Меркла и преобразуйте его в proof_target решения, чтобы определить, соответствует ли он последнему proof_target текущей эпохи.
Если условия выполнены, то отправьте адрес вознаграждения, epoch_hash и counter, необходимые для создания ввода, в качестве решения и распространите.
В рамках одного эпохи можно обновить входные данные EpochProgram с помощью итерационного счетчика и выполнить несколько вычислений решения.
Это обновление изменяет puzzle с генерации proof на генерацию witness, логика расчета решения в каждом epoch остается неизменной, но логика расчета между разными epoch имеет значительные различия. Новый алгоритм отвергает прежние расчеты MSM и NTT, что создает новые вызовы для оптимизации под GPU. Поскольку процесс генерации witness включает выполнение программы, изменяющейся с epoch, некоторые инструкции имеют зависимости, требующие последовательного выполнения, что создает большие трудности для реализации параллелизма.