Aleo ведет революцию в области приватных вычислений Web3, запуская стимулирующую Тестовая сеть

##Aleo: Ведущий новую эру приватных вычислений в Web3

Aleo — это проект блокчейна, сосредоточенный на защите конфиденциальности, который использует технологии нулевых знаний (ZKP) для достижения более высокой степени конфиденциальности и масштабируемости. Его основная идея заключается в том, чтобы позволить пользователям проводить аутентификацию и обработку данных без раскрытия личной информации.

###Обзор проекта

Ядром Aleo является технология доказательства с нулевыми знаниями (ZKPs), которая позволяет выполнять транзакции и смарт-контракты с защитой конфиденциальности. Детали транзакций пользователей по умолчанию скрыты, при этом допускается выборочное раскрытие при необходимости, что делает ее очень подходящей для развития приложений DeFi.

Основные компоненты включают:

1. Язык программирования Leo: основан на Rust, специально разработан для создания приложений с нулевым знанием (ZKApps), снижает требования к знаниям криптографии для разработчиков.

2. snarkVM и snarkOS: snarkVM позволяет выполнять вычисления вне цепи, на цепи только проверяется результат, что повышает эффективность. snarkOS обеспечивает безопасность данных и вычислений и поддерживает выполнение без разрешений.

3. zkCloud: предлагает безопасную и конфиденциальную среду для вычислений вне цепочки, поддерживает программное взаимодействие между пользователями, организациями и DAO.

Aleo также предоставляет интегрированную среду разработки (IDE) и комплект средств разработки (SDK), поддерживающие разработчиков в быстрой разработке и публикации приложений. Разработчики могут напрямую развертывать приложения в реестре программ Aleo, что снижает риски платформы.

###Масштабируемость

Aleo использует оффчейн-метод обработки, где сначала доказательство вычисляется на устройстве пользователя, а затем только результат верификации загружается в блокчейн. Этот метод значительно повышает скорость обработки транзакций и масштабируемость системы, избегая проблем с перегрузкой сети и высокими затратами.

###Механизм согласия

Aleo внедрил AleoBFT, который является консенсусным механизмом с гибридной архитектурой, сочетающим мгновенную окончательность валидаторов и вычислительные возможности доказателей. AleoBFT повышает степень децентрализации сети, улучшая производительность и безопасность.

1. Быстрая финальность блоков: AleoBFT гарантирует, что каждый сгенерированный блок немедленно подтверждается, что повышает стабильность узлов и улучшает пользовательский опыт.

2. Децентрализованная защита: отделяя производство блоков от генерации coinbase, валидаторы отвечают за создание блоков, а доказатели выполняют вычисления доказательства, предотвращая монополизацию сети отдельными сущностями.

3. Механизм стимулов: валидаторы и доказатели делят блоковые вознаграждения; поощряют доказателей становиться валидаторами через ставку токенов, повышая степень децентрализации сети и вычислительную мощность.

Aleo позволяет разработчикам создавать приложения, не подлежащие ограничениям по газу, поэтому они особенно подходят для таких приложений, как машинное обучение, которые требуют длительного времени выполнения.

###Последние новости

Aleo начнет тестирование стимулирующей сети 1 июля, вот некоторые важные последние новости:

1. Голосование по ARC-100 прошло: предложение, касающееся соблюдения норм, блокировки средств в сети и мер безопасности, таких как задержка зачисления, было одобрено, команда проводит окончательные корректировки.

2. Программа поощрения валидаторов: в период с 1 по 15 июля будет распределено 1 миллион Aleo баллов в качестве награды. Процент баллов, генерируемых узлом, определит его долю в награде, каждый валидатор должен заработать минимум 100 токенов, чтобы получить награду.

3. Предложение токенов: начальное предложение составляет 1,5 миллиарда токенов, начальное обращение составляет около 10%. Эти токены в основном поступают от задания Coinbase (7500万), которое будет распределено в течение первых шести месяцев, включая вознаграждения за стейкинг, работу валидаторов и проверку узлов.

4. Сброс тестовой сети Beta: это последний сброс сети, после завершения которого новые функции добавлены не будут, сеть будет похожа на основную.

5. Заморозка кода: завершена неделю назад.

6. План расширения узлов проверки: начальное количество узлов проверки составляет 15, цель - увеличить его до 50 в течение года, а в конечном итоге достичь 500. Чтобы стать делегатом, необходимо 10 000 токенов, чтобы стать узлом проверки, нужно 10 миллионов токенов; эти суммы будут постепенно уменьшаться со временем.

###Анализ алгоритма Synthesis Puzzle

Ядро алгоритма puzzle последней версии Aleo называется Synthesis Puzzle, его основные характеристики следующие:

1. Каждый эпоха фиксированно создает общую EpochProgram.

2. Построив R1CS доказательную схему для входа и EpochProgram, создается соответствующее R1CS назначение (, то есть свидетели ).

3. Используйте свидетеля в качестве листового узла дерева Меркла, чтобы вычислить корень Меркла и преобразовать его в proof_target решения.

4. Каждое вычисление задачи называется nonce и строится из адреса, получающего вознаграждение за майнинг, epoch_hash и случайного числа counter.

5. EpochProgram генерирует случайное число, используя текущий epoch_hash, выбирая из набора инструкций.

6. Использовать nonce в качестве семени случайных чисел для генерации входных данных EpochProgram.

7. После вычисления свидетельства преобразуйте в последовательность листовых узлов Меркле-дерева, построив K-ари Меркле-дерево с глубиной 8.

8. Рассчитайте корень Меркла и преобразуйте его в proof_target, чтобы определить, соответствует ли он текущему эпохальному latest_proof_target.

9. Если условия выполнены, отправьте решение и распространите его.

Это обновление изменяет процесс от генерации доказательства к генерации свидетеля в puzzle, логика вычисления решения в каждом эпохе остается согласованной, но логика вычислений между различными эпохами значительно отличается. Новый алгоритм отказался от ранее используемых расчетов MSM и NTT, в то же время, из-за наличия последовательных зависимостей в процессе генерации свидетелей, реализация параллелизации сталкивается с большими вызовами.

В общем, Aleo с помощью этого инновационного алгоритма further укрепила свои позиции в области вычислений с конфиденциальностью Web3, заложив прочный фундамент для будущего развития.