Ось повна карта екосистеми ZK. Пам'ятаєте, що RWA неодноразово відмовляли у мейнстримі, аж поки цього року, 2025-го, це не стало реальністю для всіх? ZK зробить те саме. ЗБЕРЕЖІТЬ цей допис у закладки. Ви повернетеся до нього, коли ZK стане мейнстрімом у 2026 році. (Всього 125 проєктів)

1. ZK Rollups і zkEVMs L2 ZkSync @zksync: Ethereum-сумісний zkEVM rollup з використанням PLONK-proofs, що забезпечує дешеві та швидкі транзакції, успадковуючи безпеку Ethereum. Starknet @Starknet: універсальне згортання валідності з використанням STARK-proofs і каїрської віртуальної машини для масштабованих, доведених обчислень на Ethereum. Polygon zkEVM @0xPolygon: Еквівалентний EVM ZK-rollup, який виконує існуючі контракти Ethereum з перевіркою ZK proof на Ethereum. Scroll @Scroll_ZKP: Rollup Type-3 zkEVM, створений для високої безпеки та прозорості з сумісністю на рівні байткоду з Ethereum. Linea @LineaBuild: ConsenSys zkEVM rollup, інтегрований у стек MetaMask та Infura для масштабування Ethereum dapps. Taiko @taikoxyz: zkRollup, створений як Type-1 zkEVM з пропозиціями та дослідниками без дозволу. Manta Pacific @MantaNetwork: Модульний L2, який поєднує ZK-proofs із безпекою Ethereum для конфіденційності щодо DeFi та випадків використання ідентичності. ZKFair @ZKFCommunity: Спільнота запустила zkEVM rollup на базі Polygon CDK та Celestia DA. Loopring @loopringorg: Рівень обміну та платежів на основі zk-rollup, орієнтований на торгівлю та перекази з високопродуктивним ордербуком. zkLink Nova @zkLink_Official: агрегований rollup із використанням ZK proofs для об'єднання ліквідності та рахунків у кількох L2 і L1. Immutable zkEVM @Immutable: ZkEVM, орієнтований на ігри, створений на технології Polygon. Kakarot @KakarotZkEvm: zkEVM, побудований на базі технології Starknet, що емулює EVM у каїрському середовищі. Miden @0xMiden: Rollup і віртуальна машина на основі STARK від Polygon із моделлю підтвердження конфіденційності на стороні клієнта для масштабованого виконання. Boba Network (у розробці) @bobanetwork: мультиланцюгова платформа L2, що досліджує доказування на базі ZK як частину гібридного дизайну обчислень і масштабування.

2. ZK Rollups, специфічні для додатку dYdX v3 @dYdX: Perpetual DEX, побудований на StarkEx ZK rollup для торгівлі з високим кредитним плечем, з офчейн-портфелем ордерів і ончейн-розрахунками. Sorare @Sorare: Фентезі-спортивна NFT-гра з використанням StarkEx ZK rollup для масштабної торгівлі NFT. Myria @Myria: Орієнтований на ігри L2 з використанням ZK у стилі StarkEx для NFT-мінтів і внутрішньоігрових економік. zkLend @zkLend: Протокол грошового ринку, вбудований у Starknet, що використовує масштабування ZK для кредитування та запозичень. Ekubo @ekuboProtocol: Концентрована ліквідність AMM на Starknet, створена як основний рівень ліквідності для екосистеми. zkNoid @ZkNoid: Ігровий хаб, що створює доведені ончейн-ігри на рекурсивному середовищі ZK від Mina Protocol.

3. BTCFi ZK Rollups Citrea @citrea_xyz: Згортання ZK на мережі Bitcoin, яке має на меті запропонувати виконання в стилі EVM з доказами валідності, прив'язаними до BTC. Intmax @intmaxIO: Безстанний rollup ZK з приватністю L2 дизайну з високою масштабованістю та ефективністю, що підтверджує існуючі ланцюги, такі як Ethereum або Bitcoin.

