sonic-api 0.12.0

API for formally-verifiable distributed 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

// SONIC: Standard library for formally-verifiable distributed contracts
//
// SPDX-License-Identifier: Apache-2.0
//
// Designed in 2019-2025 by Dr Maxim Orlovsky <orlovsky@ubideco.org>
// Written in 2024-2025 by Dr Maxim Orlovsky <orlovsky@ubideco.org>
//
// Copyright (C) 2019-2024 LNP/BP Standards Association, Switzerland.
// Copyright (C) 2024-2025 Laboratories for Ubiquitous Deterministic Computing (UBIDECO),
//                         Institute for Distributed and Cognitive Systems (InDCS), Switzerland.
// Copyright (C) 2019-2025 Dr Maxim Orlovsky.
// All rights under the above copyrights are reserved.
//
// Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except
// in compliance with the License. You may obtain a copy of the License at
//
//        http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software distributed under the License
// is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
// or implied. See the License for the specific language governing permissions and limitations under
// the License.

use amplify::num::u256;
use strict_types::StrictVal;
use ultrasonic::{AuthToken, CellLock};

pub type StateTy = u256;

#[derive(Clone, Eq, PartialEq, Debug)]
#[cfg_attr(feature = "serde", derive(Serialize, Deserialize), serde(rename_all = "camelCase"))]
pub struct StateAtom {
    pub verified: StrictVal,
    pub unverified: Option<StrictVal>,
}

impl StateAtom {
    #[inline]
    pub fn new_verified(val: impl Into<StrictVal>) -> Self { Self { verified: val.into(), unverified: None } }

    #[inline]
    pub fn new_unverified(val: impl Into<StrictVal>) -> Self {
        Self { verified: StrictVal::Unit, unverified: Some(val.into()) }
    }

    #[inline]
    pub fn with(verified: impl Into<StrictVal>, unverified: impl Into<StrictVal>) -> Self {
        Self {
            verified: verified.into(),
            unverified: Some(unverified.into()),
        }
    }
}

#[derive(Clone, Eq, PartialEq, Debug)]
#[cfg_attr(feature = "serde", derive(Serialize, Deserialize), serde(rename_all = "camelCase"))]
pub struct DataCell {
    pub data: StrictVal,
    pub auth: AuthToken,
    pub lock: Option<CellLock>,
}

impl DataCell {
    #[inline]
    pub fn new_unlocked(auth: impl Into<AuthToken>, data: impl Into<StrictVal>) -> Self {
        Self { data: data.into(), auth: auth.into(), lock: None }
    }
}