Aleo: Инновационный Блокчейн для защиты конфиденциальности и масштабируемости

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

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

Приватность

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

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

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

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

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

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

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

Механизм консенсуса

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

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

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

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

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

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

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

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

3. Начальные поставки и обращение: начальный объем поставки составляет 1,5 миллиарда токенов, начальное обращение составляет примерно 10%.

4. Сброс тестовой сети Beta: добавление ARC-41 и новой функции головоломки.

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

6. Расширение узлов верификации: начальные 15 узлов, цель - увеличить до 50 в течение года, в конечном итоге достичь 500 узлов.

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

Новый алгоритм больше не сосредоточен на генерации результатов zk proof, он убрал расчеты MSM и NTT и вместо этого сосредоточился на генерации свидетелей. Основной процесс:

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

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

3. Агрегировать R1CS и ввод, вычислить свидетельство.

4. Преобразовать witness в листья дерева Меркла.

5. Вычислить корень Меркла и преобразовать в proof_target.

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

Это обновление изменяет puzzle с генерации proof на генерацию witness, при этом логика расчета в каждом epoch согласована, но различия между разными epoch значительно. Новый алгоритм ставит перед оптимизацией для GPU определенные вызовы, и реализация параллелизации имеет определенные сложности.