Aleo Network: L1-блокчейн с ZK-майнером

Aleo Network — это L1-блокчейн, где данные и вычисления по умолчанию приватны, а публичность — осознанный выбор разработчика. Mainnet запущен 18 сентября 2024 года с начальной эмиссией 1,5 миллиарда токенов ALEO. Проект привлёк $298 миллионов инвестиций от Andreessen Horowitz, SoftBank и Tiger Global при оценке $1,45 миллиарда.

В классических сетях узлы исполняют транзакции и видят все данные. В Aleo идея другая: узлы проверяют доказательство того, что вычисление выполнено правильно, не видя входы и выходы в открытом виде. Это становится возможным благодаря zero-knowledge доказательствам (ZK-proofs).

Чтобы сеть была живой и масштабировалась по вычислениям, Aleo разделяет роли: валидаторы дают консенсус и финализацию (PoS + BFT), пруверы дают «полезную работу» (PoSW Coinbase Puzzle) и наращивают ZK-мощность, делегаторы приносят стейк валидаторам.

Что именно «ломает» Aleo по сравнению с классическими блокчейнами

Проблема прозрачности

В большинстве L1/L2 данные транзакций и состояние смарт-контрактов наблюдаемы. Если ты пишешь dApp, любая логика «кто сколько кому», «кто что купил», «какие у кого параметры» — всё в публичном реестре. Приватность приходится «достраивать» костылями: миксеры, off-chain базы, шифрование на уровне приложения. И почти всегда это ухудшает UX и безопасность.

Проблема исполнения

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

Главная инженерная идея: «Verify, don’t re-execute»

Aleo ближе по духу к ZK-роллапам, но это не роллап, а L1, где ZK встроен как базовый механизм.

Пользователь / кошелёк / клиент
  ├─ выполняет программу локально (или в доверенном окружении)
  ├─ генерирует ZK-доказательство корректности
  └─ отправляет транзакцию: (доказательство + коммитменты + шифртекст)

Сеть (валидаторы)
  ├─ проверяет доказательство
  ├─ обновляет публичные коммитменты/корни деревьев
  └─ финализирует блок через AleoBFT

Интуитивно это как «контракт-чёрный ящик»: сеть знает, что ты не мухлевал, но не видит, что именно ты считал внутри.

Модель данных Aleo: почему Records — это центр вселенной

Accounts: какие ключи есть у пользователя

В Aleo аккаунт — это три вещи: Account private key (подписывает транзакции и даёт право тратить записи), Account view key (расшифровывает записи — читает приватное состояние), Account address (публичный идентификатор, на который отправляют записи).

Практический смысл: можно дать аудитору view key (он увидит всё), но не дать право тратить. Это отдельный класс UX/комплаенса, которого обычно нет в «просто кошельках».

Record: что внутри

Record — фундаментальная структура для активов и состояния приложения. У записи есть owner (адрес владельца, кто может потратить), data (произвольные поля, каждое может быть public или private), nonce («уникализатор» записи).

Главная идея: приватные поля шифруются, и в блокчейне лежит ciphertext. Сеть видит, что «что-то корректно произошло», но не видит содержимое.

Sender ciphertext (обновление 2025)

В snarkOS v4.0.0 (июль 2025) записи получили возможность нести зашифрованные данные об отправителе, которые может расшифровать только получатель с помощью своего view key. Это важный компромисс: приватность остаётся, но появляется «нормальная бухгалтерия» для случаев, где получатель должен знать отправителя (например, бизнес-платежи).

Public vs Private state

Aleo не заставляет делать всё приватным. Приватное состояние — через records (UTXO-подобная модель). Публичное состояние — через mappings (таблицы key-value, как в Ethereum).

Это не «или-или», а гибрид: можно держать приватные детали, но публиковать агрегаты/итоги. Классический пример — голосование: приватный выбор, публичный подсчёт.

Aleo Credits: деньги внутри протокола

