Proofs on Secret Shared Data: an Overview