D3.1. Requirements and trade-off between verifiability and data reduction