BeaconDkgValidator

BeaconDkgValidator

This file documents a contract which is not yet deployed to Mainnet.

DKGValidator allows performing a full validation of DKG result, including checking the format of fields in the result, declared selected group members, and signatures of operators supporting the result. The operator submitting the result should perform the validation using a free contract call before submitting the result to ensure their result is valid and can not be challenged. All other network operators should perform validation of the submitted result using a free contract call and challenge the result if the validation fails.

groupSize

uint256 groupSize

Size of a group in the threshold relay.

groupThreshold

uint256 groupThreshold

The minimum number of group members needed to interact according to the protocol to produce a relay entry. The adversary can not learn anything about the key as long as it does not break into groupThreshold+1 of members.

activeThreshold

uint256 activeThreshold

The minimum number of active and properly behaving group members during the DKG needed to accept the result. This number is higher than groupThreshold to keep a safety margin for members becoming inactive after DKG so that the group can still produce a relay entry.

signatureByteSize

uint256 signatureByteSize

Size in bytes of a single signature produced by operator supporting DKG result.

sortitionPool

contract SortitionPool sortitionPool

constructor

constructor(contract SortitionPool _sortitionPool) public

validate

function validate(struct BeaconDkg.Result result, uint256 seed, uint256 startBlock) external view returns (bool isValid, string errorMsg)

Performs a full validation of DKG result, including checking the format of fields in the result, declared selected group members, and signatures of operators supporting the result.

Parameters

Name	Type	Description
result	struct BeaconDkg.Result
seed	uint256	seed used to start the DKG and select group members
startBlock	uint256	DKG start block

Return Values

Name	Type	Description
isValid	bool	true if the result is valid, false otherwise
errorMsg	string	validation error message; empty for a valid result

validateFields

function validateFields(struct BeaconDkg.Result result) public pure returns (bool isValid, string errorMsg)

Performs a static validation of DKG result fields: lengths, ranges, and order of arrays.

Return Values

Name	Type	Description
isValid	bool	true if the result is valid, false otherwise
errorMsg	string	validation error message; empty for a valid result

validateGroupMembers

function validateGroupMembers(struct BeaconDkg.Result result, uint256 seed) public view returns (bool)

Performs validation of group members as declared in DKG result against group members selected by the sortition pool.

Parameters

Name	Type	Description
result	struct BeaconDkg.Result
seed	uint256	seed used to start the DKG and select group members

Return Values

Name	Type	Description
[0]	bool	true if group members matches; false otherwise

validateSignatures

function validateSignatures(struct BeaconDkg.Result result, uint256 startBlock) public view returns (bool)

Performs validation of signatures supplied in DKG result. Note that this function does not check if addresses which supplied signatures supporting the result are the ones selected to the group by sortition pool. This function should be used together with validateGroupMembers.

Parameters

Name	Type	Description
result	struct BeaconDkg.Result
startBlock	uint256	DKG start block

Return Values

Name	Type	Description
[0]	bool	true if group members matches; false otherwise

validateMembersHash

function validateMembersHash(struct BeaconDkg.Result result) public pure returns (bool)

Performs validation of hashed group members that actively took part in DKG.

Parameters

Name	Type	Description
result	struct BeaconDkg.Result	DKG result

Return Values

Name	Type	Description
[0]	bool	true if result's group members hash matches with the one that is challenged.