Skip to main content
Version: 0.9.0

Build, Deploy and Read the State of a Contract

In this guide, we will show the full path from creating a contract, deploying it and reading the state.

We will use a contract with a complex storage layout and show how to deploy it and then read the state of the contract in Rust and TypeScript.

Before you start, make sure you completed the following steps:

Contract

Let's write a contract with complex storage layout.

The contract stores a plain numeric value, a custom nested type and a submodule with another submodule with stores a Mapping.

We will expose two methods:

  1. The constructor init which sets the metadata and the version of the contract.
  2. The method set_data which sets the value of the numeric field and the values of the mapping.
custom_item.rs
use odra::{casper_types::U256, prelude::*, Mapping, SubModule, Var};

// A custom type with a vector of another custom type
#[odra::odra_type]
pub struct Metadata {
name: String,
description: String,
prices: Vec<Price>,
}

#[odra::odra_type]
pub struct Price {
value: U256,
}

// The main contract with a version, metadata and a submodule
#[odra::module]
pub struct CustomItem {
version: Var<u32>,
meta: Var<Metadata>,
data: SubModule<Data>
}

#[odra::module]
impl CustomItem {
pub fn init(&mut self, name: String, description: String, price_1: U256, price_2: U256) {
let meta = Metadata {
name,
description,
prices: vec![
Price { value: price_1 },
Price { value: price_2 }
]
};
self.meta.set(meta);
self.version.set(self.version.get_or_default() + 1);
}

pub fn set_data(&mut self, value: u32, name: String, name2: String) {
self.data.value.set(value);
self.data.inner.named_values.set(&name, 10);
self.data.inner.named_values.set(&name2, 20);
}
}

// A submodule with a numeric value and another submodule
#[odra::module]
struct Data {
value: Var<u32>,
inner: SubModule<InnerData>,
}

// A submodule with a mapping
#[odra::module]
struct InnerData {
named_values: Mapping<String, u32>,
}

Deploying the contract

First, we need to setup the chain. We will use the NCTL docker image to run a local network.

docker run --rm -it --name mynctl -d -p 11101:11101 -p 14101:14101 -p 18101:18101 makesoftware/casper-nctl

Next, we need to compile the contract to a Wasm file.

cargo odra build -c custom_item 

Then, we can deploy the contract using the casper-client tool.

casper-client put-deploy \
--node-address http://localhost:11101 \
--chain-name casper-net-1 \
--secret-key path/to/your/secret_key.pem \
--session-path [PATH_TO_WASM] \
--payment-amount 100000000000 \
--session-arg "odra_cfg_package_hash_key_name:string:'test_contract_package_hash'" \
--session-arg "odra_cfg_allow_key_override:bool:'true'" \
--session-arg "odra_cfg_is_upgradable:bool:'true'" \
--session-arg "name:string='My Name'" \
--session-arg "description:string='My Description'" \
--session-arg "price_1:u256='101'" \
--session-arg "price_2:u256='202'"

Finally, we can call the set_data method to set the values of the contract.

casper-client put-deploy \
--node-address http://localhost:11101 \
--chain-name casper-net-1 \
--secret-key ./keys/secret_key.pem \
--payment-amount 2000000000 \
--session-hash [DEPLOYED_CONTRACT_HASH] \
--session-entry-point "set_data" \
--session-arg "value:u32:'666'" \
--session-arg "name:string='alice'" \
--session-arg "name2:string='bob'"

Storage Layout

To read the state of the contract, we need to understand the storage layout.

The first step is to calculate the index of the keys.

Storage Layout

CustomItem: prefix: 0x0..._0000_0000_0000 0
version: u32, 0x0..._0000_0000_0000 0
meta: Metadata, 0x0..._0000_0000_0001 1
data: Data: prefix: 0x0..._0000_0000_0010 2
value: u32, 0x0..._0000_0010_0000 (2 << 4) + 0
inner: InnerData: prefix: 0x0..._0000_0010_0001 (2 << 4) + 1
named_values: Mapping 0x0..._0010_0001_0000 ((2 << 4) + 1) << 4 + 0

The actual key is obtained as follows:

  1. Convert the index to a big-endian byte array.
  2. Concatenate the index with the mapping data.
  3. Hash the concatenated bytes using blake2b.
  4. Return the hex representation of the hash (the stored key must be utf-8 encoded).

In more detail, the storage layout is described in the Storage Layout article.

Reading the state

main.rs
use casper_client::{rpcs::DictionaryItemIdentifier, types::StoredValue, Verbosity};
use casper_types::{
bytesrepr::{FromBytes, ToBytes},
U256,
};

// replace with your contract hash
const CONTRACT_HASH: &str = "hash-...";
const NODE_ADDRESS: &str = "http://localhost:11101/rpc";
const RPC_ID: &str = "casper-net-1";
const DICTIONARY_NAME: &str = "state";

