Nemyslím si, že mnozí vědí, jak neuvěřitelně složitá je matematika za důkazy ZK. Pokud jsou nátisky 1000x dražší než nativní, musí být každá funkce pečlivě optimalizována. Toto přesné inženýrství je důvodem, proč vybudování zkVM připraveného k výrobě trvalo roky.