Лидер революции в области конфиденциальности на основе блокчейна: интерпретация новейшего алгоритма Aleo

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

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

Ознакомьтесь с новейшим алгоритмом

Сеть Aleo случайным образом генерирует схему ZK каждый час; майнерам необходимо попробовать разные одноразовые числа в качестве входных данных схемы в течение этого часа, вычислить свидетеля (то есть все переменные в схеме, этот процесс вычисления также называется синтезом), и после нахождения корня Меркла свидетеля определить, соответствует ли он требованиям сложности майнинга. Из-за случайности схемы этот алгоритм майнинга не дружелюбен к графическим процессорам и имеет большие трудности в вычислительном ускорении.

Финансирование Предыстория

Aleo завершил раунд серии A на $28 миллионов, возглавляемый a16z в 2021 году, и раунд серии B на $200 миллионов в 2024 году с инвесторами, включая Kora Management, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Slow Ventures и Samsung Next. Этот раунд финансирования довел оценку Aleos до $1,45 миллиарда.

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

Конфиденциальность

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

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

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

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

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

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

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

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

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

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

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

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

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

Текущий прогресс

Aleo запустит свою стимулированную тестовую сеть 1 июля. Вот некоторые важные обновления:

• Голосование по ARC-100 прошло: Голосование по ARC-100 (предложение «Лучшие практики соответствия для разработчиков и операторов Aleo», которое охватывает аспекты соответствия, блокировку и задержку средств в сети Aleo и другие меры безопасности) закрыто и прошло. Команда вносит окончательные коррективы.

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

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

• Testnet Beta Reset: Это последний сетевой сброс, никаких новых функций после завершения не будет добавлено, сеть будет похожа на mainnet. Сброс должен добавить ARC-41 и новые функции головоломки.

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

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

Интерпретация обновления алгоритма

Aleo недавно объявил о последних новостях тестнета и обновил последнюю версию алгоритма головоломки. Новый алгоритм больше не фокусируется на генерации результатов доказательств zk, удаляет расчет MSM и NTT (оба являются модулями расчета, широко используемыми в zk для генерации доказательств. Ранее участники тестнета оптимизировали эффективность алгоритма для увеличения доходов от майнинга), и фокусируется на генерации промежуточных данных-свидетелей перед генерацией доказательств. Мы дадим краткое введение в последний алгоритм после ссылки на официальный головоломка спецификация и код.

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

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

1. Prover вычисляет головоломку, строит решения и транслирует их в сеть

2. Валидатор объединяет транзакции и решения в следующий новый блок, гарантируя, что количество решений не превысит консенсусный лимит (MAX_SOLUTIONS)

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

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

Синтез Головоломки

Ядро последней версии алгоритма называется Synthesis Puzzle. Его ядро заключается в создании общей EpochProgram для каждой эпохи и создании соответствующего назначения R 1 CS (упомянутого всеми свидетеля) в качестве листового узла дерева Меркла путем построения схемы доказательства R 1 CS для входных данных и EpochProgram. После вычисления всех листовых узлов корень Меркла генерируется и преобразуется в proof_target решения. Подробный процесс и спецификации для построения Synthesis Puzzle следующие:

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

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

• Набор инструкций фиксирован. Каждая инструкция содержит одну или несколько вычислительных операций. Каждая инструкция имеет предустановленный вес и количество операций.

• При выборке генерируется случайное число в соответствии с текущим epoch_hash. В соответствии со случайным числом инструкции берутся из набора инструкций в сочетании с весом и располагаются в последовательности. Выборка останавливается после того, как кумулятивное количество операций достигает 97.

• Группируйте все инструкции в EpochProgram

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

4. Объедините R 1 CS и входные данные, соответствующие EpochProgram, и выполните расчет свидетеля (назначение R 1 CS)

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

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

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

Изменения и последствия добычи полезных ископаемых

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

Из предыдущей тестовой сети мы можем обнаружить, что многие методы оптимизации фокусируются на использовании GPU для оптимизации вычислений MSM и NTT на этапе генерации доказательств для повышения эффективности майнинга. Это обновление полностью отказывается от этой части вычислений; в то же время, поскольку процесс генерации свидетелей генерируется путем выполнения программы, которая меняется с эпохой, инструкции в ней будут иметь некоторые зависимости последовательного выполнения, поэтому довольно сложно добиться распараллеливания.

Эта статья взята из интернета: Лидерство в революции конфиденциальности блокчейна: интерпретация новейшего алгоритма Aleo

По теме: Воронка финансирования Solana: почему Rug Puller теряет деньги?

Оригинальный автор: CertiK Вечером 13 мая 2024 года команда CertiK обнаружила подозрительный адрес в цепочке Solana: 9ZmcRsXnoqE47NfGxBrWKSXtpy8zzKR847BWz6EswEaU (далее именуемый Xiaojiu) С 12 по 13 мая Xiaojiu инициировал около 64 перетягиваний ковра в цепочке, по одному каждые несколько минут. Менее чем за 24 часа Xiaojiu потерял в общей сложности 272 SOL на сумму около $45 900. 01 Высокие инвестиции и низкая доходность: раскрытие методов работы Xiaojiu Так как же Xiaojiu это сделал? Давайте возьмем в качестве примера последний мем TWS, развернутый Xiaojiu. В 4:05 UTC 13 мая Xiaojiu отчеканил 99 999 999 TWS. В 13:18 Xiaojiu развернул пул ликвидности TWS/SOL на Raydium, внедрив 98 999 999,99 TWS и 1 SOL; затем он немедленно использовал 4 SOL, чтобы вытащить рынок. В 13:22, 4 минуты спустя, Xiaojiu…