Это полная карта экосистемы ZK. Помнишь, как RWA несколько раз отвергали в мейнстриме, пока это не стало реальностью для всех в этом году, 2025? ZK сделает то же самое. ДОБАВЬ ЭТО В ЗАКЛАДКИ. Ты вернешься к этому, когда ZK станет мейнстримом в 2026 году. (Существует 125 проектов)
1. ZK Rollups и zkEVM L2s ZkSync @zksync: Совместимый с Ethereum zkEVM роллап, использующий доказательства на основе PLONK для обеспечения дешевых и быстрых транзакций при наследовании безопасности Ethereum. Starknet @Starknet: Роллап общего назначения, использующий доказательства STARK и виртуальную машину Cairo для масштабируемых, проверяемых вычислений на Ethereum. Polygon zkEVM @0xPolygon: Роллап ZK, эквивалентный EVM, который выполняет существующие контракты Ethereum с проверкой доказательства ZK на Ethereum. Scroll @Scroll_ZKP: Роллап типа 3 zkEVM, построенный для высокой безопасности и прозрачности с совместимостью на уровне байт-кода с Ethereum. Linea @LineaBuild: Роллап ConsenSys zkEVM, интегрированный в стек MetaMask и Infura для масштабирования dapps Ethereum. Taiko @taikoxyz: zkRollup, построенный как Type-1 zkEVM с разрешенными предложениями и доказателями. Manta Pacific @MantaNetwork: Модульный L2, который сочетает доказательства ZK с безопасностью Ethereum для конфиденциальных DeFi и случаев использования идентификации. ZKFair @ZKFCommunity: Сообществом запущенный роллап zkEVM, построенный на Polygon CDK и Celestia DA. Loopring @loopringorg: Обмен и платежный уровень на основе zk-rollup, сосредоточенный на высокопроизводительной торговле по ордербуку и переводах. zkLink Nova @zkLink_Official: Аггрегированный роллап, использующий доказательства ZK для объединения ликвидности и аккаунтов через несколько L2 и L1. Immutable zkEVM @Immutable: zkEVM, ориентированный на игры, построенный с использованием технологий Polygon. Kakarot @KakarotZkEvm: zkEVM, построенный на основе технологий Starknet, эмулирующий EVM в среде на основе Cairo. Miden @0xMiden: Роллап и виртуальная машина на основе STARK от Polygon, использующая модель доказательства конфиденциальности на стороне клиента для масштабируемого выполнения. Boba Network (в разработке) @bobanetwork: Мультичейновая платформа L2, исследующая доказательства на основе ZK как часть гибридного дизайна вычислений и масштабирования.
2. Специфические для приложений ZK Rollups dYdX v3 @dYdX: Перпетуум DEX, построенный на StarkEx ZK rollup для торговли с высоким кредитным плечом с оффчейн ордербуком и ончейн расчетами. Sorare @Sorare: Фэнтезийная спортивная NFT игра, использующая StarkEx ZK rollup для обработки крупномасштабной торговли NFT. Myria @Myria: Ориентированный на игры L2, использующий ZK rollups в стиле StarkEx для чеканки NFT и игровых экономик. zkLend @zkLend: Протокол денежного рынка, родной для Starknet, использующий ZK масштабирование для кредитования и заимствования. Ekubo @ekuboProtocol: Концентрированный ликвидный AMM на Starknet, предназначенный для того, чтобы стать основным слоем ликвидности для экосистемы. zkNoid @ZkNoid: Игровой хаб, создающий доказуемые ончейн игры в рекурсивной ZK среде Mina Protocol.
3. BTCFi ZK Rollups Citrea @citrea_xyz: ZK rollup в сети Bitcoin, который стремится обеспечить выполнение в стиле EVM с доказательствами действительности, привязанными к BTC. Intmax @intmaxIO: Дизайн статeless ZK rollup для конфиденциальности L2 с высокой масштабируемостью и эффективностью, публикуя доказательства в существующие сети, такие как Ethereum или Bitcoin.
4. ZK-Privacy L1s Aleo @AleoHQ: L1 с приоритетом на конфиденциальность, где все приложения написаны на языке Leo и компилируются в доказательства с нулевым разглашением для частного выполнения. Mina Protocol @MinaProtocol: Ультралегкий L1, где вся цепочка представлена постоянным размером zkSNARK, так что каждый пользователь может проверить её с помощью телефона. Aztec Network @aztecnetwork: Роллап на основе ZK для конфиденциальности и программируемый L2 для зашифрованного DeFi. Aleph Zero @Aleph__Zero: L1, который сочетает консенсус на основе DAG с уровнем конфиденциальности ZK для частных смарт-контрактов. Anoma @anoma: Протокол на основе намерений, использующий передовые ZK-технологии для частного бартерного обмена, сопоставления и расчетов. Namada @namada: Цепочка с доказательством доли, предлагающая защищенный пул с множеством активов для совместной конфиденциальности между различными токенами. Penumbra @penumbrazone: Цепочка конфиденциальности на основе Cosmos, позволяющая частное стекинг и торговлю на DEX с использованием доказательств с нулевым разглашением. Iron Fish @ironfishcrypto: L1 с приоритетом на конфиденциальность, где все транзакции по умолчанию защищены с использованием доказательств с нулевым разглашением. Hyli @hyli_org: Стек блокчейна ZK, созданный для проверяемых приложений и модульной инфраструктуры с нулевым разглашением. ZkCloud @thezkcloud: Сеть общих провайдеров L1, предлагающая генерацию ZK-доказательств в качестве базового сервиса. Singularity @singularityzk: Цепочка на основе ZK, разработанная для институционального DeFi с встроенными ограничениями и проверками рисков, подтвержденными в цепях. Dusk Network @DuskFoundation: Конфиденциальный L1, сосредоточенный на регулируемом финансировании и токенах безопасности с инструментами соблюдения норм на основе нулевого разглашения. Oasis Network @OasisProtocol: L1 с поддержкой конфиденциальности, который сочетает конфиденциальные вычисления и инструменты, совместимые с ZK, для частного DeFi и рынков данных.
5. Проекты ZK-Приватности Zcash @Zcash: Приватная монета, использующая zkSNARKs для обеспечения защищенных транзакций, где суммы и адреса могут быть скрыты, но все же проверены. Monero @monero: Проект, ориентированный на приватность, использующий кольцевые подписи, скрытые адреса и конфиденциальные транзакции для сокрытия отправителей и сумм. Railgun @RAILGUN_Project: Протокол приватности с активностью DeFi в защищенных балансах, ZK-доказательствах и инструментах доказательства невиновности. Beam @beamprivacy: Приватная монета на основе Mimblewimble с возможностью аудита по желанию и конфиденциальными активами. Firo @firoorg: Валюта, ориентированная на приватность, использующая Lelantus и ZK-доказательства в стиле Lelantus Spark для анонимных транзакций. Pirate Chain @PirateChain: Защищенный проект, ориентированный на приватность, использующий zkSNARKs для каждой транзакции. Secret Network @SecretNetwork: Цепочка на основе Cosmos, построенная на криптографии TEE для выполнения зашифрованных смарт-контрактов и частного DeFi. Horizen @horizenglobal: Приложенческая цепочка, которая защищает сайдчейны с помощью ZK-доказательств и позволяет создавать приложения, сохраняющие приватность.
6. ZK-FHE L2s Fhenix @fhenix: Ethereum L2 для конфиденциальных смарт-контрактов с использованием FHE, с моделью выполнения в стиле fhEVM и концепцией сопроцессора FHE. Inco Network @inconetwork: Универсальный слой конфиденциальности, который использует FHE для обеспечения приватного выполнения по умолчанию и гарантий конфиденциальности между цепями. Mind Network @mindnetwork_xyz: Слой Zero Trust на основе FHE, который сочетает повторное стекингование, зашифрованные данные и рабочие нагрузки AI. Octra @octra: L1, родной для FHE, нацеленный на предоставление приватных смарт-контрактов и конфиденциальной обработки данных на базовом уровне. PrivaSea @privasea: Сеть FHEML / FHEDePIN для зашифрованного вывода AI, идентичности на основе FHE (FheID) и конфиденциальных потоков данных. Zama @zama: Компания FHE, стоящая за fhEVM (совместимое с EVM выполнение FHE), библиотеками и инструментами FHE. Используется для конфиденциальной дорожной карты Shibarium и других стеков EVM. Sunscreen @SunscreenTech: Компилятор FHE и SDK, который позволяет разработчикам писать приложения FHE на языках более высокого уровня и компилировать их в схемы.
7. ZK Копроцессоры Brevis @brevis_zk: ZK копроцессор, который считывает исторические данные на блокчейне между цепями, выполняет программируемые запросы и возвращает сжатые доказательства контрактам. Axiom @axiom_xyz: Ethereum ZK копроцессор, который доказывает утверждения о историческом состоянии и логах и передает проверенные результаты в контракты. Lagrange @lagrangedev: Кроссчейн ZK копроцессор и система легкого клиента с гибридной архитектурой ZK плюс оптимистичная для масштабируемых доказательств состояния. Herodotus @HerodotusDev: Уровень доступа к данным, предоставляющий ZK доказательства хранения, позволяющий контрактам проверять историческое состояние Ethereum и роллапов. ORA @OraProtocol: Программируемая zkOracle и zkIndexing сеть, которая выполняет оффчейн вычисления и AI, а затем отправляет ZK-проверенные результаты на блокчейн. Marlin @MarlinProtocol: Протокол проверяемых вычислений, который использует TEE и ZK-основанные копроцессоры для минимизированных по доверию оффчейн вычислений. VLayer @vlayer_xyz: Доверительная проверяемая инфраструктура данных, которая использует ZK доказательства для подтверждения корректности оффчейн данных. Space and Time @spaceandtime: ZK копроцессор для SQL с Доказательством SQL, zk SNARK, который доказывает, что как запрос, так и используемые данные были корректны.
8. Сети и оборудование проверов Succinct @SuccinctLabs: Высокопроизводительная zkVM и децентрализованная сеть проверов, которая позволяет разработчикам рассматривать ZK-проверку как вызов API. Risc Zero @RiscZero: Сеть проверов на основе RISC-V и Bonsai zkVM, которая может проверять общий код на Rust и верифицировать его в блокчейне. Cysic @cysic_zk: Сеть генерации доказательств с аппаратным ускорением, строящая GPU и ASIC, оптимизированные для ZK-рабочих нагрузок. Ingonyama @Ingo_zk: Компания по производству аппаратного и программного обеспечения ZK, известная ICICLE и другими ускорителями на основе GPU для систем доказательства SNARK и STARK. =Nil; Foundation | @nil_foundation: Лаборатория ZK-технологий, разрабатывающая zkLLVM, системы доказательств и рынок доказательств для приложений с большим объемом данных. Delphinus Lab @DelphinusLab: ZK-среда для доказательства выполнения программ WebAssembly (ZKWASM), чтобы существующий код можно было верифицировать в цепях.
9. ZK Виртуальные Машины (ZkVMs) Risc Zero zkVM @RiscZero: Универсальная zkVM, которая моделирует машину RISC-V, чтобы обеспечить возможность доказательства многих существующих программ без использования пользовательских схем. SP1 zkVM @SuccinctLabs: Высокопроизводительная zkVM, ориентированная на скорость и удобство для разработчиков программ на Rust. Powdr Labs @powdr_labs: Набор инструментов и стек компиляторов для создания пользовательских zkVM и систем доказательства. zkWASM @DelphinusLab: zkVM для WebAssembly, которая преобразует программы WASM в ZK проверяемые трассировки выполнения. zkLLVM @nil_foundation: Компиляторный инструментальный набор, который преобразует LLVM IR в схемы, чтобы многие языки могли быть скомпилированы в ZK доказательства.
10. ZK Машинное Обучение (ZKML) и Проверяемый ИИ Modulus @ModulusZK: ZKML лаборатория, строящая схемы и инфраструктуру, чтобы модели машинного обучения и торговые боты могли быть доказаны и проверены в блокчейне. Giza @gizatechxyz: Платформа ZKML, интегрированная со Starknet, которая позволяет разработчикам развертывать проверяемые модели ИИ. EZKL @ezklxyz: Набор инструментов, который превращает модели PyTorch в ZK схемы и генерирует доказательства для проверки машинного обучения в блокчейне. Sentient @SentientAGI: Экономика AGI, построенная сообществом, которая координирует модели, данные и агентов через Sentient GRID. Allora Network @AlloraNetwork: Сеть ИИ, где модели машинного обучения предоставляют прогнозы и оценивают друг друга. Использует zkML (через Polyhedra). Ritual @ritualnet: Децентрализованный уровень выполнения ИИ / L1, выполняющий рабочие нагрузки в блокчейне, с проверяемым выводом и крипто-нативными стимулами. OpenMind @openmind_agi: Операционная система и уровень координации для интеллектуальных роботов. Inference Labs @inference_labs: Создание Сети Проверяемого Вывода с Нулевым Знанием (ZK-VIN) и протокола "Доказательство Вывода". Gensyn @gensynai: Вычислительная сеть для обучения моделей машинного обучения, использующая основанный на блокчейне уровень проверки для доказательства глубокого обучения. Mind Network @mindnetwork_xyz: FHE повторное ставление + зашифрованный уровень данных для рабочих нагрузок ИИ. Chainlink @chainlink: Внеблокчейн оракул, основанный на проверяемых вычислениях для задач, выполняемых оракульными сетями.
11. ZK-Идентичность и Аттестации Privado ID @PrivadoID: Платформа идентичности с нулевым раскрытием, которая позволяет пользователям подтверждать свои утверждения, не раскрывая исходные данные. World @worldcoin: Глобальный протокол подтверждения личности, который использует ZK-доказательства и Semaphore для подтверждения уникальности, скрывая биометрические данные. PSE @PrivacyEthereum: Только что создан OpenAC для стандартизации идентичности с нулевым раскрытием. zkPass @zkPass: Протокол, который использует zkTLS, чтобы помочь пользователям подтверждать информацию о данных Web2, не раскрывая пароли или документы. zkMe @zkme_: Сеть ZK-KYC и удостоверений, где пользователи конфиденциально подтверждают атрибуты соответствия для dapps и бирж. zCloak Network @zcloaknetwork: Платформа ZK-доказательства как услуги для проверки идентичности и данных. Human Passport @HumnPassport: Система идентичности и штампов, которая использует ZK-системы для защиты от Sybil-атак и контроля доступа.
12. ZK DeFi Миксеры Railgun @RAILGUN_Project: Протокол конфиденциальности с деятельностью DeFi в защищенных балансах, ZK доказательства и инструменты доказательства невиновности. DarkFi Squad @DarkFiSquad: Анонимная платформа DeFi, использующая ZK криптографию для частных контрактов и координации. Shade Protocol @Shade_Protocol: Частный набор DeFi, созданный для частных обменов, кредитования и стейблкоинов. Hinkal @hinkal_protocol: Движок конфиденциальности, маршрутизирующий деятельность DeFi через защищенные ZK смарт-контракты.
13. ZK Интероперабельность Polyhedra @PolyhedraZK: мост на основе ZK и система доказательства состояния, которая проверяет кроссчейн-сообщения и переводы активов с помощью сжатых доказательств. Orbiter Finance @Orbiter_Finance: мост между роллапами, оптимизированный для быстрых переводов L2 на L2 с безопасностью, унаследованной от основных роллапов. Union @union_build: протокол в стиле IBC с поддержкой ZK, который объединяет сети и позволяет минимизировать доверие в кроссчейн-сообщениях. Polymer Labs @Polymer_Labs: маршрутизатор IBC, который использует ZK и верификацию в стиле легкого клиента для кроссчейн-соединений. ChainSafe @ChainSafeth: провайдер инфраструктуры, реализующий мосты, осведомленные о ZK, и легкие клиенты в качестве услуг. Owlto Finance @Owlto_Finance: мост между роллапами, который соединяет несколько ZK и оптимистичных роллапов.
14. ZK Кошельки Ready @ready_co: Умный контрактный кошелек, глубоко интегрированный в Starknet и zkSync, скрывающий сложность и обеспечивающий самоуправление. Braavos @myBraavos: Умный контрактный кошелек для Starknet с функциями абстракции аккаунта. Zashi @zashi_app: Защищенный кошелек для Zcash с простым использованием приватных транзакций и мобильным UX. Loopring @loopringorg: Кошелек для платежного слоя на основе zk-rollup.
15. Языки и библиотеки для цепей Noir @NoirLang: Язык высокого уровня, похожий на Rust, для написания портативных цепей с нулевым знанием. Используется, среди прочих, @aztecnetwork. Cairo @CairoLang: Язык и виртуальная машина, совместимые с STARK, используемые для написания доказуемых программ для Starknet. Halo2 @Zcash: Система доказательства и библиотека Plonkish, которая поддерживает пользовательские ворота и выборки для эффективного проектирования цепей. Plonky2 @0xPolygon: Система доказательства, дружелюбная к рекурсии, которая сочетает арифметику в стиле PLONK с обязательствами в стиле FRI. gnark @Consensys: Библиотека Go для построения и проверки цепей zkSNARK с несколькими поддерживаемыми схемами. snarkjs @identhree: Инструментальная цепочка JavaScript для генерации и проверки доказательств zkSNARK в браузере и Node. Circomlib @identhree: Стандартная библиотека повторно используемых цепей Circom для хешей, подписей и общих примитивов. iden3 @identhree: Язык специального назначения для построения арифметических цепей и ограничений R1CS для zkSNARK.
17. ZK Модульность Celestia @celestia: Модульный слой доступности данных, используемый многими роллапами, включая ZK роллапы, для масштабируемой публикации данных. EigenDA @eigenlayer: Сервис доступности данных, построенный на EigenCloud, используемый командами ZK роллапов. Avail @AvailProject: Автономная цепочка доступности данных, используемая ZK роллапами. EthStorage @EthStorage: Хранилище L2, которое может размещать данные и доказательства роллапов. AltLayer @alt_layer: Платформа роллапов как услуги. Caldera @Calderaxyz: Провайдер инфраструктуры роллапов, который позволяет запускать пользовательские роллапы с ZK или оптимистичными системами доказательств. Zeeve @0xZeeve: Платформа корпоративной блокчейн-инфраструктуры, которая может размещать и управлять развертываниями ZK роллапов. Gateway FM @gateway_eth: Сервис инфраструктуры роллапов для запуска специализированных роллапов, включая ZK варианты. Stackr @0xStackr: Фреймворк микро-роллапов, часто комбинируемый с ZK доказательствами для легковесных специализированных цепочек. Nym @nym: Микснет и система удостоверений, созданная для продвинутой конфиденциальности и ZK идентичности. Origin @origin_trail: Граф знаний для проверяемого происхождения данных и готовых к ИИ активов знаний, подающих входные данные в ZK цепи или ZKML.
Тегирую Чадов, чтобы они это проверили: @thesaint_ @andrewmoh @0xCheeezzyyyy @satyaki44 @cryptorinweb3 @poopmandefi @Eli5defi @cchungccc @DOLAK1NG @chilla_ct @thelearningpill @twindoges @YashasEdu @Only1temmy @Adebiyi_Diamond @rektdiomedes @splinter0n @belizardd @MercyDeGreat @Defi_Warhol
11,83K