В Aleo «родной токен» описывается как Aleo Credits, а дробная единица — microcredits.

Приватный баланс

Приватные кредиты представлены записью credits в программе credits.aleo:

record credits:
    owner as address.private;
    microcredits as u64.private;

Баланс пользователя = сумма всех непотраченных credits-records, принадлежащих адресу.

Публичный баланс

Публичный баланс хранится в mapping:

mapping account:
    key owner as address.public;
    value microcredits as u64.public;

Aleo умеет «как Zcash» (приватные UTXO-стиль записи) и «как Ethereum» (публичные аккаунты) одновременно — и даже конвертировать состояние между режимами.

Как исполняются программы: Leo → доказательство → блок

Шаг 1: разработчик пишет программу

Разработчик пишет контракт/программу на Leo. Leo даёт типы, модификаторы public/private, работу с records и mappings, async/await модель для on-chain обновлений.

Шаг 2: компиляция

Пайплайн: Leo → Aleo Instructions → байткод AVM. Aleo Instructions — это точка, где «обычный код» превращается в то, что можно выразить как ограничения (constraints) для zkSNARK.

Шаг 3: локальное исполнение (off-chain)

Пользователь (или провайдер) выполняет программу локально: подставляет входные данные, выбирает нужные input records, получает выходы (новые records, публичные изменения, события), формирует witness (внутренние значения для доказательства), строит zk-доказательство.

ZK-доказательство — это «квитанция от математики», что ты честно выполнил программу и не жульничал, даже если никто не видел твои числа.

Шаг 4: формирование транзакции

Транзакция в Aleo — контейнер, который может содержать несколько transitions. Основные типы: Execute (вызов функции программы), Deploy (публикация новой программы в сеть), Fee (уплата комиссии).

Шаг 5: отправка в сеть

Транзакция уходит в P2P, попадает в мемпул/очередь валидаторов.

Шаг 6: валидаторы проверяют и включают

Валидатор проверяет подпись/авторизацию, проверяет, что входные записи можно потратить (нет двойной траты), проверяет zk-proof, применяет изменения состояния (records/mappings), участвует в консенсусе и финализирует блок.

Весь технологический стек Aleo (слоями)

Язык и дев-инструменты

Leo — высокоуровневый язык для ZK-программ (похож по духу на «Rust-like для ZK»). Локальные инструменты сборки, тестирования, деплоя и выполнения программ.

Виртуальная машина и криптобиблиотеки

Aleo VM / snarkVM — сердце: типы данных, инструкции, генерация/проверка доказательств, криптопримитивы, формат транзакций.

Узлы и сеть

snarkOS — нода (валидатор/прувер/клиент), сетевой слой, мемпул, синхронизация, участие в консенсусе. В Q3 2025 вышли три крупных релиза: snarkOS v4.0.0 (sender ciphertext, ARC-46), v4.1.0 (обновляемость программ по ARC-6), v4.2.0 (приоритетные комиссии по ARC-5 со снижением базовых затрат на ~90%).

Инфраструктура экосистемы

SDK, кошельки (Leo Wallet с 200 000+ пользователей), эксплореры (Provable Explorer), индексаторы, провайдеры RPC, proving-мощности, staking-платформы.

Криптография Aleo: что скрывается и что остаётся публичным

Что скрывается

Приватные поля records (шифртекст на леджере), приватные входы/выходы вычисления, иногда даже часть логики (в терминах «что именно ты доказал» видно только по публичным выходам/коммитментам).

Что остаётся публичным

Доказательство (proof) и коммитменты (commitments), корни деревьев/хэши состояния, метаданные транзакции (в зависимости от формата), публичные поля и finalize-изменения (если программа их использует).

Почему сеть может доверять «не видя данных»

Потому что ZK-доказательство — это математически проверяемый объект: если оно валидно, значит вычисление было выполнено корректно относительно правил схемы/контракта.

Varuna: proving-движок Aleo

Что такое Varuna

