Function snarkvm_checksum_constructor 

pub fn snarkvm_checksum_constructor(
    mapping: impl Display,
    key: impl Display,
) -> String

This is the required snarkVM constructor bytecode for a program that is only upgradable if the new program’s checksum matches the one declared in a pre-determined mapping.