Aleo: Новое направление в области приватного блокчейна

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

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

Приватность

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1. Голосование по ARC-100 прошло успешно, команда проводит окончательные настройки.

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

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

4. Тестовая сеть Beta завершила последнюю перезагрузку сети, добавлены ARC-41 и новая функция головоломки.

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

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

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

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

1. Каждый эпоха генерирует общую EpochProgram.

2. Используйте nonce(, состоящий из адреса вознаграждения за майнинг, epoch_hash и случайного числа counter) в качестве входных данных.

3. На основе EpochProgram и входных данных построить R1CS доказательство электрической цепи и сгенерировать свидетельство.

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

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

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

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