🧠Brevis : Computação fora da cadeia + Prova ZK