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
//! Contract interface trait definition.
//!
//! This module defines the `ContractInterface` trait which all contracts must implement.
use crateParameters;
use ;
/// Trait to implement for the contract building.
///
/// Contains all necessary methods to interact with the contract.
///
/// # Examples
///
/// Implementing `ContractInterface` on a type:
///
/// ```
/// # use freenet_stdlib::prelude::*;
/// struct Contract;
///
/// #[contract]
/// impl ContractInterface for Contract {
/// fn validate_state(
/// _parameters: Parameters<'static>,
/// _state: State<'static>,
/// _related: RelatedContracts
/// ) -> Result<ValidateResult, ContractError> {
/// Ok(ValidateResult::Valid)
/// }
///
/// fn update_state(
/// _parameters: Parameters<'static>,
/// state: State<'static>,
/// _data: Vec<UpdateData>,
/// ) -> Result<UpdateModification<'static>, ContractError> {
/// Ok(UpdateModification::valid(state))
/// }
///
/// fn summarize_state(
/// _parameters: Parameters<'static>,
/// _state: State<'static>,
/// ) -> Result<StateSummary<'static>, ContractError> {
/// Ok(StateSummary::from(vec![]))
/// }
///
/// fn get_state_delta(
/// _parameters: Parameters<'static>,
/// _state: State<'static>,
/// _summary: StateSummary<'static>,
/// ) -> Result<StateDelta<'static>, ContractError> {
/// Ok(StateDelta::from(vec![]))
/// }
/// }
/// ```
// ANCHOR: contractifce
/// # ContractInterface
///
/// This trait defines the core functionality for managing and updating a contract's state.
/// Implementations must ensure that state delta updates are *commutative*. In other words,
/// when applying multiple delta updates to a state, the order in which these updates are
/// applied should not affect the final state. Once all deltas are applied, the resulting
/// state should be the same, regardless of the order in which the deltas were applied.
///
/// Noncompliant behavior, such as failing to obey the commutativity rule, may result
/// in the contract being deprioritized or removed from the p2p network.
// ANCHOR_END: contractifce