А що, якби кожне обчислення в інтернеті можна було математично довести як правильне?
Nexus — це саме такий проєкт блокчейн-інфраструктури: розподілена віртуальна машина з доказом з нульовим розголошенням (zkVM), покликана зробити верифіковані обчислення практичними в масштабах інтернету.
У цьому посібнику — все, що потрібно знати: що робить Nexus, які проблеми вирішує, як працює токен NEX і як купити NEX на MEXC.
Ключові тези
Nexus — розподілений zkVM-проєкт (віртуальна машина з доказом з нульовим розголошенням), створений Nexus Labs із метою забезпечити верифіковані обчислення в масштабах інтернету.
Головна амбіція: об'єднати комп'ютери всього світу в єдиний верифікований суперкомп'ютер, здатний доводити один трильйон тактів процесора на секунду.
На відміну від традиційних блокчейнів, де кожен вузол повторно виконує транзакції для досягнення консенсусу, Nexus використовує криптографічні докази з нульовим розголошенням для одноразової верифікації будь-якого обчислення — з математичною достовірністю.
NEX — нативна цифрова валюта блокчейну Nexus, що слугує економічним хребтом цієї мережі верифікованих обчислень.
| Nexus | Токен NEX | |
| Що це | Протокол, мережа та інфраструктура | Нативна цифрова валюта блокчейну Nexus |
| Функція | Розподілена zkVM + мережа верифікованого суперкомп'ютера | Забезпечує екосистему Nexus: скарбниця, стимули, зростання |
| Аналогія | Як Ethereum (платформа) | Як ETH (нативний токен) |
| Хто використовує | Розробники, провери, оператори вузлів | Власники токенів, учасники екосистеми |
Докази з нульовим розголошенням існують уже кілька десятиліть — однак для більшості реальних застосувань вони залишаються надто повільними, дорогими й складними у використанні.
Nexus виділяє три взаємопов'язані проблеми, що стримують розвиток верифікованих обчислень.
Наявні підходи до ZK-доказів вимагають або написання складних арифметичних схем вручну, або використання zkVM на базі процесора, яка погано масштабується.
Доведення навіть одного хешу SHA-256 через стандартну емуляцію віртуальної машини потребує близько 64 000 тактів процесора — приблизно у 1 000 разів більше обчислень, ніж спеціалізована схема.
Nexus вирішує цю проблему через архітектуру співпроцесора zkVM, яка забезпечує продуктивність рівня ASIC для користувацьких операцій, зберігаючи при цьому зручну для розробників модель програмування.
Традиційні конструкції zkVM вимагають заздалегідь визначати статичну верхню межу довжини обчислення.
Доведення за цією межею потребує або генерації нових публічних параметрів, або дорогої рекурсії SNARK — обидва варіанти непрактичні у масштабі.
Nexus вирішує це завдання за допомогою необмеженого інкрементально верифікованого обчислення (IVC), дозволяючи генерувати та накопичувати докази довільно великих програм інкрементально — без статичних обмежень.
Такі проєкти, як SETI@Home і Folding@Home, залучали мільйони комп'ютерів добровольців для масштабних обчислень — однак покладалися на імовірнісні методи (реплікацію та порівняння) для верифікації результатів.
Це дає лише наближені гарантії цілісності, а не математичний доказ.
Мережа Nexus створена для надання доведених гарантій: кожен вузол розподіленої мережі проверів генерує криптографічні докази, тому кінцевий результат верифіковано коректний — незалежно від того, які машини виконували роботу.
Nexus розроблений командою Nexus Labs під керівництвом головного автора Деніела Маріна за участі дослідників Мішеля Абдалла, Єнса Грота та інших.
Вайтпейпер Nexus був опублікований у січні 2024 року; у ньому Nexus zkVM представлена як повністю відкритий проєкт, реалізований мовою Rust.
Проєкт спирається на майже чотири десятиліття фундаментальних криптографічних досліджень — від введення доказів з нульовим розголошенням Голдвасером, Мікалі та Рекоффом у 1985 році до Nova, HyperNova та сучасних схем згортання.
Бачення проєкту: зробити верифіковані обчислення такими ж загальнодоступними, як обчислення загального призначення.
Nexus zkVM — машина, здатна генерувати стислий доказ з нульовим розголошенням для коректного виконання будь-якої програми.
Вона орієнтована на дуже великі обчислення — від 1 мільярда тактів процесора і вище — та досягає цього завдяки екстремальному паралелізму з використанням сучасних схем згортання та накопичення (Nova, HyperNova, CycleFold).
Розробники можуть довести будь-яку Rust-програму однією командою: cargo nexus prove.
NVM — проста, мінімалістична та розширювана архітектура набору команд (ISA): 32-розрядна машина з 40 інструкціями, натхненна RISC-V, але перероблена для максимальної продуктивності провера.
Вона використовує просту модель пам'яті (дерева Меркла + хеші Poseidon для інкрементальних доказів пам'яті) і просту модель вводу-виводу з публічними та приватними вхідними стрічками.
Дизайн орієнтований на перевірюваність і універсальність: невелика чиста машина, докази якої простіше верифікувати й яким простіше довіряти.
Співпроцесори — це користувацькі розширення команд NVM, написані у вигляді CCS-схем.
При виконанні співпроцесора сплачується лише його конкретна вартість доведення — замість накладних витрат на емуляцію операції через тисячі тактів процесора.
Це забезпечує прискорене доведення для SHA-256, підписів ECDSA, агрегації BLS, матричних множень і навіть рекурсивних схем верифікатора SNARK.
Мережа Nexus об'єднує сукупну потужність процесорів і відеокарт глобальної гетерогенної мережі комп'ютерів для масово паралельної генерації доказів.
Докази накопичуються у деревоподібній структурі — кожен вузол обробляє фрагмент обчислення та передає свій доказ вище — пропускна здатність зростає пропорційно розміру мережі.
Принципово важливо: вузол провера Nexus може працювати лише з 1 ГБ оперативної пам'яті, тобто смартфони та споживчі ноутбуки можуть брати участь і вносити обчислювальний внесок.
Nexus zkVM і мережа Nexus повністю відкриті, реалізовані мовою Rust і загальнодоступні на GitHub.
Реалізація включає продакшен-версії схем згортання Nova, CycleFold і HyperNova, а також арифметизацію NVM, компілятор RISC-V у NVM і послідовність стиснення доказів.
Сьогодні смарт-контракти обмежені простою, реплікованою логікою на блокчейні.
З Nexus смарт-контракт може використовувати результат складного офчейн-обчислення — запити до баз даних, фінансові моделі, висновок ML — підкріплений ZK-доказом коректності виконання.
Архітектура співпроцесора zkVM Nexus дозволяє ефективно доводити обчислювально інтенсивні операції, такі як матричні множення.
Це відкриває шлях до ШІ-інференсу на блокчейні, де коректність виводу моделі можна криптографічно верифікувати — а не просто довіряти їй.
Будь-який розробник може надіслати Rust-програму до мережі Nexus і отримати криптографічний доказ її коректного виконання — не довіряючи вузлам, які її запустили.
Це відкриває можливість для довіреного делегування великих обчислень: наукові симуляції, конвеєри обробки даних або корпоративні навантаження — усі з верифікованими результатами.
Nexus дозволяє смарт-контрактам у DeFi-протоколах виконувати великомасштабний аналіз даних — моделювання ризиків, розрахунки портфелів, логіку ліквідації — з криптографічним доказом коректності.
Та сама інфраструктура підтримує блокчейн-ігри зі складним керуванням станом, де ігрова логіка може бути доведена офчейн і верифікована ончейн без повторного виконання.
NEX — нативна цифрова валюта блокчейну Nexus із фіксованою загальною пропозицією 100 трильйонів NEX.
Початковий розподіл структурований таким чином:
Скарбниця являє собою основний резерв екосистеми протоколу Nexus, забезпечуючи проєкту значний ресурс для фінансування розробки та зростання спільноти без залежності від короткострокових продажів токенів.
NEX є основним засобом обміну всередині протоколу Nexus.
У міру розвитку мережі NEX має забезпечувати оплату обчислень — включно з комісіями за генерацію доказів, що виплачуються операторам вузлів, які вносять обчислювальний внесок у мережу Nexus.
60% скарбниці призначено виключно для фінансування довгострокових R&D, партнерств, програм стимулювання розробників і розширення екосистеми.
Це робить NEX паливом для залучення будівельників, дослідників і операторів вузлів в екосистему Nexus з часом.
Оператори вузлів, що надають обчислювальні потужності мережі Nexus — запускаючи вузли MSM Prover або PCD Prover — безпосередньо беруть участь в інфраструктурі генерації доказів.
NEX — це механізм стимулювання, покликаний винагороджувати цей обчислювальний внесок у міру зростання мережі.
Nexus має чіткий технічний шлях попереду: від нинішньої відкритої zkVM до повноцінної розподіленої мережі проверів, здатної доводити трильйони тактів процесора на секунду.
Найближчі пріоритети включають підтримку неоднорідного IVC, можливості вводу-виводу zkVM та розширену бібліотеку співпроцесорів.
У довгостроковій перспективі Nexus прагне встановити управління спільнотою, поглибити крос-чейн інтеграцію та стати фундаментальною інфраструктурою для верифікованих обчислень у масштабах інтернету.
Заявлене бачення проєкту — «майбутнє інтернету, в якому цілісність обчислень і даних захищена доказами» — ставить його на передній край ZK-криптографії та децентралізованих обчислень.
Nexus працює у ширшому просторі ZK-інфраструктури, орієнтованої на верифіковані обчислення загального призначення, а не на масштабування конкретного блокчейну.
На відміну від проєктів, орієнтованих на один блокчейн, Nexus створений для доведення будь-якої програми на будь-якому ланцюзі — що робить його більш універсальним шаром криптографічної інфраструктури.
Nexus також виділяється моделлю розподіленої мережі проверів: участь з обсягом оперативної пам'яті від 1 ГБ дозволяє вносити обчислювальний внесок і отримувати винагороди, роблячи участь набагато доступнішою, ніж у спеціалізованій ZK-інфраструктурі.
Для розробників, яким потрібні верифіковані обчислення за межами блокчейн-транзакцій — ШІ-інференс, наукові обчислення, корпоративні конвеєри даних — Nexus вирішує ширшу й менш конкурентну задачу.
NEX доступний для торгівлі на MEXC — одній із провідних криптовалютних бірж світу.
MEXC пропонує спотові торгові пари NEX із глибокою ліквідністю, конкурентними комісіями та зручним інтерфейсом, що підходить як для новачків, так і для досвідчених трейдерів.
Знайти NEX на MEXC можна за адресою: mexc.com
Крок 1. Перейдіть на mexc.com і натисніть Зареєструватися, щоб створити безкоштовний акаунт.
Крок 2. Пройдіть KYC-верифікацію (підтвердження особи) для отримання повного доступу до торгівлі.
Крок 3. Поповніть вебгаманець MEXC — приймаються USDT та інші підтримувані активи.
Крок 4. У рядку пошуку введіть «NEX» і виберіть торгову пару NEX/USDT.
Крок 5. Виберіть тип ордера — ринковий (купівля за поточною ціною) або лімітний (вкажіть бажану ціну) — введіть суму та підтвердіть.
Крок 6. Токени NEX з'являться у вашому вебгаманці MEXC; для додаткової безпеки перевіть їх на особистий гаманець.
Nexus вирішує одне з найамбітніших завдань у криптографії: зробити верифіковані обчислення достатньо практичними, щоб працювати в масштабах самого інтернету.
Маючи розподілену zkVM, глобальну мережу проверів і NEX як нативну валюту, проєкт будує інфраструктуру, яка може фундаментально змінити те, як встановлюється довіра в обчисленнях — не через повторну верифікацію, а через математичний доказ.
Для інвесторів і розробників, що відстежують перетин ZK-криптографії та децентралізованої інфраструктури, Nexus і токен NEX — проєкт, який варто вивчити завчасно.

