TRUESET: Nearly Practical Verifiable Set Computations