piecrust 0.30.0

Dusk's virtual machine for running WASM smart contracts.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115

// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at http://mozilla.org/MPL/2.0/.
//
// Copyright (c) DUSK NETWORK. All rights reserved.

use piecrust::{ContractData, Error, SessionData, VM, contract_bytecode};
use piecrust_uplink::ContractId;

const OWNER: [u8; 32] = [0u8; 32];
const LIMIT: u64 = 1_000_000;

const CROSSOVER_ONE: ContractId = {
    let mut bytes = [0; 32];
    bytes[0] = 0x01;
    ContractId::from_bytes(bytes)
};

const CROSSOVER_TWO: ContractId = {
    let mut bytes = [0; 32];
    bytes[0] = 0x02;
    ContractId::from_bytes(bytes)
};

#[test]
fn crossover() -> Result<(), Error> {
    let vm = VM::ephemeral()?;

    let mut session = vm.session(SessionData::builder())?;

    session.deploy(
        contract_bytecode!("crossover"),
        ContractData::builder()
            .owner(OWNER)
            .contract_id(CROSSOVER_ONE),
        LIMIT,
    )?;
    session.deploy(
        contract_bytecode!("crossover"),
        ContractData::builder()
            .owner(OWNER)
            .contract_id(CROSSOVER_TWO),
        LIMIT,
    )?;

    // These value should not be set to `INITIAL_VALUE` in the contract.
    const CROSSOVER_TO_SET: i32 = 42;
    const CROSSOVER_TO_SET_FORWARD: i32 = 314;
    const CROSSOVER_TO_SET_BACK: i32 = 272;

    // This call will fail if the state is inconsistent. Check the contract for
    // more details.
    session.call::<_, ()>(
        CROSSOVER_ONE,
        "check_consistent_state_on_errors",
        &(
            CROSSOVER_TWO,
            CROSSOVER_TO_SET,
            CROSSOVER_TO_SET_FORWARD,
            CROSSOVER_TO_SET_BACK,
        ),
        LIMIT,
    )?;

    assert_eq!(
        session
            .call::<_, i32>(CROSSOVER_ONE, "crossover", &(), LIMIT)?
            .data,
        CROSSOVER_TO_SET,
        "The crossover should still be set even though the other contract panicked"
    );

    Ok(())
}

#[test]
fn iccs_dont_rollback() -> Result<(), Error> {
    let vm = VM::ephemeral()?;

    let mut session = vm.session(SessionData::builder())?;

    session.deploy(
        contract_bytecode!("crossover"),
        ContractData::builder()
            .owner(OWNER)
            .contract_id(CROSSOVER_ONE),
        LIMIT,
    )?;
    session.deploy(
        contract_bytecode!("crossover"),
        ContractData::builder()
            .owner(OWNER)
            .contract_id(CROSSOVER_TWO),
        LIMIT,
    )?;
    // These value should not be set to `INITIAL_VALUE` in the contract.
    const CROSSOVER_TO_SET: i32 = 42;

    session.call::<_, ()>(
        CROSSOVER_ONE,
        "check_iccs_dont_rollback",
        &(CROSSOVER_TWO, CROSSOVER_TO_SET),
        LIMIT,
    )?;

    assert_eq!(
        session
            .call::<_, i32>(CROSSOVER_ONE, "crossover", &(), LIMIT)?
            .data,
        CROSSOVER_TO_SET,
        "The crossover should still be set even though the other contract panicked"
    );

    Ok(())
}