Інтернет зламаний — і Billions Network створена, щоб це виправити. У цьому посібнику ви дізнаєтесь, що таке Billions Network, як працює токен $BILL, чим цей проєкт відрізняється від інших identity-про

Інтеграція технології блокчейн та ігрової індустрії стає однією з найперспективніших галузей цифрової економіки. Її основна цінність полягає у фундаментальній трансформації взаємодії гравців з віртуал

Ролап є найпоширенішим рішенням масштабованості рівня 2 на поточному ринку. Існує два види ролап-рішень: оптимістичний ролап (Optimistic Rollup) і ZK-ролап (ZK Rollup). Ця стаття ознайомить вас із ZK-

BitcoinWorld Іран та Оман обговорюють постійні комісії за прохід через Ормузьку протоку Іран та Оман, за повідомленнями, ведуть переговори про запровадження постійних комісій за прохід суден

BitcoinWorld Чиновники ФРС дискутують щодо розширення доларових своп-ліній для центральних банків світу Керівники Федеральної резервної системи США (FRS) ведуть внутрішні дебати щодо того, чи

Основні моменти Ondo Finance — це платформа токенізації реальних активів (RWA), зосереджена на перенесенні традиційних фінансових активів, таких як державні облігації США, акції та ETF, в ончейн-серед

Інтернет зламаний — і Billions Network створена, щоб це виправити. У цьому посібнику ви дізнаєтесь, що таке Billions Network, як працює токен $BILL, чим цей проєкт відрізняється від інших identity-про

Блокчейн давно обіцяє замінити традиційну веб-інфраструктуру — однак низька швидкість і високі комісії не давали цьому баченню втілитися в життя. MegaETH — це блокчейн другого рівня (Layer 2) на базі