Varuna — proving-система (семейство zkSNARK), которую Aleo использует для доказательств программ и транзакций. Ключевые свойства: рассчитана на универсальную настройку (universal setup) — не нужно проводить отдельную «trusted setup церемонию» под каждый новый контракт; ориентирована на композицию/агрегацию доказательств (что критично, когда транзакция состоит из нескольких переходов).

Batch proving и «склейка» вычислений

Когда у тебя не одна маленькая схема, а набор схем/переходов, выгоднее агрегировать доказательства или доказывать пакет вычислений так, чтобы проверка для сети была дешевле. Смысл batch-подхода — «меньше проверок на блок, больше смысла на одну проверку».

Криптопримитивы

В Aleo-стеке используется BLS12-377 (в контексте setup и proving-архитектуры). В Aleo VM есть инструкции для ZK-дружелюбных хэшей (например, Poseidon-варианты) и для стандартных SHA-3. Poseidon проектировали специально под «дешевизну в схемах», а это напрямую влияет на стоимость proving.

Trusted setup в Aleo: что «доверяем», а что — нет

Почему setup вообще существует

Некоторые SNARK-конструкции требуют начальные параметры (SRS/CRS). Риск «toxic waste» — если кто-то сохранил секретные параметры, можно теоретически подделывать доказательства.

Что делает Aleo

Aleo провела большую MPC-церемонию настройки (универсальную) в августе 2021 года с участием более 2 200 участников со всего мира — больше, чем в церемонии Tornado Cash (1 114 участников). Ключевая гарантия безопасности: если хотя бы один участник честен и корректно уничтожил свой вклад, вся церемония безопасна. Параметры также являются updatable — могут быть расширены новыми участниками без аннулирования существующих.

Универсальная настройка означает, что экосистема не превращается в ад «по setup на каждый контракт».

Консенсус AleoBFT: как сеть договаривается о состоянии

AleoBFT — это не Nakamoto-консенсус

AleoBFT — BFT-подобный консенсус с финализацией, вдохновлённый современными DAG-подходами: Narwhal как высокопроизводительный mempool-слой, Bullshark-style упорядочивание/финализация поверх DAG.

Фишка DAG-подхода: сеть может параллельно распространять данные и при этом достигать согласованного порядка без того, чтобы каждый блок был «узким горлышком одного лидера».

Почему это хорошо сочетается с приватными транзакциями

Сеть не хочет тащить «тонны данных» внутри блоков: ей выгоднее тащить компактные доказательства, а консенсус должен быстро согласовывать именно это.

Мгновенная финальность

AleoBFT даёт instant finality: когда блок согласован комитетом валидаторов, он финален — не как в PoW, где «ещё N подтверждений, чтобы стало надёжно». Форки исключены на уровне протокола.

Максимум валидаторов

В сети Aleo максимальное количество валидаторов ограничено 200 для баланса между децентрализацией и эффективностью сети. Увеличение числа валидаторов повышает сложность коммуникации (O(n)), что удлиняет время генерации блоков.

Роли участников сети

Валидаторы

Производят/финализируют блоки через AleoBFT, включают решения пруверов, получают награды и комиссии. Требования: минимум 10 000 000 ALEO total stake для участия в активном наборе. Self-bond минимум — 100 ALEO. Оборудование: 32-64 ядра CPU, 64-128 ГБ RAM, 2-4 ТБ NVMe SSD, 500+ Мбит/с сеть.

Стейкеры/Делегаторы

Делегируют токены валидаторам, чтобы те имели вес в консенсусе, получают пропорциональную долю наград. Минимум для делегирования — 10 000 ALEO. Для держателей меньшего количества доступен liquid staking (Pondo Protocol, BetaStaking).

Пруверы (ZK-майнеры)

Генерируют решения Coinbase Puzzle (PoSW), используя CPU/GPU/ASIC, получают часть coinbase-вознаграждения. Пруверы не делают блоки. Они дают доказательства и получают за это экономический стимул. Это специально разведённые роли.

