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

Algorithm 2

Preload.

	Input: ,
	Output: , , ,
	Initialization: , ,
	parse
	parse
	parse
	run ,
	If then
	;
	return ;
	end
	If then
	;
	return ;
	end
	query and for
	If or then
	;
	return ;
	else
	;
	;
	end
	package
	return , , ,