no creo que muchos sepan lo increíblemente complejas que son las matemáticas detrás de las pruebas ZK. Cuando las pruebas son 1000 veces más caras que las nativas, cada función debe optimizarse cuidadosamente. Esta ingeniería de precisión es la razón por la que la construcción de una zkVM lista para la producción llevó años.