Система майнинга: PoSW и Coinbase Puzzle

Что такое PoSW (Proof-of-Succinct Work)

PoSW — это «работа», которая похожа на внутренние вычисления zkSNARK (например, тяжёлые операции FFT/MSM, нужные для доказательств). Смысл в том, что сеть поощряет ускорение proving-вычислений, а не бессмысленное хеширование «как в PoW».

Coinbase Puzzle: механика задачи

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

Жизненный цикл прувера

Прувер узнаёт актуальные параметры puzzle (эпоха/таргет). Гоняет вычисления на железе (CPU/GPU/ASIC), чтобы найти валидное решение. Формирует криптографическое доказательство/решение (SNARK-proof, соответствующий puzzle-условиям). Отправляет решения в сеть. Валидаторы проверяют решения (дёшево) и включают в блоки. Вознаграждение распределяется между пруверами пропорционально их вкладу (числу валидных решений).

Распределение наград

Пруверы отдают 1/3 награды за coinbase-решение валидаторам, чтобы у валидаторов был прямой стимул включать эти решения. Это «инженерно-прагматичная» штука: ты не просишь валидаторов быть альтруистами — ты им платишь.

Почему это не Proof-of-Work

В PoW «работа» (хеш-гриндинг) почти не имеет полезного внешнего эффекта. В PoSW Aleo работа «приближена» к тем вычислениям, которые экосистема всё равно будет делать для ZK-приложений: сеть стимулирует развитие proving-мощности и оптимизаций. Электричество всё равно тратится — чудес не бывает. Просто смысл работы более «прикладной».

Оборудование для майнинга

GPU-майнинг: NVIDIA RTX 3090/3080 Ti — бюджетный вариант для входа, но уступает специализированному железу. ASIC-майнеры (появились в 2024): IceRiver ALEO AE0 (60 Mh/s, 100W), Goldshell AE BOX II (54 Mh/s, 530W), Goldshell AE MAX II (500-700 Mh/s). С августа 2025 после ARC-46 эффективность оборудования напрямую зависит от объёма застейканных ALEO. Крупнейшие пулы: F2Pool, ZK.Work, WhalePool, Apool.

ARC-46: пруверы превращаются в стейкеров (август 2025)

С 31 июля 2025 года активирован ARC-46 — механизм, требующий от пруверов стейкинга для отправки решений. Это фундаментальное изменение превратило Aleo из чистого PoW в гибридную модель PoS + PoW.

Требования

Начальное требование: 100 000 ALEO на одно решение в эпоху. Если прувер хочет отправить 2 решения за эпоху — нужно застейкать 200 000 ALEO. Требования растут квартально: к концу двухлетнего периода (июль 2027) потребуется 2 500 000 ALEO на решение.

Зачем это нужно

Sybil-устойчивость: дорого создавать множество идентичностей для спама решениями. BFT-безопасность: цель — чтобы пруверы застейкали минимум 33% от total supply к 2027 году. Экономическое выравнивание: заработанные токены возвращаются в сеть через стейкинг.

Практические последствия

По оценке F2Pool, для полной утилизации 1 GH/s хэшрейта нужно застейкать около 4 800 ALEO (на Q0 требований). Незастейканный хэшрейт становится бесполезным после апгрейда. Пулы (F2Pool, WhalePool) приостановили автоматические выплаты, чтобы майнеры могли накопить балансы для стейкинга.

Стейкинг и делегирование

Минимум для делегирования

Для нативного делегирования минимум составляет 10 000 ALEO. Если у пользователя меньше — доступны liquid staking решения (Pondo Protocol, BetaStaking).

Правила unbonding

Таймлок на unbonding составляет 360 блоков (~1 час) перед возвратом стейка.

Условия для валидаторов

Минимальный self-bond валидатора — 100 ALEO. Минимум total stake для активного набора — 10 000 000 ALEO. Валидатор автоматически исключается из активного набора при падении total stake ниже порога.

Slashing

