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
use crate::{
epoch_change::EpochChangeProof,
ledger_info::{LedgerInfo, LedgerInfoWithSignatures},
proof::AccumulatorConsistencyProof,
};
#[cfg(any(test, feature = "fuzzing"))]
use proptest_derive::Arbitrary;
use serde::{Deserialize, Serialize};
#[derive(Clone, Debug, Eq, PartialEq, Serialize, Deserialize)]
#[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))]
pub struct StateProof {
latest_li_w_sigs: LedgerInfoWithSignatures,
epoch_changes: EpochChangeProof,
consistency_proof: AccumulatorConsistencyProof,
}
impl StateProof {
pub fn new(
latest_li_w_sigs: LedgerInfoWithSignatures,
epoch_changes: EpochChangeProof,
consistency_proof: AccumulatorConsistencyProof,
) -> Self {
Self {
latest_li_w_sigs,
epoch_changes,
consistency_proof,
}
}
pub fn into_inner(
self,
) -> (
LedgerInfoWithSignatures,
EpochChangeProof,
AccumulatorConsistencyProof,
) {
(
self.latest_li_w_sigs,
self.epoch_changes,
self.consistency_proof,
)
}
pub fn as_inner(
&self,
) -> (
&LedgerInfoWithSignatures,
&EpochChangeProof,
&AccumulatorConsistencyProof,
) {
(
&self.latest_li_w_sigs,
&self.epoch_changes,
&self.consistency_proof,
)
}
#[inline]
pub fn latest_ledger_info(&self) -> &LedgerInfo {
self.latest_li_w_sigs.ledger_info()
}
#[inline]
pub fn latest_ledger_info_w_sigs(&self) -> &LedgerInfoWithSignatures {
&self.latest_li_w_sigs
}
#[inline]
pub fn epoch_changes(&self) -> &EpochChangeProof {
&self.epoch_changes
}
#[inline]
pub fn consistency_proof(&self) -> &AccumulatorConsistencyProof {
&self.consistency_proof
}
}
#[cfg(test)]
mod tests {
use super::*;
use bcs::test_helpers::assert_canonical_encode_decode;
use proptest::prelude::*;
proptest! {
#![proptest_config(ProptestConfig::with_cases(20))]
#[test]
fn test_state_proof_canonical_serialization(proof in any::<StateProof>()) {
assert_canonical_encode_decode(proof);
}
}
}