На этом направлении ZK все занимаются инновациями в алгоритмах, но откровенно говоря, настоящая проблема заключается в достаточной вычислительной мощности. Те математические формулы выглядят довольно красиво, но реальность намного суровее — ресурсы вычислений, необходимые для генерации zk-SNARKs, вовсе не могут быть решены простыми исправлениями на уровне кода.

За последние два года вы могли заметить, что сколько бы ни оптимизировалось программное обеспечение, оно не может преодолеть барьер аппаратного обеспечения. Требования к вычислительной мощности для генерации доказательств стоят на своем месте и являются жесткой затратой. Хотите, чтобы ZK действительно масштабировался и внедрялся? Одних только математиков с красивыми алгоритмами недостаточно, нужно, чтобы за ними следовали достаточно большие и дешевые ресурсы вычислительной мощности.