aggregate and verifiably encrypted signatures from bilinear maps .
New explicit conditions of elliptic curve traces for FR-reduction