Upgradeability Guide#

This guide shows how to make a Rust smart contract upgradeable.

Immutable smart contracts come with the drawback that bugs cannot be fixed, new features and cost optimizations cannot be implemented. For some decentralized applications this is a problem and these need some way to upgrade the smart contract code.

Note

A common way to workaround immutability that is seen on other blockchains is to have an additional smart contract acting as a proxy, forwarding calls to the actual smart contract. Upgrading is then updating the proxy to forward the calls to another smart contract. Unfortunately, this will introduce an extra cost on every contract call and add an additional layer of complexity to the contract code, which usually makes authorization and testing harder.

Concordium smart contract instances have the option to upgrade their smart contract module by calling the upgrade function with a reference to a new smart contract module to use. If successful, new invocations to the upgraded smart contract instance will use the new smart contract module.

See also

To learn more about upgradeability of smart contracts see Upgradeability.

Owner can upgrade#

The code below will add an upgrade endpoint to a smart contract, which allows the smart contract owner to trigger a smart contract upgrade. The parameter for this endpoint takes the new module reference and optionally a name of an entrypoint with parameter to invoke in the upgraded smart contract instance.

Providing the optional entrypoint can be used for triggering a migration function in the new module. This has the benefit of being in the same transaction as the upgrade itself, making the transaction revert the upgrade if the migration fails.

/// The parameter type for the contract function `upgrade`.
/// Takes the new module and optionally a migration function to call in the new
/// module after the upgrade.
 #[derive(Serialize, SchemaType)]
 struct UpgradeParams {
     /// The new module reference.
     module:  ModuleReference,
     /// Optional entrypoint to call in the new module after upgrade.
     migrate: Option<(OwnedEntrypointName, OwnedParameter)>,
 }

 #[receive(
     contract = "my_contract",
     name = "upgrade",
     parameter = "UpgradeParams",
     low_level
 )]
 fn contract_upgrade(
     ctx: &ReceiveContext,
     host: &mut LowLevelHost,
 ) -> ReceiveResult<()> {
     // Check that only the owner is authorized to upgrade the smart contract.
     ensure!(ctx.sender().matches_account(&ctx.owner()));
     // Parse the parameter.
     let params: UpgradeParams = ctx.parameter_cursor().get()?;
     // Trigger the upgrade.
     host.upgrade(params.module)?;
     // Call the migration function if provided.
     if let Some((func, parameters)) = params.migrate {
         host.invoke_contract_raw(
             &ctx.self_address(),
             parameters.as_parameter(),
             func.as_entrypoint_name(),
             Amount::zero(),
         )?;
     }
     Ok(())
 }

Note

The upgrade function is marked as low_level. This is necessary since the default (high_level) mutable functions store the state of the contract at the end of execution. This conflicts with migration since the shape of the state might be changed by the migration function. If the state is then written by the default (high_level) upgrade function, it would overwrite the state stored by the migration function. The upgrade tutorial provides an example where low_level is necessary since the shape of the state is changed in the migration function.

Note

The code snippet above is using Rust and concordium-std version 5 or newer.

The JSON parameter for triggering an upgrade is of the form:

{
    "module": "<Lowercase hex encoding of module ref>",
    "migrate": { "Some": [["<Migration entrypoint name>", "<Parameter for the migration entrypoint>"]] }
}

See also

For a tutorial on how to execute a smart contract upgrade see upgrade tutorial.

See also

For a guide on how to send interact with a smart contract using JSON see Passing parameters in JSON format.

Was this article helpful?