4. ZK-Privacy L1s Aleo @AleoHQ: L1, орієнтований на конфіденційність, де всі додатки пишуться мовою Leo і компільовані у докази з нульовим розгадуванням для приватного виконання. Mina Protocol @MinaProtocol: Ultra-light L1, де весь ланцюг представлений zkSNARK постійного розміру, щоб кожен користувач міг перевірити його телефоном. Aztec Network @aztecnetwork: Консолідація конфіденційності на базі ZK та обчислення програмованого L2 для зашифрованого DeFi. Aleph Zero @Aleph__Zero: L1, який поєднує консенсус на основі DAG із шаром конфіденційності ZK для приватних смарт-контрактів. Anoma @anoma: Протокол, заснований на намірах, що використовує передові техніки ZK для приватного бартеру, підбору та врегулювання. Namada @namada: Ланцюг proof-of-stake, що пропонує мультиактивний захищений пул для спільної приватності на багатьох різних токенах. Penumbra @penumbrazone: Ланцюг приватності на основі Cosmos, що дозволяє приватний стейкінг і торгівлю DEX за допомогою доказів з нульовим розголошенням. Iron Fish @ironfishcrypto: L1, орієнтований на конфіденційність, де всі транзакції за замовчуванням захищені за допомогою доказів нульового розкриття. Hyli @hyli_org: блокчейн-стек ZK, створений для перевіряних додатків і модульної інфраструктури нульового роззнання. ZkCloud @thezkcloud: спільна мережа проверів L1, яка пропонує генерацію ZK proof як базовий сервіс. Singularity @singularityzk: ланцюг на базі ZK, розроблений для інституційного DeFi з вбудованими обмеженнями та перевірками ризиків, що підтверджуються в схемах. Dusk Network @DuskFoundation: Privacy L1 зосереджувався на регульованих фінансах і токенах безпеки з інструментами відповідності на основі нульових знань. Oasis Network @OasisProtocol: L1 з підтримкою конфіденційності, який поєднує конфіденційні обчислювальні системи та інструменти, дружні до ZK, для приватних ринків DeFi та даних.

5. Проєкти ZK-Privacy Zcash @Zcash: Монета конфіденційності з використанням zkSNARK для забезпечення захищених транзакцій, де суми та адреси можна приховати, але все одно перевірити. Monero @monero: Проєкт, орієнтований на конфіденційність, що використовує кільцеві підписи, приховані адреси та конфіденційні транзакції для приховування відправників і сум. Railgun @RAILGUN_Project: Протокол конфіденційності з DeFi-активністю у захищених балансах, ZK proofs та інструментами для доказу невинуватості. Beam @beamprivacy: Монета конфіденційності на базі Mimblewimble з автоматичним аудитом і конфіденційними активами. Firo @firoorg: Валюта, орієнтована на конфіденційність, використовує ZK у стилі Lelantus і Lelantus Spark для анонімних транзакцій. Pirate Chain @PirateChain: захищений проєкт, орієнтований на конфіденційність, що використовує zkSNARK для кожної транзакції. Secret Network @SecretNetwork: Ланцюг на основі Cosmos, побудований на криптографії TEE для зашифрованих смарт-контрактів і приватного DeFi. Horizen @horizenglobal: Appchain, який захищає сайдчейни за допомогою ZK proofs і дозволяє застосунки, що зберігають конфіденційність.

6. ZK-FHE L2 Fhenix @fhenix: Ethereum L2 для конфіденційних смарт-контрактів із використанням FHE, з моделлю виконання у стилі fhEVM та концепцією співпроцесора FHE. Inco Network @inconetwork: універсальний рівень конфіденційності, який використовує FHE для гарантій приватної роботи за замовчуванням і крос-чейн. Mind Network @mindnetwork_xyz: рівень Zero Trust на базі FHE, який поєднує перезавантаження, зашифровані дані та навантаження на основі ШІ. Octra @octra: Fhe-native L1, спрямований на забезпечення приватних смарт-контрактів і конфіденційної обробки даних на базовому рівні. 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 plus Optimistic для масштабованих доказів стану. Herodotus @HerodotusDev: Рівень доступу до даних, що надає докази зберігання ZK, що дозволяє контрактам перевіряти історичний Ethereum і стан rollup. ORA @OraProtocol: Програмована мережа zkOracle та zkIndexing, яка виконує офчейн-обчислення та AI, а потім надсилає результати, підтверджені ZK, в мережу. Marlin @MarlinProtocol: Перевірений обчислювальний протокол, який використовує TEE та співпроцесори на базі ZK для довіри-мінімізованих офчейн-обчислень. VLayer @vlayer_xyz: Безнадійна перевірена інфраструктура даних, яка використовує докази ZK для підтвердження коректності позаланних конвеєрів даних. Space and Time @spaceandtime: Співпроцесор ZK для SQL з Proof of SQL, zk SNARK, який доводить, що і запит, і використані дані були правильними.

