Specification and Preliminary Design of Verifiability mechanisms

Summary
This report will introduce initial design of different verifiability primitives.