🧠Brevis : Computación fuera de cadena + Demostración ZK