Слэшинг на данный момент не активирован.

Текущий APY

По данным на Q3 2025, staking APY составляет около 10-15%, но снижается по мере роста объёма стейка в сети.

Токеномика ALEO

Начальная эмиссия и распределение

Начальная эмиссия при запуске — 1,5 млрд ALEO. Распределение: Early Backers / инвесторы — 34% (~510 млн), Grants & Education — 25% (~375 млн), Employees & Project Contributors — 17% (~255 млн), Aleo Network Foundation & Provable — 16% (~240 млн), Strategic Partners — 8% (~120 млн).

Вестинг

Все первоначальные аллокации имеют 1 год локапа с последующим 2-летним линейным вестингом. TGE (Token Generation Event): 18 сентября 2024. Первые крупные разблокировки: сентябрь 2025. Полный вестинг: ~сентябрь 2027.

Награды: валидаторы и пруверы

Изначально валидаторы получали фиксированную награду ~23 ALEO за блок. После ARC-42 (декабрь 2024) награда стала переменной — зависит от времени блока, чтобы стабилизировать инфляцию на уровне ~5% в год. Coinbase-награды для пруверов уменьшаются на 10% ежегодно до 9-го года, после чего фиксируются на минимальном уровне. Пруверы отдают 1/3 coinbase-награды валидаторам за включение решений.

Инфляция и рост предложения

Предложение растёт до ~2,6 млрд за 10 лет. Инфляция снижается со временем: ~12-13% в 1-й год → ~2% к 10-му году. ARC-42 (декабрь 2024) изменил базовую награду за блок с фиксированных 23,8 ALEO на переменную величину в зависимости от времени блока, чтобы стабилизировать инфляцию на уровне ~5% в год.

Финансирование и команда

Сооснователи

Aleo Systems основана в декабре 2019 года. Команда состоит из криптографов, инженеров и разработчиков мирового класса из Google, Amazon, Facebook и исследовательских университетов — UC Berkeley, Johns Hopkins, NYU, Cornell.

Howard Wu — основатель Aleo и CEO Provable. Соавтор протоколов ZEXE и DIZK — ключевых работ в области zero-knowledge proofs и эллиптической криптографии, которые были интегрированы в Ethereum, Zcash и Aleo. Образование: UC Berkeley (BA Applied Mathematics, BA Computer Science, MS EECS). Работал под руководством профессоров Alessandro Chiesa (сооснователь Zcash) и Dawn Song (IC3). Начал заниматься Bitcoin в 2011 году, контрибьютор криптографических библиотек Ethereum и Zcash.

Michael Beller — сооснователь, CFO. Бывший генеральный партнёр CoVenture (2014-2019).

Collin Chin — сооснователь, Chief Engineer. UC Berkeley EECS. Возглавляет разработку языка Leo. Ранее работал в ConsenSys (смарт-контракты), Gnosis (Developer Advocate), был техническим советником Blockchain at Berkeley.

Raymond Chu — сооснователь. UC Berkeley Computer Science. Ранее работал в IBM и Amazon (Software Engineering), был Software Project Manager в Blockchain at Berkeley.

Alex Pruden — исполнительный директор Aleo Network Foundation. Бывший сотрудник a16z, первый наёмный работник Aleo.

Научные советники

Alessandro Chiesa — профессор криптографии и теории вычислений UC Berkeley. Сооснователь Zcash и StarkWare. Соавтор протоколов Zerocash, ZEXE, LibraBFT. Именно протокол ZEXE (2020), расширивший идеи Zerocash на произвольные вычисления, стал теоретическим фундаментом Aleo. Научный руководитель Howard Wu в период его работы над ZEXE.

Matthew Green — профессор криптографии и безопасности Johns Hopkins University. Соавтор Zcash, один из разработчиков протокола Signal и участник проекта Tor. Специализируется на приватности и прикладной криптографии.

Раунды финансирования

