VM-Studio: A Universal Crosschain Smart Contract Verification and Execution Scheme

Algorithm 1

VerifyMessageSig.

	Input:
	Output:
	Initialization:
	If then
	;
	return ;
	end
	If then
	;
	return ;
	end
	return