# Functions
AddRmListProofCreation creates proof for add/rm server protocol for one ciphervector.
AddRmListProofVerification verifies multiple add/rm proofs.
AddRmProofCreation creates proof for add/rm server protocol for one ciphertext.
AddRmProofVerification verifies an add/rm proof.
# Structs
PublishedAddRmListProof contains multiple proofs for adding/removing a server.
PublishedAddRmProof contains a proof for adding/removing a server.