Update biblio + add proofs for group signature

macros.tex

@@ -24,6 +24,7 @@
 \newcommand{\Keygen}{\ensuremath{\mathsf{Keygen}}\xspace}
 \newcommand{\param}{\ensuremath{\mathsf{par}}\xspace}
 \newcommand{\pk}{\ensuremath{\mathsf{pk}}\xspace}
+\newcommand{\vk}{\ensuremath{\mathsf{vk}}\xspace}
 \newcommand{\sk}{\ensuremath{\mathsf{sk}}\xspace}
 %% ZK
 \newcommand{\trans}{\textsf{trans}\xspace}