🧠Brevis: Off-chain beräkning + ZK-bevis