D3.2. Specification and Preliminary Design of Verifiability mechanisms