🧠Brevis : Off-chain laskenta + ZK-todistus