Первое, что я заметил, когда впервые познакомился с @0xMiden, — это один нюанс:

Он не зациклен на «переносе всего в цепочку».

В дизайне @0xMiden выполнение происходит на клиенте, а цепочка только занимается проверкой.
Другими словами, цепочка больше не является трудягой, а выступает в роли судьи.

Такая структура естественно подходит для доказательств с нулевым разглашением, а также делает приватность не дополнительной опцией, а стандартной возможностью.
Вы доказываете, что сделали всё правильно, но не обязаны раскрывать, как именно это сделали.

С технической точки зрения, такая модель гораздо элегантнее, чем просто увеличение вычислительной мощности.
@0xMiden решает проблему архитектуры системы, а не параметры.