[Sigsum-general] Re: Sigsum proof specification