Text this: Practical and Provably Secure Distributed Aggregation: Verifiable Additive Homomorphic Secret Sharing