Requirements and trade-off between verifiability and data reduction

Summary
This deliverable will identify the specific requirements of TREDISEC use cases and analyze the compatibility of existing verifiability solutions with data reduction techniques.