[Sigsum-general] Sigsum proof specification