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
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151

use crate::prelude::*;
use ibc_proto::ics23::{InnerSpec as IbcInnerSpec, LeafOp as IbcLeafOp, ProofSpec as IbcProofSpec};
use ics23::{InnerSpec as Ics23InnerSpec, LeafOp as Ics23LeafOp, ProofSpec as Ics23ProofSpec};

/// An array of proof specifications.
///
/// This type encapsulates different types of proof specifications, mostly predefined, e.g., for
/// Cosmos-SDK.
/// Additionally, this type also aids in the conversion from `ProofSpec` types from crate `ics23`
/// into proof specifications as represented in the `ibc_proto` type; see the
/// `From` trait(s) below.
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
#[derive(Clone, Debug, PartialEq, Eq)]
pub struct ProofSpecs(Vec<ProofSpec>);

impl ProofSpecs {
    /// Returns the specification for Cosmos-SDK proofs
    pub fn cosmos() -> Self {
        vec![
            ics23::iavl_spec(),       // Format of proofs-iavl (iavl merkle proofs)
            ics23::tendermint_spec(), // Format of proofs-tendermint (crypto/ merkle SimpleProof)
        ]
        .into()
    }

    pub fn is_empty(&self) -> bool {
        self.0.is_empty()
    }
}

impl Default for ProofSpecs {
    fn default() -> Self {
        Self::cosmos()
    }
}

impl From<Vec<IbcProofSpec>> for ProofSpecs {
    fn from(ibc_specs: Vec<IbcProofSpec>) -> Self {
        Self(ibc_specs.into_iter().map(ProofSpec).collect())
    }
}

impl From<Vec<Ics23ProofSpec>> for ProofSpecs {
    fn from(ics23_specs: Vec<Ics23ProofSpec>) -> Self {
        Self(
            ics23_specs
                .into_iter()
                .map(|ics23_spec| ics23_spec.into())
                .collect(),
        )
    }
}

impl From<ProofSpecs> for Vec<Ics23ProofSpec> {
    fn from(specs: ProofSpecs) -> Self {
        specs.0.into_iter().map(|spec| spec.into()).collect()
    }
}

impl From<ProofSpecs> for Vec<IbcProofSpec> {
    fn from(specs: ProofSpecs) -> Self {
        specs.0.into_iter().map(|spec| spec.0).collect()
    }
}

#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
#[derive(Clone, Debug, PartialEq, Eq)]
struct ProofSpec(IbcProofSpec);

impl From<Ics23ProofSpec> for ProofSpec {
    fn from(spec: Ics23ProofSpec) -> Self {
        Self(IbcProofSpec {
            leaf_spec: spec.leaf_spec.map(|lop| LeafOp::from(lop).0),
            inner_spec: spec.inner_spec.map(|ispec| InnerSpec::from(ispec).0),
            max_depth: spec.max_depth,
            min_depth: spec.min_depth,
        })
    }
}

impl From<ProofSpec> for Ics23ProofSpec {
    fn from(spec: ProofSpec) -> Self {
        let spec = spec.0;
        Ics23ProofSpec {
            leaf_spec: spec.leaf_spec.map(|lop| LeafOp(lop).into()),
            inner_spec: spec.inner_spec.map(|ispec| InnerSpec(ispec).into()),
            max_depth: spec.max_depth,
            min_depth: spec.min_depth,
        }
    }
}

#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
#[derive(Clone, Debug, PartialEq, Eq)]
struct LeafOp(IbcLeafOp);

impl From<Ics23LeafOp> for LeafOp {
    fn from(leaf_op: Ics23LeafOp) -> Self {
        Self(IbcLeafOp {
            hash: leaf_op.hash,
            prehash_key: leaf_op.prehash_key,
            prehash_value: leaf_op.prehash_value,
            length: leaf_op.length,
            prefix: leaf_op.prefix,
        })
    }
}

impl From<LeafOp> for Ics23LeafOp {
    fn from(leaf_op: LeafOp) -> Self {
        let leaf_op = leaf_op.0;
        Ics23LeafOp {
            hash: leaf_op.hash,
            prehash_key: leaf_op.prehash_key,
            prehash_value: leaf_op.prehash_value,
            length: leaf_op.length,
            prefix: leaf_op.prefix,
        }
    }
}

#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
#[derive(Clone, Debug, PartialEq, Eq)]
struct InnerSpec(IbcInnerSpec);

impl From<Ics23InnerSpec> for InnerSpec {
    fn from(inner_spec: Ics23InnerSpec) -> Self {
        Self(IbcInnerSpec {
            child_order: inner_spec.child_order,
            child_size: inner_spec.child_size,
            min_prefix_length: inner_spec.min_prefix_length,
            max_prefix_length: inner_spec.max_prefix_length,
            empty_child: inner_spec.empty_child,
            hash: inner_spec.hash,
        })
    }
}

impl From<InnerSpec> for Ics23InnerSpec {
    fn from(inner_spec: InnerSpec) -> Self {
        let inner_spec = inner_spec.0;
        Ics23InnerSpec {
            child_order: inner_spec.child_order,
            child_size: inner_spec.child_size,
            min_prefix_length: inner_spec.min_prefix_length,
            max_prefix_length: inner_spec.max_prefix_length,
            empty_child: inner_spec.empty_child,
            hash: inner_spec.hash,
        }
    }
}