Series A (апрель 2021): $28M. Раунд лидировал Andreessen Horowitz (a16z). Участники: Coinbase Ventures, Polychain Capital, Galaxy Digital, Variant Fund, Balaji Srinivasan (бывший CTO Coinbase).

Series B (февраль 2022): $200M, оценка $1,45B. Раунд лидировали SoftBank Vision Fund 2 и Kora Management LP. Участники: Tiger Global, Andreessen Horowitz (a16z), Samsung.

Extended Series B (февраль 2022): $70M. Раунд лидировал SoftBank Vision Fund 2. Участники: Samsung Next.

Итого привлечено: $298M.

Ключевые инвесторы

Tier-1: Andreessen Horowitz (a16z), Coinbase Ventures, Polychain Capital, Galaxy Digital, SoftBank Vision Fund 2, Tiger Global Management. Стратегические: Samsung NEXT, Sea Capital, Kora Management, Variant Fund. Ангельский инвестор: Balaji Srinivasan (бывший CTO Coinbase).

Текущее состояние сети (Q3-Q4 2025)

Общие метрики

Total Network Stake: ~1,39 млрд ALEO (рост 4,3% за Q3 2025). Staking ratio: ~70%+. Circulating market cap: ~$117,6 млн (рост 50,5% за Q3). Цена ALEO: ~$0,22 (рост 15,7% за Q3). Всего транзакций за Q3: ~3,3 млн. Среднее количество транзакций в день: ~36 130 (снижение 50,7% за Q3).

Приватные транзакции

Доля приватных транзакций достигла рекордных ~20% в Q3 2025 — рост с ~6% при запуске mainnet в сентябре 2024. Это сигнализирует о растущем принятии ZK-инфраструктуры Aleo.

Награды

За Q3 2025 распределено 65,6 млн ALEO: 34,4 млн в виде block rewards валидаторам, 31,2 млн в виде puzzle rewards пруверам. В среднем валидаторы получали 373 941 ALEO в день, пруверы — 338 451 ALEO в день.

Ключевые обновления 2025

ARC-42 (декабрь 2024): переменная награда за блок для стабилизации инфляции. ARC-46 (июль 2025): стейкинг для пруверов. ARC-5 (Q3 2025): снижение комиссий за исполнение на 90%. ARC-6 (Q3 2025): обновляемость программ (program upgradability). ARC-101: стандарты для валидаторов. ARC-102: модель zPass.

Aleo vs классические PoS/PoW

В отличие от Proof-of-Stake сетей

В обычном PoS валидаторы = консенсус + выполнение/проверка транзакций, майнинга нет, есть только стейкинг.

В Aleo валидаторы = консенсус (AleoBFT) + проверка доказательств, пруверы = отдельный рынок вычислений (PoSW), который масштабирует proving-мощность сети.

Aleo — это PoS-консенсус + отдельный «compute-рынок», встроенный в протокол.

В отличие от Proof-of-Work

В PoW работа определяет право на блоки, работа «одноразовая» и в основном бессмысленная вне добычи.

В Aleo блоки финализируются BFT-валидаторами, PoSW-работа оплачивается как стимулирование ZK-ускорения, и сама задача ближе к «полезной крипто-работе».

Сравнение Aleo и Zcash

Аспект	Zcash	Aleo
Тип приватности	Приватность для платежей/транзакций ZEC (shielded pool)	Программируемая приватность: приватные приложения и вычисления
Система доказательств	Groth16 (Sapling) → Halo2 (Orchard)	Varuna (Marlin-style / универсальный подход)
Trusted setup	Groth16 требовал setup под конкретные схемы; Halo2/Orchard устраняет trusted setup	Универсальная настройка для всей сети
Смарт-контракты	Нет полноценной модели «любой dApp» на L1	Полная поддержка программ (Leo/VM)
Доля приватных транзакций	Приватность опциональна; исторически ~6% shielded, сейчас растёт с Orchard	~20% приватных транзакций (Q3 2025), приватность — default-мышление
Консенсус	PoW (Equihash)	PoS (AleoBFT) + PoSW для пруверов

