Structure-Preserving Compressing Primitives, Revisited
This work constructs a new SPVC with constant-size proofs and verification under the power discrete logarithm assumption in the algebraic group model and introduces a new notion of SPA with extended message spaces and gives a construction achieving collision resistance and constant-size membership proofs under the same...