Count is a verifiable distributed aggregation function in which each measurement is either one or zero and the aggregate result is the sum of the measurements.