أرسل هذا في رسالة قصيرة: Efficient Verifiable Protocol for Privacy-Preserving Aggregation in Federated Learning