Что это значит

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

---

Экосистема и use cases

Стейблкоины

USAD (Paxos Labs) — запущен в октябре 2025 года, но пока все на уровне тестов (в продакшене нет). Первый приватный USD-стейблкоин на L1-блокчейне с поддержкой смарт-контрактов. Paxos Labs (часть Paxos, эмитента PYUSD и Global Dollar) обеспечивает выпуск и резервы институционального уровня. USAD шифрует адреса кошельков и суммы транзакций end-to-end, решая главную проблему публичных блокчейнов для бизнеса — прозрачность зарплат, платежей поставщикам и казначейских операций. При этом владельцы могут селективно раскрывать данные для аудита и комплаенса.

USDCx (Circle) — запущен в тестнете в декабре 2025, mainnet ожидается к концу января 2026. Приватная версия USDC через инфраструктуру Circle xReserve. Полностью обеспечен USDC, хранящимся в xReserve, с бесшовной кроссчейн-интероперабельностью через Circle CCTP и Gateway — без сторонних мостов. USDCx предлагает «банковский уровень приватности»: транзакции зашифрованы, но каждая содержит compliance record, доступный Circle по запросу регуляторов. Use cases: глобальный пейролл, распределение помощи, P2P-переводы, e-commerce без раскрытия бизнес-аналитики.

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

DeFi

Arcane Finance (DEX), AlphaSwap (AMM), Shadow Finance (ликвидность), Pondo Protocol (liquid staking с токеном pALEO).

Идентификация

zPass — приватная верификация: доказательство гражданства, возраста, соответствия санкционным спискам без раскрытия документов. Партнёрства с Humine (клинические исследования), Common Sense Media (детская безопасность Bandio).

Платежи

Request Finance — первый приватный крипто-пейролл для компаний уровня Deloitte. Global Dollar Network — консорциум под руководством Paxos для распространения USDG, Aleo — партнёр сети.

Инфраструктура

Leo Wallet (200 000+ пользователей), Verulink (мост ETH/USDC/USDT), интеграция с Revolut (листинг для UK и EEA в августе 2025).

Партнёрства

Google Cloud — валидаторная нода, One-Click Node Deployment в маркетплейсе, интеграция данных Aleo в BigQuery. Binance Alpha — расширение дистрибуции ALEO. Worldpay — интеграция платёжной инфраструктуры.

Тонкие места и честные ограничения Aleo

Стоимость proving на клиенте

Если доказательство должно родиться до отправки транзакции, где-то должна быть вычислительная мощность. Это повышает требования к кошелькам/клиентам и рождает рынок proving-сервисов (и вопросы доверия/делегирования).

Риски централизации

PoSW может со временем стимулировать специализированное железо (ASIC-тренды). Стейк валидаторов может концентрироваться. ARC-46 добавляет капитальные требования для пруверов, что может выдавить мелких участников.

Приватность ≠ невидимость всего

Даже в ZK-системах остаются публичные метаданные и экономические следы. Сильная приватность — это не только криптография, но и UX, и культура использования.

Регуляторные риски

После осуждения разработчиков Tornado Cash и Samourai Wallet приватные протоколы находятся под усиленным вниманием. Aleo делает ставку на selective disclosure и viewing keys — возможность доказать комплаенс без полного раскрытия данных.

Рыночные риски

Токен упал с ATH ~$8,00 (сентябрь 2024) до ~$0,10 (Q4 2025). Крупные разблокировки токенов начались в сентябре 2025 и продолжатся до 2027 года.

Что отслеживать

Динамику Staked % и концентрацию стейка у топ-валидаторов. Эволюцию proving-рынка: число пруверов, целевые параметры puzzles, влияние ARC-46 на децентрализацию. Долю приватных транзакций (ключевой индикатор принятия ZK-инфраструктуры). Изменения токеномики/эмиссии через governance. Апдейты AleoBFT/VM/инструкций и производительности proving.