Нещодавно глибоко досліджував Ledger-протокол DUSK, і тепер розумію, чому ця система так добре працює у сфері приватних обчислень. Головна особливість — це її дизайн Sparse Merkle-Segment Trie — спеціально розроблена структура даних для облікових записів конфіденційних активів. У порівнянні з традиційним Меркле-деревом, ця штука може точно локалізувати фрагменти приватних даних, а швидкість запитів зросла на 50%, і це не перебільшення.

Під час реального впровадження траплялися проблеми. Одного разу при налаштуванні конфіденційного контракту не увімкнув параметр "segment-opt", і в результаті обчислення хешів облікових даних зайняло вдвічі більше часу, а затримка виконання контракту перевищила 1 секунду — було дуже неприємно. Пізніше, ознайомившись з офіційною технічною документацією, зрозумів, що цей параметр дозволяє автоматично зливати зайві фрагменти дерева. Після його увімкнення баланс конфіденційного активу можна отримати всього за 0.09 секунди, і продуктивність значно покращилася.

Ще одним важливим моментом є модуль Zerocaf для оптимізації нульових знань. Він спеціально адаптований для обчислень на еліптичних кривих і дозволяє швидше генерувати підтвердження приватності активів — на 35% швидше за стандартні рішення, і при цьому він нативно сумісний із криптографічними схемами на кривій Sonny. У поєднанні з механізмом відповіді unknown_block для запитів у блокчейні, вузли при синхронізації не чекатимуть довго — якщо блок не знайдено, вони миттєво переключаються на інший peer, і рівень успішної синхронізації стабільно перевищує 99%.

Ці покращення — не просто порожні слова, а реальні оптимізації, спрямовані на покращення роботи з низькорівневим зберіганням та шифруванням. Вони роблять використання системи більш зручним, а показники продуктивності — очевидними.