Title: Constructions and characterizations of non-interactive zero-knowledge