Cryptologie | The Signal Private Group System And Anonymous Credentials Supporting Efficient Verifiable Encryption