DKG proofs

DKG proofs