Summary
This report will introduce initial design of different verifiability primitives.
More information & hyperlinks