FRC0058 - Verifiable Data Aggregation