Aleo: Блокчейн проект, ведущий революцию в области конфиденциальности Web3
Aleo — это проект Блокчейн, посвященный защите конфиденциальности, его основная технология основана на нулевых знаниях (ZKP) и направлена на достижение более высокого уровня конфиденциальности и масштабируемости. Основная идея проекта заключается в том, чтобы пользователи могли осуществлять проверку личности и обработку данных, не раскрывая личную информацию.
Обзор проекта
Приватность
Ядро технологии Aleo — это доказательства с нулевым разглашением, что позволяет выполнять транзакции и смарт-контракты с учетом защиты конфиденциальности. Подробности транзакций пользователей, такие как отправитель и сумма сделки, по умолчанию скрыты. Этот дизайн не только защищает конфиденциальность пользователей, но и позволяет при необходимости осуществлять выборочное раскрытие, что отлично подходит для развития децентрализованных финансовых приложений.
Основные компоненты Aleo включают:
Язык программирования Leo: адаптирован на основе языка Rust, специально разработан для создания приложений с нулевым знанием, снижая требования к знаниям криптографии для разработчиков.
snarkVM и snarkOS: snarkVM позволяет выполнять вычисления вне цепи, а в цепи лишь проверять результаты вычислений, что повышает эффективность. snarkOS обеспечивает безопасность данных и вычислений, а также позволяет выполнять функции без разрешения.
zkCloud: предоставляет безопасную, конфиденциальную среду для вычислений вне цепи, поддерживает программное взаимодействие между пользователями, организациями и децентрализованными автономными организациями.
Aleo также предоставляет интегрированную среду разработки и набор инструментов для разработки программного обеспечения, что позволяет разработчикам быстро писать и публиковать приложения. Кроме того, разработчики могут развертывать приложения в реестре программ Aleo без необходимости полагаться на третьи стороны, что снижает риск платформы.
Масштабируемость
Aleo использует оффлайн-обработку, где сначала вычисляется доказательство на устройстве пользователя, а затем только результат верификации загружается в Блокчейн. Этот подход значительно увеличивает скорость обработки транзакций и масштабируемость системы, избегая проблем с перегрузкой сети и высокими затратами.
механизм согласия
Aleo внедряет AleoBFT, это консенсусный механизм с гибридной архитектурой, который сочетает в себе мгновенную окончательность валидаторов и вычислительные мощности доказателей. AleoBFT не только повышает уровень децентрализации сети, но и усиливает производительность и безопасность.
Быстрая окончательность блока: AleoBFT обеспечивает немедленное подтверждение каждого блока после его создания, что повышает стабильность узлов и удобство для пользователей.
Децентрализованная защита: отделив производство блоков от генерации токенов, валидаторы отвечают за создание блоков, а доказатели выполняют вычисления доказательства, предотвращая монополизацию сети отдельными субъектами.
Механизм стимулов: валидаторы и доказатели делят блоковые награды; поощряют доказателей стать валидаторами через ставку токенов, тем самым повышая уровень децентрализации и вычислительной мощности сети.
Aleo позволяет разработчикам создавать приложения без ограничений по ресурсам, что особенно подходит для машинного обучения и других приложений, требующих длительного времени работы.
Последние достижения
Aleo запустит incentivized тестовую сеть 1 июля, вот некоторые важные последние новости:
ARC-100 голосование прошло: Предложение, касающееся соблюдения норм, блокировки средств в сети Aleo и мер безопасности, таких как задержка зачисления, было одобрено. Команда проводит финальные настройки.
Программа стимулов для валидаторов: Программа начнется 1 июля и нацелена на проверку нового механизма puzzle. Программа будет действовать до 15 июля, в течение которого будет распределено 1 миллион Aleo баллов в качестве награды.
Начальное предложение и обращающееся предложение: Начальное количество составляет 1,5 миллиарда токенов, начальное обращающееся предложение составляет около 10%. Эти токены в основном поступают из вознаграждений за задания (75 миллионов), которые будут распределены в течение первых шести месяцев, включая вознаграждения за ставки, выполнение валидаторов и валидацию узлов.
Сброс тестовой сети: Это последний сброс сети, после которого не будут добавляться новые функции, сеть будет аналогична основной сети. Сброс предназначен для добавления новых функций и обновления механизма головоломки.
Заморозка кода: Заморозка кода была завершена неделю назад.
План расширения узлов верификации: Начальное количество узлов верификации составляет 15, цель - увеличить их до 50 в течение года и в конечном итоге достичь 500. Чтобы стать делегатом, требуется 10 000 токенов, чтобы стать верификатором, требуется 10 000 000 токенов, эти суммы будут постепенно уменьшаться с течением времени.
Анализ алгоритма Synthesis Puzzle
Ядро алгоритма последней версии Aleo называется Synthesis Puzzle, и его основная идея заключается в том, чтобы фиксировать общее EpochProgram, создаваемое для каждого эпохи, создавая R1CS доказательную цепь для входных данных и EpochProgram, получая соответствующее R1CS присвоение (то есть свидетельство) и используя его в качестве листового узла Меркле-дерева. После вычисления всех листовых узлов генерируется корень Меркле и преобразуется в proof_target для решения.
Подробный процесс создания Synthesis Puzzle выглядит следующим образом:
Каждое вычисление puzzle называется nonce и строится на основе адреса, получающего вознаграждение за майнинг, epoch_hash и случайного числа counter.
В каждом эпохе все провайдеры вычисляют один и тот же EpochProgram, который выбирается из набора инструкций на основе случайного числа, полученного от текущего epoch_hash.
Использовать nonce в качестве случайного числа для генерации входных данных EpochProgram.
Агрегировать R1CS и входные данные, соответствующие EpochProgram, для выполнения вычисления свидетеля.
Преобразуйте всех свидетелей в последовательность листовых узлов дерева Меркла.
Вычислить корень Меркла и преобразовать его в proof_target решения, проверить, соответствует ли он требованиям текущей эпохи.
В одном и том же эпохе можно обновлять входные данные EpochProgram многократными вычислениями решения, итеративно изменяя счетчик.
Влияние обновления алгоритма
После этого обновления puzzle изменился с генерации proof на генерацию witness, логика вычислений всех решений в каждом эпохе остается согласованной, но логика вычислений в разных эпохах значительно различается. Новый алгоритм отвергает MSM и NTT вычисления из предыдущей версии, что может повлиять на существующие стратегии оптимизации GPU. В то же время, поскольку процесс генерации witness включает выполнение программы, изменяющейся с эпохами, в которой могут существовать некоторые зависимости между инструкциями, реализовать параллелизацию может быть довольно сложно.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
11 Лайков
Награда
11
14
Репост
Поделиться
комментарий
0/400
GateUser-fea06f41
· 2ч назад
Доказательства знаний о мячах не работают.
Посмотреть ОригиналОтветить0
010Strategy
· 2ч назад
Ваш ответ меня сильно напугал! Скажите, у вас есть Спот Aleo?
Посмотреть ОригиналОтветить0
Подробнее
IgorXV
· 3ч назад
А где все деньги на проект?
Ответить0
BagHolderTillRetire
· 5ч назад
Теперь конфиденциальность действительно является потребностью
Aleo запускает тестовую сеть Блокчейн с конфиденциальностью, возглавляя революцию нулевых знаний в Web3
Aleo: Блокчейн проект, ведущий революцию в области конфиденциальности Web3
Aleo — это проект Блокчейн, посвященный защите конфиденциальности, его основная технология основана на нулевых знаниях (ZKP) и направлена на достижение более высокого уровня конфиденциальности и масштабируемости. Основная идея проекта заключается в том, чтобы пользователи могли осуществлять проверку личности и обработку данных, не раскрывая личную информацию.
Обзор проекта
Приватность
Ядро технологии Aleo — это доказательства с нулевым разглашением, что позволяет выполнять транзакции и смарт-контракты с учетом защиты конфиденциальности. Подробности транзакций пользователей, такие как отправитель и сумма сделки, по умолчанию скрыты. Этот дизайн не только защищает конфиденциальность пользователей, но и позволяет при необходимости осуществлять выборочное раскрытие, что отлично подходит для развития децентрализованных финансовых приложений.
Основные компоненты Aleo включают:
Язык программирования Leo: адаптирован на основе языка Rust, специально разработан для создания приложений с нулевым знанием, снижая требования к знаниям криптографии для разработчиков.
snarkVM и snarkOS: snarkVM позволяет выполнять вычисления вне цепи, а в цепи лишь проверять результаты вычислений, что повышает эффективность. snarkOS обеспечивает безопасность данных и вычислений, а также позволяет выполнять функции без разрешения.
zkCloud: предоставляет безопасную, конфиденциальную среду для вычислений вне цепи, поддерживает программное взаимодействие между пользователями, организациями и децентрализованными автономными организациями.
Aleo также предоставляет интегрированную среду разработки и набор инструментов для разработки программного обеспечения, что позволяет разработчикам быстро писать и публиковать приложения. Кроме того, разработчики могут развертывать приложения в реестре программ Aleo без необходимости полагаться на третьи стороны, что снижает риск платформы.
Масштабируемость
Aleo использует оффлайн-обработку, где сначала вычисляется доказательство на устройстве пользователя, а затем только результат верификации загружается в Блокчейн. Этот подход значительно увеличивает скорость обработки транзакций и масштабируемость системы, избегая проблем с перегрузкой сети и высокими затратами.
механизм согласия
Aleo внедряет AleoBFT, это консенсусный механизм с гибридной архитектурой, который сочетает в себе мгновенную окончательность валидаторов и вычислительные мощности доказателей. AleoBFT не только повышает уровень децентрализации сети, но и усиливает производительность и безопасность.
Быстрая окончательность блока: AleoBFT обеспечивает немедленное подтверждение каждого блока после его создания, что повышает стабильность узлов и удобство для пользователей.
Децентрализованная защита: отделив производство блоков от генерации токенов, валидаторы отвечают за создание блоков, а доказатели выполняют вычисления доказательства, предотвращая монополизацию сети отдельными субъектами.
Механизм стимулов: валидаторы и доказатели делят блоковые награды; поощряют доказателей стать валидаторами через ставку токенов, тем самым повышая уровень децентрализации и вычислительной мощности сети.
Aleo позволяет разработчикам создавать приложения без ограничений по ресурсам, что особенно подходит для машинного обучения и других приложений, требующих длительного времени работы.
Последние достижения
Aleo запустит incentivized тестовую сеть 1 июля, вот некоторые важные последние новости:
ARC-100 голосование прошло: Предложение, касающееся соблюдения норм, блокировки средств в сети Aleo и мер безопасности, таких как задержка зачисления, было одобрено. Команда проводит финальные настройки.
Программа стимулов для валидаторов: Программа начнется 1 июля и нацелена на проверку нового механизма puzzle. Программа будет действовать до 15 июля, в течение которого будет распределено 1 миллион Aleo баллов в качестве награды.
Начальное предложение и обращающееся предложение: Начальное количество составляет 1,5 миллиарда токенов, начальное обращающееся предложение составляет около 10%. Эти токены в основном поступают из вознаграждений за задания (75 миллионов), которые будут распределены в течение первых шести месяцев, включая вознаграждения за ставки, выполнение валидаторов и валидацию узлов.
Сброс тестовой сети: Это последний сброс сети, после которого не будут добавляться новые функции, сеть будет аналогична основной сети. Сброс предназначен для добавления новых функций и обновления механизма головоломки.
Заморозка кода: Заморозка кода была завершена неделю назад.
План расширения узлов верификации: Начальное количество узлов верификации составляет 15, цель - увеличить их до 50 в течение года и в конечном итоге достичь 500. Чтобы стать делегатом, требуется 10 000 токенов, чтобы стать верификатором, требуется 10 000 000 токенов, эти суммы будут постепенно уменьшаться с течением времени.
Анализ алгоритма Synthesis Puzzle
Ядро алгоритма последней версии Aleo называется Synthesis Puzzle, и его основная идея заключается в том, чтобы фиксировать общее EpochProgram, создаваемое для каждого эпохи, создавая R1CS доказательную цепь для входных данных и EpochProgram, получая соответствующее R1CS присвоение (то есть свидетельство) и используя его в качестве листового узла Меркле-дерева. После вычисления всех листовых узлов генерируется корень Меркле и преобразуется в proof_target для решения.
Подробный процесс создания Synthesis Puzzle выглядит следующим образом:
Каждое вычисление puzzle называется nonce и строится на основе адреса, получающего вознаграждение за майнинг, epoch_hash и случайного числа counter.
В каждом эпохе все провайдеры вычисляют один и тот же EpochProgram, который выбирается из набора инструкций на основе случайного числа, полученного от текущего epoch_hash.
Использовать nonce в качестве случайного числа для генерации входных данных EpochProgram.
Агрегировать R1CS и входные данные, соответствующие EpochProgram, для выполнения вычисления свидетеля.
Преобразуйте всех свидетелей в последовательность листовых узлов дерева Меркла.
Вычислить корень Меркла и преобразовать его в proof_target решения, проверить, соответствует ли он требованиям текущей эпохи.
В одном и том же эпохе можно обновлять входные данные EpochProgram многократными вычислениями решения, итеративно изменяя счетчик.
Влияние обновления алгоритма
После этого обновления puzzle изменился с генерации proof на генерацию witness, логика вычислений всех решений в каждом эпохе остается согласованной, но логика вычислений в разных эпохах значительно различается. Новый алгоритм отвергает MSM и NTT вычисления из предыдущей версии, что может повлиять на существующие стратегии оптимизации GPU. В то же время, поскольку процесс генерации witness включает выполнение программы, изменяющейся с эпохами, в которой могут существовать некоторые зависимости между инструкциями, реализовать параллелизацию может быть довольно сложно.