The DKG session is a single instance of the DKG process. More...

#include <quorums_dkgsession.h>

Collaboration diagram for llmq::CDKGSession:

Public Member Functions
	CDKGSession (const Consensus::LLMQParams &_params, CBLSWorker &_blsWorker, CDKGSessionManager &_dkgManager)

bool	Init (const CBlockIndex *pindexQuorum, const std::vector< CDeterministicMNCPtr > &mns, const uint256 &_myProTxHash)

size_t	GetMyMemberIndex () const

void	Contribute (CDKGPendingMessages &pendingMessages)
	The following sets of methods are for the first 4 phases handled in the session. More...

void	SendContributions (CDKGPendingMessages &pendingMessages)

bool	PreVerifyMessage (const uint256 &hash, const CDKGContribution &qc, bool &retBan) const

void	ReceiveMessage (const uint256 &hash, const CDKGContribution &qc, bool &retBan)

void	VerifyPendingContributions ()

void	VerifyAndComplain (CDKGPendingMessages &pendingMessages)

void	VerifyConnectionAndMinProtoVersions ()

void	SendComplaint (CDKGPendingMessages &pendingMessages)

bool	PreVerifyMessage (const uint256 &hash, const CDKGComplaint &qc, bool &retBan) const

void	ReceiveMessage (const uint256 &hash, const CDKGComplaint &qc, bool &retBan)

void	VerifyAndJustify (CDKGPendingMessages &pendingMessages)

void	SendJustification (CDKGPendingMessages &pendingMessages, const std::set< uint256 > &forMembers)

bool	PreVerifyMessage (const uint256 &hash, const CDKGJustification &qj, bool &retBan) const

void	ReceiveMessage (const uint256 &hash, const CDKGJustification &qj, bool &retBan)

void	VerifyAndCommit (CDKGPendingMessages &pendingMessages)

void	SendCommitment (CDKGPendingMessages &pendingMessages)

bool	PreVerifyMessage (const uint256 &hash, const CDKGPrematureCommitment &qc, bool &retBan) const

void	ReceiveMessage (const uint256 &hash, const CDKGPrematureCommitment &qc, bool &retBan)

std::vector< CFinalCommitment >	FinalizeCommitments ()

bool	AreWeMember () const

void	MarkBadMember (size_t idx)

void	RelayInvToParticipants (const CInv &inv) const

CDKGMember *	GetMember (const uint256 &proTxHash) const

Private Attributes
const Consensus::LLMQParams &	params

CBLSWorker &	blsWorker

CBLSWorkerCache	cache

CDKGSessionManager &	dkgManager

const CBlockIndex *	pindexQuorum

std::vector< std::unique_ptr< CDKGMember > >	members

std::map< uint256, size_t >	membersMap

std::set< uint256 >	relayMembers

BLSVerificationVectorPtr	vvecContribution

BLSSecretKeyVector	skContributions

BLSIdVector	memberIds

std::vector< BLSVerificationVectorPtr >	receivedVvecs

BLSSecretKeyVector	receivedSkContributions

uint256	myProTxHash

CBLSId	myId

size_t	myIdx {(size_t)-1}

CCriticalSection	invCs

std::map< uint256, CDKGContribution >	contributions

std::map< uint256, CDKGComplaint >	complaints

std::map< uint256, CDKGJustification >	justifications

std::map< uint256, CDKGPrematureCommitment >	prematureCommitments

std::vector< size_t >	pendingContributionVerifications

std::set< uint256 >	validCommitments

Friends
class	CDKGSessionHandler

class	CDKGSessionManager

class	CDKGLogger

Detailed Description

The DKG session is a single instance of the DKG process.

It is owned and called by CDKGSessionHandler, which passes received DKG messages to the session. The session is not persistent and will loose it's state (the whole object is discarded) when it finishes (after the mining phase) or is aborted.

When incoming contributions are received and the verification vector is valid, it is passed to CDKGSessionManager which will store it in the evo DB. Secret key contributions which are meant for the local member are also passed to CDKGSessionManager to store them in the evo DB. If verification of the SK contribution initially fails, it is not passed to CDKGSessionManager. If the justification phase later gives a valid SK contribution from the same member, it is then passed to CDKGSessionManager and after this handled the same way.

The contributions stored by CDKGSessionManager are then later loaded by the quorum instances and used for signing sessions, but only if the local node is a member of the quorum.

Definition at line 239 of file quorums_dkgsession.h.

Constructor & Destructor Documentation

◆ CDKGSession()

llmq::CDKGSession::CDKGSession	(	const Consensus::LLMQParams &	_params,
		CBLSWorker &	_blsWorker,
		CDKGSessionManager &	_dkgManager
	)

inline

Definition at line 286 of file quorums_dkgsession.h.

Member Function Documentation

◆ AreWeMember()

bool llmq::CDKGSession::AreWeMember ( ) const

inline

Definition at line 335 of file quorums_dkgsession.h.

References base_blob< BITS >::IsNull(), and myProTxHash.

Referenced by Contribute(), FinalizeCommitments(), ReceiveMessage(), SendCommitment(), SendComplaint(), SendContributions(), SendJustification(), VerifyAndCommit(), VerifyAndComplain(), and VerifyAndJustify().

◆ Contribute()

void llmq::CDKGSession::Contribute ( CDKGPendingMessages & pendingMessages )

The following sets of methods are for the first 4 phases handled in the session.

The flow of message calls is identical for all phases:

Execute local action (e.g. create/send own contributions)
PreVerify incoming messages for this phase. Preverification means that everything from the message is checked that does not require too much resources for verification. This specifically excludes all CPU intensive BLS operations.
CDKGSessionHandler will collect pre verified messages in batches and perform batched BLS signature verification on these.
ReceiveMessage is called for each pre verified message with a valid signature. ReceiveMessage is also responsible for further verification of validity (e.g. validate vvecs and SK contributions).

Definition at line 140 of file quorums_dkgsession.cpp.

References AreWeMember(), CBatchedLogger::Batch(), blsWorker, cxxtimer::Timer::count(), CBLSWorker::GenerateContributions(), memberIds, params, SendContributions(), skContributions, Consensus::LLMQParams::threshold, and vvecContribution.