Describir: Framework for Efficient and Budget-Aware Verifiable Computation in Smart Grids