🧠Brevis: Off-chain beregning + ZK-bevis