لا تعتقد أن الكثيرين يعرفون مدى تعقيد الرياضيات الكامنة وراء براهين ZK. عندما تكون البراهين أغلى بمقدار 1000 مرة من الإثبات الأصلي ، يجب تحسين كل ميزة بعناية. هذه الهندسة الدقيقة هي السبب في أن بناء zkVM جاهز للإنتاج استغرق سنوات.