miden-objects 0.17.0-rc.4

Canonical Protobuf representations for Miden protocol objects
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

//! Domain construction for decoded asset messages.
use miden_protobuf::unwrap_infallible;
pub use proto::asset::DecodedAssetClass as AssetClass;

use crate::decoded::VerificationError;
use crate::{Verify, proto};

#[cfg(test)]
mod tests;

impl Verify for AssetClass {
    type Verified = miden_protocol::asset::AssetClass;
    type Error = core::convert::Infallible;
    fn verify(self) -> Result<Self::Verified, Self::Error> {
        Ok(Self::Verified::new(self.suffix, self.prefix))
    }
}

pub use proto::asset::DecodedAssetId as AssetId;

impl Verify for AssetId {
    type Verified = miden_protocol::asset::AssetId;
    type Error = VerificationError;
    fn verify(self) -> Result<Self::Verified, Self::Error> {
        use miden_protocol::asset::AssetComposition;
        use proto::asset::asset_id::DecodedComposition;

        match self.version {
            proto::asset::AssetVersion::V1 => {},
            proto::asset::AssetVersion::Unspecified => {
                return Err(AssetIdError::UnspecifiedVersion.into());
            },
        }
        let faucet_id = self.faucet_id.verify()?;
        match self.composition {
            DecodedComposition::Fungible(()) => Ok(Self::Verified::new_fungible(faucet_id)),
            DecodedComposition::NonFungible(asset_class) => Ok(Self::Verified::new(
                unwrap_infallible(asset_class.verify()),
                faucet_id,
                AssetComposition::None,
            )?),
            DecodedComposition::Custom(asset_class) => Ok(Self::Verified::new(
                unwrap_infallible(asset_class.verify()),
                faucet_id,
                AssetComposition::Custom,
            )?),
        }
    }
}
#[derive(Debug, thiserror::Error)]
pub enum AssetIdError {
    #[error("asset id version is unspecified")]
    UnspecifiedVersion,
}

pub use proto::asset::DecodedAsset as Asset;

impl Verify for Asset {
    type Verified = miden_protocol::asset::Asset;
    type Error = VerificationError;
    fn verify(self) -> Result<Self::Verified, Self::Error> {
        Ok(Self::Verified::new(self.asset_id.verify()?, self.value)?)
    }
}