Implementation of Verified Set Operation Protocols Based on Bilinear Accumulators