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

Algorithm 3

Preload and Update.

	Input: ,
	Output: , , ,
	Initialization: , , parse
	run Algorithm 2:
	query VM version for
	If then
	;
	end
	package
	return