повідомлення

Дизайн Nullifier Set для Miden: невидима інновація для вирішення проблеми розширення стану блокчейну

Модель конфіденційності @0xMiden залежить від наборів нулів (nullifier sets) для запобігання подвійним витратам та відстеженню стану активів, але традиційні рішення стикаються з фатальною проблемою: набори нулів з безкінечною кількістю транзакцій зростають, що призводить до надмірного навантаження на зберігання вузлів. Наприклад, якщо TPS в мережі становить 1000, через 10 років дані нулів можуть роздутися до 10TB, і звичайні пристрої не зможуть брати участь у синхронізації мережі.

Прорив Miden полягає у впровадженні структури Nullifier Tree розділеної на епохи:

Розділіть набір нульфайерів за часовими вікнами (наприклад, по 6 місяців за епоху), вузлам потрібно зберігати лише повні дані за останні 2 епохи, історичні дані зберігайте лише у вигляді кореневого хешу.
Коли користувач споживає ранні активи, необхідно надати підтвердження, що цей актив не був спожитий під час відповідного епохи та після його створення.

Глибокий зміст цього дизайну:

1. Балансування зростання та децентралізації: тиск на зберігання вузлів змінюється з "безмежного зростання" на фіксований поріг, що суттєво знижує бар'єри для довгострокової участі.
2. Співпраця конфіденційності та розширення: розподіл епохи nullifier та генерація локальних доказів поєднуються, що захищає конфіденційність пов'язаності транзакцій і одночасно запобігає розширенню глобального стану.
3. Відповідальність користувачів та мережі: користувачі повинні самостійно зберігати докази старих активів, верифікація на ланцюзі потрібна, але зберігати їх не потрібно. Ця "делегування відповідальності" є ключовим дослідженням сталості блокчейну, подібно до логіки співпраці CDN та клієнтів в Інтернеті.

Miden знайшов баланс між "централізацією повних вузлів" та "витратами на приватні обчислення" завдяки інженерним нововведенням nullifier. Це не лише технологічна оптимізація, але й натяк на напрямок еволюції майбутніх блокчейнів: ланцюг не обов'язково має нести всю історію, а скоріше відповідальність за верифікацію розумно розподіляється за допомогою криптографічних інструментів.
Шеньцзицзень Сільська партійна організація