Почему в так много протоколов ZK кажется навязанным? Большинство проектов рассматривают его как дополнение — накладывая доказательства на системы, созданные без учета криптографии с самого начала.

Но посмотрите на протокол Miden: ZK не просто добавлен. Он встроен во все. Виртуальная машина, слой выполнения, как работают переходы состояния — все спроектировано с нуля с учетом генерации доказательств как первостепенной задачи, а не как дополнение.

Это разница между ретрофитингом нулевого знания и его построением с нуля.