🧠Brevis : Cálculo fuera de la cadena + Prueba ZK