8. Мережі та апаратне забезпечення Prover Стисло @SuccinctLabs: Високопродуктивна zkVM та децентралізована мережа проверів, яка дозволяє розробникам розглядати доказування ZK як виклик API. Risc Zero @RiscZero: мережа перевірки zkVM та Bonsai на базі RISC-V, яка може підтверджувати загальний код Rust і підтверджувати його в блокчейні. Cysic @cysic_zk: Апаратно-прискорені GPU та ASIC, оптимізовані для навантажень ZK. Ingonyama @Ingo_zk: Компанія з апаратного та програмного забезпечення ZK, відома ICICLE та іншими GPU-акселераціями для систем SNARK та STARK, захищених від STARK. =Нуль; Заснування | @nil_foundation: ZK Technology Lab створює zkLLVM, proof systems та маркетплейс proof для застосувань з великою кількістю даних. Delphinus Lab @DelphinusLab: середовище ZK для доведення виконання програм WebAssembly (ZKWASM), щоб існуючий код можна було перевіряти в схемах.

9. Віртуальні машини ZK (ZkVM) Risc Zero zkVM @RiscZero: універсальний zkVM, який моделює машину RISC-V для забезпечення доведення багатьох існуючих програм без власних схем. SP1 zkVM @SuccinctLabs: Високопродуктивний zkVM, орієнтований на швидкість і ергономіку розробника для програм на базі Rust. Powdr Labs @powdr_labs: Toolkit і компіляторний стек для створення власних zkVM та систем доказів. zkWASM @DelphinusLab: zkVM для Webassembly, який перетворює програми WASM на перевіряні виконавчі трасси ZK. zkLLVM @nil_foundation: Набір інструментів компілятора, який перетворює LLVM IR на схеми, щоб багато мов можна було скомпілювати у докази ZK.

10. ZK Machine Learning (ZKML) та перевірений ШІ Modulus @ModulusZK: лабораторія ZKML будує схеми та інфраструктуру, щоб ML-моделі та торгові боти могли бути доведені та перевірені в мережі. Giza @gizatechxyz: платформа ZKML, інтегрована зі Starknet, яка дозволяє розробникам розгортати перевірені моделі ШІ. EZKL @ezklxyz: Набір інструментів, який перетворює моделі PyTorch на схеми ZK і генерує докази для верифікації ML в блокчейні. Sentient @SentientAGI: Спільнота, створена AGI економіка, яка координує моделі, дані та агенти через Sentient GRID. Allora Network @AlloraNetwork: AI-мережа, де моделі машинного навчання надають прогнози та оцінюють одна одну. Використовує zkML (через Polyhedra). Ritual @ritualnet: Децентралізований рівень виконання ШІ / L1, що виконує робочі навантаження на ланцюзі, з перевіреними висновками та крипто-нативними стимулами. OpenMind @openmind_agi: ОС та шар координації для інтелектуальних роботів. Inference Labs @inference_labs: Створення мережі перевірених висновків з нульовим знанням (ZK-VIN) та протоколу «Proof of Inference». Gensyn @gensynai: Обчислювальна мережа для навчання моделей машинного навчання, що використовує шар верифікації на основі блокчейну для підтвердження глибокого навчання. Mind Network @mindnetwork_xyz: FHE-рестейкінг + зашифрований рівень даних для AI-навантажень. Chainlink @chainlink: Перевіряний обчислення на основі позачейнового оракула для завдань, що виконуються оракульними мережами.

11. ZK-Ідентичність і підтвердження Privado ID @PrivadoID: Платформа ідентифікації з нульовим розгаданням, яка дозволяє користувачам доводити свої твердження без розкриття основних даних. World @worldcoin: Глобальний протокол підтвердження особистості, який використовує докази ZK і семафор для підтвердження унікальності, приховуючи біометричні дані. PSE @PrivacyEthereum: Щойно створив OpenAC для стандартизації ідентичності з нульовим розгадуванням. zkPass @zkPass: Протокол, який використовує zkTLS, щоб допомогти користувачам довести інформацію про джерела даних Web2 без розкриття паролів чи документів. zkMe @zkme_: ZK-KYC та мережа облікових даних, де користувачі приватно підтверджують атрибути відповідності dapps і біржям. zCloak Network @zcloaknetwork: платформа ZK proof as a service для перевірки ідентифікації та даних. Human Passport @HumnPassport: система ідентифікації та штампування, яка використовує системи ZK для стійкості до сибіл і контролю доступу.

