DKG proofs