Aleo: Новое прорыв в области защиты конфиденциальности Блокчейн
Aleo это проект Блокчейн, посвященный защите конфиденциальности, который с помощью технологии нулевых знаний (ZKP) достиг более высокого уровня конфиденциальности и масштабируемости. Основная идея проекта заключается в том, чтобы пользователи могли осуществлять проверку личности и обработку данных, защищая при этом свои личные данные.
Обзор проекта
Приватность
Основой Aleo являются технологии нулевых знаний (ZKPs), которые позволяют проводить транзакции и выполнять смарт-контракты с защитой конфиденциальности. Детали транзакций пользователей, такие как отправитель и сумма, по умолчанию скрыты. Этот подход не только защищает конфиденциальность пользователей, но и позволяет при необходимости осуществлять выборочное раскрытие, что особенно подходит для развития DeFi-приложений. Основные компоненты включают:
Язык программирования Leo: адаптирован на основе Rust, специально предназначен для разработки нулевых знаний (ZKApps), снижая требования к знаниям криптографии для разработчиков.
snarkVM и snarkOS: snarkVM позволяет выполнять вычисления вне цепи, а на цепи только проверять результаты, что повышает эффективность. snarkOS обеспечивает безопасность данных и вычислений, а также поддерживает выполнение без разрешений.
zkCloud: предоставляет безопасную, конфиденциальную среду для вычислений вне цепи, поддерживает программное взаимодействие между пользователями, организациями и DAO.
Aleo также предоставляет интегрированную среду разработки (IDE) и пакет средств разработки (SDK), поддерживая разработчиков в быстром написании и публикации приложений. Разработчики могут развертывать приложения в реестре программ Aleo, не полагаясь на третьих лиц, что снижает риски платформы.
Масштабируемость
Aleo использует off-chain обработку, где сначала доказательство вычисляется на устройстве пользователя, а затем загружается только результат проверки в Блокчейн. Этот подход значительно увеличивает скорость обработки транзакций и масштабируемость системы, избегая проблем, связанных с congested сетью и высокими затратами, как в случае с Ethereum.
МеханизмConsensus
Aleo внедрил AleoBFT, это гибридный архитектурный механизм консенсуса, который сочетает в себе мгновенную окончательность валидаторов и вычислительную способность доказателей. AleoBFT не только повышает степень децентрализации сети, но и усиливает производительность и безопасность.
Быстрая окончательность блока: AleoBFT гарантирует, что каждый блок подтверждается сразу после его генерации, что повышает стабильность узлов и улучшает пользовательский опыт.
Децентрализованная защита: разделяя производство блоков и генерацию coinbase, валидаторы отвечают за создание блоков, а свидетели выполняют вычисления доказательства, предотвращая монополию немногих сущностей в сети.
Механизм стимулов: валидаторы и доказатели делят награды за блоки; поощряют доказателей стать валидаторами, ставя токены, тем самым повышая степень децентрализации и вычислительную мощность сети.
Aleo позволяет разработчикам создавать приложения, не подверженные ограничениям по газу, поэтому они особенно подходят для машинного обучения и других приложений, требующих длительного выполнения.
Последние новости
Aleo планирует запустить тестовую сеть с вознаграждением 1 июля, вот некоторые важные последние новости:
Предложение ARC-100 принято: это предложение касается вопросов соблюдения законодательства, блокировки средств в сети и мер безопасности, таких как задержка зачисления, в настоящее время команда проводит окончательные корректировки.
Программа стимулов для валидаторов: начнется 1 июля и направлена на проверку новой механики puzzle. Программа будет действовать до 15 июля, в течение которого будет распределено 1 миллион Aleo баллов в качестве вознаграждения.
Предложение токенов: начальное количество составляет 1,5 миллиарда токенов, начальное обращаемое предложение составляет примерно 10%(, будет определено). Эти токены в основном поступают от задания Coinbase(7500 тысяч), будут распределены в течение первых шести месяцев, включая вознаграждения за стекинг, работу валидаторов и валидацию узлов.
Тестовая сеть Бета сброс: это последний сброс сети, после завершения не будут добавлены новые функции, сеть будет похожа на основную.
Заморозка кода: завершена неделю назад.
План расширения узлов верификации: начальное количество узлов верификации составляет 15, цель - увеличить их до 50 в течение года и в конечном итоге достичь 500. Для того чтобы стать делегатом, требуется 10 000 токенов, для того чтобы стать верификатором, требуется 10 000 000 токенов, эти суммы будут постепенно уменьшаться со временем.
Анализ алгоритма Synthesis Puzzle
Aleo недавно обновил алгоритм puzzle, новый алгоритм больше не сосредоточен на генерации результатов zk proof, а акцентируется на генерации промежуточных данных witness до создания proof. Ниже приведено краткое введение в новый алгоритм:
Процесс консенсуса
Prover вычисляет пазы, строит решения и транслирует их в сеть.
Аггрегация транзакций валидатора и решение для нового блока, обеспечивая, что количество решений не превышает лимит консенсуса.
Законность решения необходимо проверять на соответствие epoch_hash, proof_target требованиям сети, а также на соответствие количества решений в блоке установленным ограничениям.
Эффективное решение может получить награду за консенсус.
Ядро механики Synthesis Puzzle
Каждый epoch фиксированно генерирует один EpochProgram, который используется всеми prover.
Каждый расчет puzzle называется nonce и состоит из адреса, получающего вознаграждение за майнинг, epoch_hash и случайного числа counter.
EpochProgram генерирует случайное число из текущего epoch_hash, выбирая из набора инструкций.
Используйте nonce в качестве случайного семени для генерации входных данных EpochProgram.
Агрегируйте R1CS и входные данные, соответствующие EpochProgram, для вычисления свидетельства.
После вычисления всех свидетелей, преобразуйте их в последовательность листовых узлов меркл-дерева.
Вычислите меркл-корень и преобразуйте его в proof_target решения, проверьте, соответствует ли он требованиям текущего эпохи.
Если требования выполнены, то отправьте решение и распространите его.
Это обновление изменяет puzzle с генерации proof на генерацию witness. Логика вычисления решения в каждом эпохе остается неизменной, но между разными эпохами существуют значительные различия. Новый алгоритм отказался от предыдущей оптимизации GPU для вычислений MSM и NTT, и поскольку в процессе генерации witness существуют зависимости последовательного выполнения, реализация параллелизации сталкивается с серьезными проблемами.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
10 Лайков
Награда
10
7
Поделиться
комментарий
0/400
Cfrs2020
· 18ч назад
#ALEO# Вы совсем не смотрите объявления? В августе время подтверждения блока arc6 уменьшилось на 90%, вступает в силу ARC5 9 сентября, комиссия за транзакцию снизилась на 90%. Мы прокладываем путь для экосистемы.
Посмотреть ОригиналОтветить0
0xTherapist
· 18ч назад
Частность — это свобода
Посмотреть ОригиналОтветить0
tokenomics_truther
· 18ч назад
Приватность — это производительность
Посмотреть ОригиналОтветить0
LuoGeMade1MillionDo
· 18ч назад
隐私лидер公链aleo
Посмотреть ОригиналОтветить0
SchroedingerAirdrop
· 18ч назад
Инфраструктура конфиденциальности требует, чтобы кто-то занимался ею.
Существенное обновление Aleo в области приватного Блокчейна: анализ алгоритма Synthesis Puzzle и запуск Тестовой сети.
Aleo: Новое прорыв в области защиты конфиденциальности Блокчейн
Aleo это проект Блокчейн, посвященный защите конфиденциальности, который с помощью технологии нулевых знаний (ZKP) достиг более высокого уровня конфиденциальности и масштабируемости. Основная идея проекта заключается в том, чтобы пользователи могли осуществлять проверку личности и обработку данных, защищая при этом свои личные данные.
Обзор проекта
Приватность
Основой Aleo являются технологии нулевых знаний (ZKPs), которые позволяют проводить транзакции и выполнять смарт-контракты с защитой конфиденциальности. Детали транзакций пользователей, такие как отправитель и сумма, по умолчанию скрыты. Этот подход не только защищает конфиденциальность пользователей, но и позволяет при необходимости осуществлять выборочное раскрытие, что особенно подходит для развития DeFi-приложений. Основные компоненты включают:
Язык программирования Leo: адаптирован на основе Rust, специально предназначен для разработки нулевых знаний (ZKApps), снижая требования к знаниям криптографии для разработчиков.
snarkVM и snarkOS: snarkVM позволяет выполнять вычисления вне цепи, а на цепи только проверять результаты, что повышает эффективность. snarkOS обеспечивает безопасность данных и вычислений, а также поддерживает выполнение без разрешений.
zkCloud: предоставляет безопасную, конфиденциальную среду для вычислений вне цепи, поддерживает программное взаимодействие между пользователями, организациями и DAO.
Aleo также предоставляет интегрированную среду разработки (IDE) и пакет средств разработки (SDK), поддерживая разработчиков в быстром написании и публикации приложений. Разработчики могут развертывать приложения в реестре программ Aleo, не полагаясь на третьих лиц, что снижает риски платформы.
Масштабируемость
Aleo использует off-chain обработку, где сначала доказательство вычисляется на устройстве пользователя, а затем загружается только результат проверки в Блокчейн. Этот подход значительно увеличивает скорость обработки транзакций и масштабируемость системы, избегая проблем, связанных с congested сетью и высокими затратами, как в случае с Ethereum.
МеханизмConsensus
Aleo внедрил AleoBFT, это гибридный архитектурный механизм консенсуса, который сочетает в себе мгновенную окончательность валидаторов и вычислительную способность доказателей. AleoBFT не только повышает степень децентрализации сети, но и усиливает производительность и безопасность.
Быстрая окончательность блока: AleoBFT гарантирует, что каждый блок подтверждается сразу после его генерации, что повышает стабильность узлов и улучшает пользовательский опыт.
Децентрализованная защита: разделяя производство блоков и генерацию coinbase, валидаторы отвечают за создание блоков, а свидетели выполняют вычисления доказательства, предотвращая монополию немногих сущностей в сети.
Механизм стимулов: валидаторы и доказатели делят награды за блоки; поощряют доказателей стать валидаторами, ставя токены, тем самым повышая степень децентрализации и вычислительную мощность сети.
Aleo позволяет разработчикам создавать приложения, не подверженные ограничениям по газу, поэтому они особенно подходят для машинного обучения и других приложений, требующих длительного выполнения.
Последние новости
Aleo планирует запустить тестовую сеть с вознаграждением 1 июля, вот некоторые важные последние новости:
Предложение ARC-100 принято: это предложение касается вопросов соблюдения законодательства, блокировки средств в сети и мер безопасности, таких как задержка зачисления, в настоящее время команда проводит окончательные корректировки.
Программа стимулов для валидаторов: начнется 1 июля и направлена на проверку новой механики puzzle. Программа будет действовать до 15 июля, в течение которого будет распределено 1 миллион Aleo баллов в качестве вознаграждения.
Предложение токенов: начальное количество составляет 1,5 миллиарда токенов, начальное обращаемое предложение составляет примерно 10%(, будет определено). Эти токены в основном поступают от задания Coinbase(7500 тысяч), будут распределены в течение первых шести месяцев, включая вознаграждения за стекинг, работу валидаторов и валидацию узлов.
Тестовая сеть Бета сброс: это последний сброс сети, после завершения не будут добавлены новые функции, сеть будет похожа на основную.
Заморозка кода: завершена неделю назад.
План расширения узлов верификации: начальное количество узлов верификации составляет 15, цель - увеличить их до 50 в течение года и в конечном итоге достичь 500. Для того чтобы стать делегатом, требуется 10 000 токенов, для того чтобы стать верификатором, требуется 10 000 000 токенов, эти суммы будут постепенно уменьшаться со временем.
Анализ алгоритма Synthesis Puzzle
Aleo недавно обновил алгоритм puzzle, новый алгоритм больше не сосредоточен на генерации результатов zk proof, а акцентируется на генерации промежуточных данных witness до создания proof. Ниже приведено краткое введение в новый алгоритм:
Процесс консенсуса
Prover вычисляет пазы, строит решения и транслирует их в сеть.
Аггрегация транзакций валидатора и решение для нового блока, обеспечивая, что количество решений не превышает лимит консенсуса.
Законность решения необходимо проверять на соответствие epoch_hash, proof_target требованиям сети, а также на соответствие количества решений в блоке установленным ограничениям.
Эффективное решение может получить награду за консенсус.
Ядро механики Synthesis Puzzle
Каждый epoch фиксированно генерирует один EpochProgram, который используется всеми prover.
Каждый расчет puzzle называется nonce и состоит из адреса, получающего вознаграждение за майнинг, epoch_hash и случайного числа counter.
EpochProgram генерирует случайное число из текущего epoch_hash, выбирая из набора инструкций.
Используйте nonce в качестве случайного семени для генерации входных данных EpochProgram.
Агрегируйте R1CS и входные данные, соответствующие EpochProgram, для вычисления свидетельства.
После вычисления всех свидетелей, преобразуйте их в последовательность листовых узлов меркл-дерева.
Вычислите меркл-корень и преобразуйте его в proof_target решения, проверьте, соответствует ли он требованиям текущего эпохи.
Если требования выполнены, то отправьте решение и распространите его.
Это обновление изменяет puzzle с генерации proof на генерацию witness. Логика вычисления решения в каждом эпохе остается неизменной, но между разными эпохами существуют значительные различия. Новый алгоритм отказался от предыдущей оптимизации GPU для вычислений MSM и NTT, и поскольку в процессе генерации witness существуют зависимости последовательного выполнения, реализация параллелизации сталкивается с серьезными проблемами.