pk from DLogProof from keygen's Round4 is now verified against VSS.

[DmytroTym]

In party_i.rs verify_dlog_proofs method changed so it could also check if pk from the proofs are consistent with VSS. Keygen's rounds.rs changed accordingly.

[elichai]

Thanks for opening the PR!

The CI seems to currently fail for unrelated reasons (rust-lang/rust#88582, rust-num/num-bigint#218), we should probably lock a specific rustc version using a rustup-toolchain file and then bump it manually when needed (and look into working towards stable rust)

[elichai]

Code review ACK 292b4da
I actually needed the same in some other projects, maybe we should add a VerifiableSS that cotains DLog proofs with the commitments. (although mine actually needs Pedersen/Elgamal Commitments+proofs so it might still not fit)

[DmytroTym]

Sorry, I'm not sure I understood you correctly. Do you want to change curv's VerifiableSS struct to contain DLog proof, or just add a new struct with a vector of VerifiableSS and a DLog proof to multi-party-ecdsa or curv?

[DmytroTym]

About the failed build - the issue seems to have been solved here: rust-num/num-bigint#220, I ran the build again, it should succeed now.