tendermint/proposal/
canonical_proposal.rs

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
//! CanonicalProposal

use super::Type;
use crate::{
    block::{Height, Id as BlockId, Round},
    chain::Id as ChainId,
    prelude::*,
    Time,
};

/// CanonicalProposal for signing
#[derive(Clone, PartialEq, Eq)]
pub struct CanonicalProposal {
    /// type alias for byte
    pub msg_type: Type,
    /// canonicalization requires fixed size encoding here
    pub height: Height,
    /// canonicalization requires fixed size encoding here
    pub round: Round,
    /// POL round
    pub pol_round: Option<Round>,
    /// Block ID
    pub block_id: Option<BlockId>,
    /// Timestamp
    pub timestamp: Option<Time>,
    /// Chain ID
    pub chain_id: ChainId,
}

tendermint_pb_modules! {
    use crate::{
        block::{Id as BlockId, Round},
        chain::Id as ChainId,
        error::Error,
        prelude::*,
    };
    use super::CanonicalProposal;
    use pb::types::CanonicalProposal as RawCanonicalProposal;

    impl Protobuf<RawCanonicalProposal> for CanonicalProposal {}

    impl TryFrom<RawCanonicalProposal> for CanonicalProposal {
        type Error = Error;

        fn try_from(value: RawCanonicalProposal) -> Result<Self, Self::Error> {
            if value.pol_round < -1 {
                return Err(Error::negative_pol_round());
            }
            let round = Round::try_from(i32::try_from(value.round).map_err(Error::integer_overflow)?)?;
            let pol_round = match value.pol_round {
                -1 => None,
                n => Some(Round::try_from(
                    i32::try_from(n).map_err(Error::integer_overflow)?,
                )?),
            };
            // If the Hash is empty in BlockId, the BlockId should be empty.
            // See: https://github.com/informalsystems/tendermint-rs/issues/663
            let block_id = value.block_id.filter(|i| !i.hash.is_empty());
            Ok(CanonicalProposal {
                msg_type: value.r#type.try_into()?,
                height: value.height.try_into()?,
                round,
                pol_round,
                block_id: block_id.map(TryInto::try_into).transpose()?,
                timestamp: value.timestamp.map(|t| t.try_into()).transpose()?,
                chain_id: ChainId::try_from(value.chain_id).unwrap(),
            })
        }
    }

    impl From<CanonicalProposal> for RawCanonicalProposal {
        fn from(value: CanonicalProposal) -> Self {
            // If the Hash is empty in BlockId, the BlockId should be empty.
            // See: https://github.com/informalsystems/tendermint-rs/issues/663
            let block_id = value.block_id.filter(|i| i != &BlockId::default());
            RawCanonicalProposal {
                r#type: value.msg_type.into(),
                height: value.height.into(),
                round: i32::from(value.round) as i64,
                pol_round: match value.pol_round {
                    None => -1,
                    Some(p) => i32::from(p) as i64,
                },
                block_id: block_id.map(Into::into),
                timestamp: value.timestamp.map(Into::into),
                chain_id: value.chain_id.as_str().to_string(),
            }
        }
    }
}

impl CanonicalProposal {
    /// Create CanonicalProposal from Proposal
    pub fn new(proposal: super::Proposal, chain_id: ChainId) -> CanonicalProposal {
        CanonicalProposal {
            msg_type: proposal.msg_type,
            height: proposal.height,
            round: proposal.round,
            pol_round: proposal.pol_round,
            block_id: proposal.block_id,
            timestamp: proposal.timestamp,
            chain_id,
        }
    }
}

#[cfg(test)]
mod tests {
    tendermint_pb_modules! {
        use pb::types::{
            CanonicalBlockId as RawCanonicalBlockId,
            CanonicalPartSetHeader as RawCanonicalPartSetHeader,
            CanonicalProposal as RawCanonicalProposal,
        };

        use crate::{
            prelude::*,
            proposal::{canonical_proposal::CanonicalProposal, Type},
        };

        #[test]
        fn canonical_proposal_domain_checks() {
            // RawCanonicalProposal with edge cases to test domain knowledge
            // pol_round = -1 should decode to None
            // block_id with empty hash should decode to None
            let proto_cp = RawCanonicalProposal {
                r#type: 32,
                height: 2,
                round: 4,
                pol_round: -1,
                block_id: Some(RawCanonicalBlockId {
                    hash: vec![],
                    part_set_header: Some(RawCanonicalPartSetHeader {
                        total: 1,
                        hash: vec![1],
                    }),
                }),
                timestamp: None,
                chain_id: "testchain".to_string(),
            };
            let cp = CanonicalProposal::try_from(proto_cp).unwrap();
            assert_eq!(cp.msg_type, Type::Proposal);
            assert!(cp.pol_round.is_none());
            assert!(cp.block_id.is_none());
        }
    }
}