12. Мікшери ZK DeFi Railgun @RAILGUN_Project: Протокол конфіденційності з DeFi-активністю у захищених балансах, ZK proofs та інструментами для доказу невинуватості. DarkFi Squad @DarkFiSquad: Анонімна DeFi-платформа, що використовує криптографію ZK для приватних контрактів і координації. Shade Protocol @Shade_Protocol: Приватний DeFi-пакет, створений для приватних свопів, кредитування та стейблкоїнів. Hinkal @hinkal_protocol: Механізм конфіденційності, що маршрутизує DeFi-активність через смарт-контракти, захищені ZK.

13. Сумісність ZK Polyhedra @PolyhedraZK: система доказів мостів і станів на базі ZK, яка перевіряє кросчейн-повідомлення та передачу активів за допомогою стислих доказів. Orbiter Finance @Orbiter_Finance: Cross-rollup bridge, оптимізований для швидких переказів L2 на L2 з безпекою, успадкованою від базових rollup-карт. Union @union_build: протокол у стилі IBC, підтримуваний ZK, який об'єднує мережі та дозволяє мінімізувати довіру кросчейн-повідомлення. Polymer Labs @Polymer_Labs: IBC-маршрутизатор, який використовує ZK і легку клієнтську верифікацію для кросчейн-з'єднань. ChainSafe @ChainSafeth: Постачальник інфраструктури, який впроваджує мости з урахуванням ZK та легких клієнтів як послуги. Owlto Finance @Owlto_Finance: Cross-rollup bridge, що з'єднує кілька ZK та оптимістичних rollup-компаній.

14. Гаманці ZK Ready @ready_co: Смарт-контрактний гаманець, глибоко інтегрований у Starknet і zkSync, приховуючи складність і надаючи власне опіку. Braavos @myBraavos: Смарт-контрактний гаманець для Starknet з функціями абстракції акаунтів. Zashi @zashi_app: Захищений гаманець для Zcash з легким використанням приватних транзакцій і мобільного UX. Loopring @loopringorg: Гаманець для шару платежів на основі zk-rollup.

15. Мови та бібліотеки схем Noir @NoirLang: Іржоподібна мова високого рівня для написання портативних схем з нульовим знанням. Його використовують @aztecnetwork, серед інших. Cairo @CairoLang: Мова та VM, дружні до STARK, використовуються для написання доведених програм для Starknet. Halo2 @Zcash: система перевірки та бібліотека Plonkish, яка підтримує власні гейти та пошуки для ефективного проєктування схем. Plonky2 @0xPolygon: Рекурсивна дружня система доведення, яка поєднує арифметику в стилі PLONK з зобов'язаннями у стилі FRI. gnark @Consensys: Перейдіть до бібліотеки для побудови та верифікації zkSNARK схем із кількома підтримуваними схемами. snarkjs @identhree: JavaScript toolchain для генерації та перевірки zkSNARK proofs у браузері та Node. Circomlib @identhree: Стандартна бібліотека багаторазових схем Circom для хешів, підписів і поширених примітивів. iden3 @identhree: Доменно-специфічна мова для побудови арифметичних схем та обмежень R1CS для zkSNARK.

17. ZK Модульність Celestia @celestia: модульний шар доступності даних, який використовується багатьма rollup-файлами, включно з ZK-rollup, для масштабованого розміщення даних. EigenDA @eigenlayer: Сервіс доступності даних, побудований на EigenCloud, який використовують команди ZK Rollup. Avail @AvailProject: Окремий ланцюг доступності даних, який використовується в ZK rollups. EthStorage @EthStorage: Сховище L2, яке може зберігати дані та докази. AltLayer @alt_layer: Платформа roll-up як послуга. Caldera @Calderaxyz: постачальник інфраструктури згортання даних, який дозволяє запускати кастомні rollup-файли з ZK або Optimistic Proof. Zeeve @0xZeeve: корпоративна блокчейн-інфраструктурна платформа, яка може хостити та керувати розгортаннями ZK rollup. Gateway FM @gateway_eth: Сервіс згортання інфраструктури для запуску специфічних для застосування rollup, включно з варіантами ZK. Stackr @0xStackr: Мікро-rollup фреймворк, часто поєднаний із ZK, що доводить легкі ланцюги, специфічні для додатків. Nym @nym: Mixnet та система облікових даних, створена для розширеної конфіденційності та ідентифікації 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