DKG proofs - testing phase now