ECLB: Edge-Computing-Based Lightweight Blockchain Framework for Mobile Systems

Algorithm 2

Candidate transaction block verification.

	Input:
	: A candidate Tx block;
	: The UTXO set;
	: The public key of the current leader node;
	Output:
	: Verification result;
(1)	Initialize ;
(2)	Obtain the leader’s signature from
(3)	Obtain the from and compute ;
(4)	Verify the signature by computing ;
(5)	if then
(6)	Set ;
(7)	return ;
(8)	end if
(9)	Get the transaction set from , denoted as ;
(10)	for then
(11)	Check validity of based on ;
(12)	if is invalid then
(13)	Set ;
(14)	return ;
(15)	end if
(16)	end for
(17)	return ;