#[derive(Debug, PartialEq, Eq, Hash)]
pub struct Metadata {
name: String,
description: String,
prices: Vec<Price>,
}

#[derive(Debug, PartialEq, Eq, Hash)]
pub struct Price {
value: U256,
}

async fn read_state_key(key: String) -> Vec<u8> {
let state_root_hash = casper_client::get_state_root_hash(
RPC_ID.to_string().into(),
NODE_ADDRESS,
Verbosity::Low,
None,
)
.await
.unwrap()
.result
.state_root_hash
.unwrap();

// Read the value from the `state` dictionary.
let result = casper_client::get_dictionary_item(
RPC_ID.to_string().into(),
NODE_ADDRESS,
Verbosity::Low,
state_root_hash,
DictionaryItemIdentifier::ContractNamedKey {
key: CONTRACT_HASH.to_string(),
dictionary_name: DICTIONARY_NAME.to_string(),
dictionary_item_key: key,
},
)
.await
.unwrap()
.result
.stored_value;

// We expect the value to be a CLValue
if let StoredValue::CLValue(cl_value) = result {
// Ignore the first 4 bytes, which are the length of the CLType.
cl_value.inner_bytes()[4..].to_vec()
} else {
vec![]
}
}

async fn metadata() -> Metadata {
// The key for the metadata is 1, and it has no mapping data
let key = key(1, &[]);
let bytes = read_state_key(key).await;

// Read the name and store the remaining bytes
let (name, bytes) = String::from_bytes(&bytes).unwrap();
// Read the description and store the remaining bytes
let (description, bytes) = String::from_bytes(&bytes).unwrap();
// A vector is stored as a u32 size followed by the elements
// Read the size of the vector and store the remaining bytes
let (size, mut bytes) = u32::from_bytes(&bytes).unwrap();

let mut prices = vec![];
// As we know the size of the vector, we can loop over it
for _ in 0..size {
// Read the value and store the remaining bytes
let (value, rem) = U256::from_bytes(&bytes).unwrap();
bytes = rem;
prices.push(Price { value });
}
// Anytime you finish parsing a value, you should check if there are any remaining bytes
// if there are, it means you have a bug in your parsing logic.
// For simplicity, we will ignore the remaining bytes here.
Metadata {
name,
description,
prices
}
}

async fn value() -> u32 {
// The key for the value is (2 << 4) + 0, and it has no mapping data
let key = key(2 << 4, &[]);
let bytes = read_state_key(key).await;

// Read the value and ignore the remaining bytes for simplicity
u32::from_bytes(&bytes).unwrap().0
}

async fn named_value(name: &str) -> u32 {
// The key for the named value is ((2 << 4) + 1) << 4, and the mapping data is the name as bytes
let mapping_data = name.to_bytes().unwrap();
let key = key(((2 << 4) + 1) << 4, &mapping_data);
let bytes = read_state_key(key).await;

// Read the value and ignore the remaining bytes for simplicity
u32::from_bytes(&bytes).unwrap().0
}

fn main() {
let runtime = tokio::runtime::Runtime::new().unwrap();
dbg!(runtime.block_on(metadata()));
dbg!(runtime.block_on(value()));
dbg!(runtime.block_on(named_value("alice")));
dbg!(runtime.block_on(named_value("bob")));
}

// The key is a combination of the index and the mapping data
// The algorithm is as follows:
// 1. Convert the index to a big-endian byte array
// 2. Concatenate the index with the mapping data
// 3. Hash the concatenated bytes using blake2b
// 4. Return the hex representation of the hash (the stored key must be utf-8 encoded)
fn key(idx: u32, mapping_data: &[u8]) -> String {
let mut key = Vec::new();
key.extend_from_slice(idx.to_be_bytes().as_ref());
key.extend_from_slice(mapping_data);
let hashed_key = blake2b(&key);

hex::encode(&hashed_key)
}

fn blake2b(bytes: &[u8]) -> [u8; 32] {
let mut result = [0u8; 32];
let mut hasher = <blake2::Blake2bVar as blake2::digest::VariableOutput>::new(32)
.expect("should create hasher");
let _ = std::io::Write::write(&mut hasher, bytes);
blake2::digest::VariableOutput::finalize_variable(hasher, &mut result)
.expect("should copy hash to the result array");
result
}

cargo run
[src/main.rs:116:5] runtime.block_on(metadata()) = Metadata {
name: "My Contract",
description: "My Description",
prices: [
Price {
value: 123,
},
Price {
value: 321,
},
],
}
[src/main.rs:117:5] runtime.block_on(value()) = 666
[src/main.rs:118:5] runtime.block_on(named_value("alice")) = 20
[src/main.rs:119:5] runtime.block_on(named_value("bob")) = 10