Aleo: Инновационный проект Блокчейн с приватностью и масштабируемостью

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

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

Приватность

Ядро Aleo — это технология доказательства с нулевым разглашением, которая позволяет проводить транзакции и выполнять смарт-контракты с соблюдением конфиденциальности. Подробности транзакций пользователей по умолчанию скрыты, при этом допускается выборочное раскрытие при необходимости, что делает её очень подходящей для развития DeFi приложений. Основные компоненты включают:

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

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

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

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

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

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

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

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

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

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

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

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

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

Aleo запустит тестовую сеть с вознаграждением 1 июля, вот некоторая важная актуальная информация:

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

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

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

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

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

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

Обновление алгоритма Synthesis Puzzle

Aleo недавно обновил последнюю версию алгоритма puzzle, который теперь не акцентирует внимание на генерации результатов zk proof, а сосредоточен на создании промежуточных данных witness перед генерацией proof.

Процесс консенсуса

1. Вычислитель вычисляет puzzle, создает решения и транслирует их в сеть.

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

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

4. Эффективное решение может получить вознаграждение за консенсус.

Основной процесс Synthesis Puzzle

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

2. В каждом эпохе все вычислители в сети должны вычислить один и тот же EpochProgram, который выбирается из набора инструкций на основе случайного числа, сгенерированного текущим epoch_hash.

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

4. Объедините R1CS и входные данные, соответствующие EpochProgram, для выполнения вычисления свидетелей.

5. Рассчитайте все свидетельства, затем преобразуйте их в последовательность листовых узлов меркле-дерева.

6. Вычислите корень Меркла и преобразуйте его в proof_target решения, проверьте, соответствует ли он latest_proof_target текущей эпохи.

7. В одном и том же эпохе можно выполнять несколько расчетов решения, обновляя входные данные EpochProgram с помощью итерационного счетчика.

Это обновление изменяет процесс генерации proof на генерацию witness для puzzle. Логика вычисления всех решений в каждом epoch остается一致ой, но между различными epoch логика вычислений значительно отличается. Новый алгоритм отказывается от предыдущих вычислений MSM и NTT, и поскольку процесс генерации witness имеет некоторые зависимости в последовательном выполнении, реализация параллелизации представляет собой определенную проблему.