lib/reticulum/src/conformance/announce.zig
daab053ee43316e1809a84551d573ddd1e5bf3d2
1 //! Generated by `lib/reticulum/build/generate` with `rns==1.5.0`.
2 //! The upstream source is Reticulum commit `e32d4df754a7b87b1bf1bb0d08675d12ff505ae6`.
3 //! Hand edits are lost.
4 //!
5 //! The announce vectors record each announce the reference built and signed
6 //! with the keys and random bytes behind it, from
7 //! Reticulum@1.5.0 RNS/Destination.py:244,283,298.
8 //! The validation verdicts record whether the reference accepted the announce
9 //! and a copy with one flipped signature bit, from RNS/Identity.py:511.
10 //! The random inputs are 16 random bytes whose hash gives the first five of the
11 //! announce's random bytes, from RNS/Identity.py:379.
12 //! The random bytes behind the keys use RNS/Cryptography/X25519.py:127 and
13 //! Ed25519.py:41.
14
15 pub const Vector = struct {
16 name: []const u8,
17 key_entropy: []const u8,
18 private_key: []const u8,
19 public_key: []const u8,
20 identity_hash: []const u8,
21 destination_hash: []const u8,
22 name_hash: []const u8,
23 random_input: []const u8,
24 clock: u64,
25 random_hash: []const u8,
26 ratchet_key_entropy: []const u8,
27 ratchet_private_key: []const u8,
28 ratchet_public_key: []const u8,
29 app_data: []const u8,
30 signed_data: []const u8,
31 signature: []const u8,
32 raw: []const u8,
33 corrupted_raw: []const u8,
34 validate_verdict: bool,
35 corrupted_validate_verdict: bool,
36 };
37
38 pub const vectors: []const Vector = &.{
39 .{
40 .name = "identity-no-app-data",
41 .key_entropy = &.{
42 0x0f, 0x72, 0xe9, 0xdf, 0xd8, 0x6b, 0x82, 0xfc, 0xc5, 0x2d, 0x1a, 0x61,
43 0xf8, 0x7d, 0x72, 0x6e, 0x5a, 0x19, 0x3c, 0xfc, 0xc6, 0xab, 0x3b, 0x26,
44 0x25, 0xa6, 0x8c, 0xe2, 0xe9, 0x15, 0x15, 0x88, 0x54, 0x0a, 0xc4, 0xa5,
45 0x8a, 0xc0, 0x1c, 0x61, 0x8e, 0xed, 0x0a, 0x8a, 0xe3, 0xe3, 0xf7, 0x1a,
46 0xa5, 0xfb, 0xf0, 0x0e, 0xb1, 0x17, 0x19, 0x25, 0x7c, 0x4f, 0xe7, 0x0c,
47 0xf3, 0xdc, 0xaf, 0xcd,
48 },
49 .private_key = &.{
50 0x08, 0x72, 0xe9, 0xdf, 0xd8, 0x6b, 0x82, 0xfc, 0xc5, 0x2d, 0x1a, 0x61,
51 0xf8, 0x7d, 0x72, 0x6e, 0x5a, 0x19, 0x3c, 0xfc, 0xc6, 0xab, 0x3b, 0x26,
52 0x25, 0xa6, 0x8c, 0xe2, 0xe9, 0x15, 0x15, 0x48, 0x54, 0x0a, 0xc4, 0xa5,
53 0x8a, 0xc0, 0x1c, 0x61, 0x8e, 0xed, 0x0a, 0x8a, 0xe3, 0xe3, 0xf7, 0x1a,
54 0xa5, 0xfb, 0xf0, 0x0e, 0xb1, 0x17, 0x19, 0x25, 0x7c, 0x4f, 0xe7, 0x0c,
55 0xf3, 0xdc, 0xaf, 0xcd,
56 },
57 .public_key = &.{
58 0x3c, 0x16, 0xa4, 0x7b, 0xc3, 0xcd, 0x38, 0x94, 0xbf, 0xe9, 0xa6, 0x7a,
59 0xb5, 0xe7, 0x2c, 0xb9, 0x96, 0x4a, 0x9d, 0x6b, 0x71, 0x6c, 0x74, 0x3a,
60 0x4a, 0x20, 0xb1, 0x2a, 0x7f, 0x9f, 0xe5, 0x12, 0x61, 0xb9, 0xf0, 0xd6,
61 0xdd, 0x9e, 0xa1, 0x35, 0xf4, 0x71, 0xf8, 0x32, 0xae, 0x69, 0xe1, 0x67,
62 0xe7, 0x8a, 0x20, 0x46, 0xa0, 0x23, 0x8a, 0x2a, 0x6a, 0x90, 0x98, 0x89,
63 0xc9, 0x57, 0x9a, 0x04,
64 },
65 .identity_hash = &.{
66 0xba, 0x2b, 0x9c, 0xc3, 0x25, 0xa9, 0x8a, 0x6f, 0x94, 0xaa, 0xa8, 0x1c,
67 0xd4, 0xaa, 0xda, 0xcb,
68 },
69 .destination_hash = &.{
70 0xbc, 0xdf, 0x15, 0x62, 0x79, 0x10, 0x0a, 0x6b, 0x11, 0x9e, 0x02, 0xd8,
71 0x49, 0xc0, 0xe3, 0x16,
72 },
73 .name_hash = &.{
74 0xd6, 0x1e, 0x4a, 0x0a, 0x55, 0x70, 0xf8, 0x77, 0x1e, 0x66,
75 },
76 .random_input = &.{
77 0x2c, 0x18, 0x30, 0x04, 0x79, 0x22, 0xcc, 0x6f, 0x13, 0x0d, 0x8f, 0x40,
78 0xc5, 0x62, 0x95, 0x73,
79 },
80 .clock = 1700000000,
81 .random_hash = &.{
82 0x02, 0x7f, 0x7a, 0x3f, 0x92, 0x00, 0x65, 0x53, 0xf1, 0x00,
83 },
84 .ratchet_key_entropy = &.{},
85 .ratchet_private_key = &.{},
86 .ratchet_public_key = &.{},
87 .app_data = &.{},
88 .signed_data = &.{
89 0xbc, 0xdf, 0x15, 0x62, 0x79, 0x10, 0x0a, 0x6b, 0x11, 0x9e, 0x02, 0xd8,
90 0x49, 0xc0, 0xe3, 0x16, 0x3c, 0x16, 0xa4, 0x7b, 0xc3, 0xcd, 0x38, 0x94,
91 0xbf, 0xe9, 0xa6, 0x7a, 0xb5, 0xe7, 0x2c, 0xb9, 0x96, 0x4a, 0x9d, 0x6b,
92 0x71, 0x6c, 0x74, 0x3a, 0x4a, 0x20, 0xb1, 0x2a, 0x7f, 0x9f, 0xe5, 0x12,
93 0x61, 0xb9, 0xf0, 0xd6, 0xdd, 0x9e, 0xa1, 0x35, 0xf4, 0x71, 0xf8, 0x32,
94 0xae, 0x69, 0xe1, 0x67, 0xe7, 0x8a, 0x20, 0x46, 0xa0, 0x23, 0x8a, 0x2a,
95 0x6a, 0x90, 0x98, 0x89, 0xc9, 0x57, 0x9a, 0x04, 0xd6, 0x1e, 0x4a, 0x0a,
96 0x55, 0x70, 0xf8, 0x77, 0x1e, 0x66, 0x02, 0x7f, 0x7a, 0x3f, 0x92, 0x00,
97 0x65, 0x53, 0xf1, 0x00,
98 },
99 .signature = &.{
100 0x0c, 0xd8, 0xa7, 0xb0, 0xee, 0x50, 0x27, 0xdf, 0x23, 0x06, 0x18, 0x66,
101 0xfd, 0xad, 0x0d, 0xc8, 0xd1, 0x9b, 0x9f, 0x60, 0xd1, 0xeb, 0x6d, 0x56,
102 0xd1, 0x5d, 0x3f, 0xcc, 0x7b, 0xc8, 0x2a, 0xd4, 0xe2, 0x9c, 0x62, 0x9f,
103 0x5f, 0xae, 0x98, 0x3d, 0x74, 0x57, 0x29, 0x3e, 0xe6, 0xcb, 0x07, 0x40,
104 0xc2, 0x38, 0x3d, 0xb1, 0x2a, 0xcf, 0x1d, 0x7c, 0xc6, 0x33, 0xe5, 0x7d,
105 0xfa, 0xcb, 0x06, 0x0f,
106 },
107 .raw = &.{
108 0x01, 0x00, 0xbc, 0xdf, 0x15, 0x62, 0x79, 0x10, 0x0a, 0x6b, 0x11, 0x9e,
109 0x02, 0xd8, 0x49, 0xc0, 0xe3, 0x16, 0x00, 0x3c, 0x16, 0xa4, 0x7b, 0xc3,
110 0xcd, 0x38, 0x94, 0xbf, 0xe9, 0xa6, 0x7a, 0xb5, 0xe7, 0x2c, 0xb9, 0x96,
111 0x4a, 0x9d, 0x6b, 0x71, 0x6c, 0x74, 0x3a, 0x4a, 0x20, 0xb1, 0x2a, 0x7f,
112 0x9f, 0xe5, 0x12, 0x61, 0xb9, 0xf0, 0xd6, 0xdd, 0x9e, 0xa1, 0x35, 0xf4,
113 0x71, 0xf8, 0x32, 0xae, 0x69, 0xe1, 0x67, 0xe7, 0x8a, 0x20, 0x46, 0xa0,
114 0x23, 0x8a, 0x2a, 0x6a, 0x90, 0x98, 0x89, 0xc9, 0x57, 0x9a, 0x04, 0xd6,
115 0x1e, 0x4a, 0x0a, 0x55, 0x70, 0xf8, 0x77, 0x1e, 0x66, 0x02, 0x7f, 0x7a,
116 0x3f, 0x92, 0x00, 0x65, 0x53, 0xf1, 0x00, 0x0c, 0xd8, 0xa7, 0xb0, 0xee,
117 0x50, 0x27, 0xdf, 0x23, 0x06, 0x18, 0x66, 0xfd, 0xad, 0x0d, 0xc8, 0xd1,
118 0x9b, 0x9f, 0x60, 0xd1, 0xeb, 0x6d, 0x56, 0xd1, 0x5d, 0x3f, 0xcc, 0x7b,
119 0xc8, 0x2a, 0xd4, 0xe2, 0x9c, 0x62, 0x9f, 0x5f, 0xae, 0x98, 0x3d, 0x74,
120 0x57, 0x29, 0x3e, 0xe6, 0xcb, 0x07, 0x40, 0xc2, 0x38, 0x3d, 0xb1, 0x2a,
121 0xcf, 0x1d, 0x7c, 0xc6, 0x33, 0xe5, 0x7d, 0xfa, 0xcb, 0x06, 0x0f,
122 },
123 .corrupted_raw = &.{
124 0x01, 0x00, 0xbc, 0xdf, 0x15, 0x62, 0x79, 0x10, 0x0a, 0x6b, 0x11, 0x9e,
125 0x02, 0xd8, 0x49, 0xc0, 0xe3, 0x16, 0x00, 0x3c, 0x16, 0xa4, 0x7b, 0xc3,
126 0xcd, 0x38, 0x94, 0xbf, 0xe9, 0xa6, 0x7a, 0xb5, 0xe7, 0x2c, 0xb9, 0x96,
127 0x4a, 0x9d, 0x6b, 0x71, 0x6c, 0x74, 0x3a, 0x4a, 0x20, 0xb1, 0x2a, 0x7f,
128 0x9f, 0xe5, 0x12, 0x61, 0xb9, 0xf0, 0xd6, 0xdd, 0x9e, 0xa1, 0x35, 0xf4,
129 0x71, 0xf8, 0x32, 0xae, 0x69, 0xe1, 0x67, 0xe7, 0x8a, 0x20, 0x46, 0xa0,
130 0x23, 0x8a, 0x2a, 0x6a, 0x90, 0x98, 0x89, 0xc9, 0x57, 0x9a, 0x04, 0xd6,
131 0x1e, 0x4a, 0x0a, 0x55, 0x70, 0xf8, 0x77, 0x1e, 0x66, 0x02, 0x7f, 0x7a,
132 0x3f, 0x92, 0x00, 0x65, 0x53, 0xf1, 0x00, 0x0d, 0xd8, 0xa7, 0xb0, 0xee,
133 0x50, 0x27, 0xdf, 0x23, 0x06, 0x18, 0x66, 0xfd, 0xad, 0x0d, 0xc8, 0xd1,
134 0x9b, 0x9f, 0x60, 0xd1, 0xeb, 0x6d, 0x56, 0xd1, 0x5d, 0x3f, 0xcc, 0x7b,
135 0xc8, 0x2a, 0xd4, 0xe2, 0x9c, 0x62, 0x9f, 0x5f, 0xae, 0x98, 0x3d, 0x74,
136 0x57, 0x29, 0x3e, 0xe6, 0xcb, 0x07, 0x40, 0xc2, 0x38, 0x3d, 0xb1, 0x2a,
137 0xcf, 0x1d, 0x7c, 0xc6, 0x33, 0xe5, 0x7d, 0xfa, 0xcb, 0x06, 0x0f,
138 },
139 .validate_verdict = true,
140 .corrupted_validate_verdict = false,
141 },
142 .{
143 .name = "identity-app-data",
144 .key_entropy = &.{
145 0x4a, 0x96, 0xd0, 0xb1, 0x72, 0xc4, 0xe0, 0x65, 0x42, 0xd4, 0xf1, 0x77,
146 0x48, 0x0c, 0xdc, 0x0a, 0x5c, 0x47, 0xee, 0x49, 0x77, 0xe8, 0x29, 0x1a,
147 0x5f, 0xae, 0x3e, 0xb6, 0xe2, 0x04, 0xda, 0x93, 0xc1, 0x4c, 0x4e, 0xec,
148 0x27, 0x02, 0xc9, 0x96, 0xc7, 0xdd, 0x3b, 0x4a, 0x06, 0x3c, 0x39, 0xa0,
149 0xcf, 0xab, 0xe0, 0xcf, 0x4a, 0x33, 0xbc, 0xd1, 0x68, 0x5e, 0x5f, 0xe4,
150 0x08, 0xca, 0x74, 0x96,
151 },
152 .private_key = &.{
153 0x48, 0x96, 0xd0, 0xb1, 0x72, 0xc4, 0xe0, 0x65, 0x42, 0xd4, 0xf1, 0x77,
154 0x48, 0x0c, 0xdc, 0x0a, 0x5c, 0x47, 0xee, 0x49, 0x77, 0xe8, 0x29, 0x1a,
155 0x5f, 0xae, 0x3e, 0xb6, 0xe2, 0x04, 0xda, 0x53, 0xc1, 0x4c, 0x4e, 0xec,
156 0x27, 0x02, 0xc9, 0x96, 0xc7, 0xdd, 0x3b, 0x4a, 0x06, 0x3c, 0x39, 0xa0,
157 0xcf, 0xab, 0xe0, 0xcf, 0x4a, 0x33, 0xbc, 0xd1, 0x68, 0x5e, 0x5f, 0xe4,
158 0x08, 0xca, 0x74, 0x96,
159 },
160 .public_key = &.{
161 0x02, 0x9e, 0x7e, 0x5e, 0x76, 0x24, 0x11, 0x71, 0xff, 0x7b, 0x42, 0x4a,
162 0x98, 0xf0, 0xe2, 0x5a, 0x05, 0x11, 0x10, 0x15, 0xc7, 0xf6, 0x60, 0x47,
163 0x3f, 0xca, 0xa5, 0x29, 0x50, 0x7f, 0xd8, 0x39, 0x98, 0x49, 0x8f, 0x86,
164 0x3a, 0x77, 0x29, 0x0e, 0x89, 0x1e, 0x3d, 0x13, 0x23, 0xc7, 0xd8, 0x15,
165 0xc3, 0xb0, 0x41, 0x19, 0x1c, 0xfb, 0xce, 0x65, 0x7d, 0x9b, 0x43, 0x63,
166 0x8b, 0xf1, 0x64, 0xf9,
167 },
168 .identity_hash = &.{
169 0xbb, 0x01, 0xc6, 0x37, 0x9d, 0x2d, 0xfa, 0xd1, 0x0a, 0x7e, 0xda, 0xa3,
170 0xc3, 0x26, 0x60, 0x32,
171 },
172 .destination_hash = &.{
173 0xe6, 0x63, 0x31, 0xf0, 0x7d, 0x0c, 0x2e, 0x3a, 0x12, 0xcc, 0x01, 0xe8,
174 0x4e, 0xf6, 0xaf, 0xf5,
175 },
176 .name_hash = &.{
177 0x93, 0xed, 0xd9, 0x51, 0xee, 0x53, 0x26, 0x32, 0xb7, 0x46,
178 },
179 .random_input = &.{
180 0x47, 0x34, 0x79, 0x04, 0xd6, 0x07, 0xa6, 0x58, 0x16, 0x00, 0xd2, 0xb5,
181 0xb4, 0x9b, 0xcb, 0xcb,
182 },
183 .clock = 1700000001,
184 .random_hash = &.{
185 0x6a, 0xc6, 0x77, 0x9b, 0xe1, 0x00, 0x65, 0x53, 0xf1, 0x01,
186 },
187 .ratchet_key_entropy = &.{},
188 .ratchet_private_key = &.{},
189 .ratchet_public_key = &.{},
190 .app_data = &.{
191 0x61, 0x6e, 0x6e, 0x6f, 0x75, 0x6e, 0x63, 0x65, 0x20, 0x61, 0x70, 0x70,
192 0x6c, 0x69, 0x63, 0x61, 0x74, 0x69, 0x6f, 0x6e, 0x20, 0x64, 0x61, 0x74,
193 0x61,
194 },
195 .signed_data = &.{
196 0xe6, 0x63, 0x31, 0xf0, 0x7d, 0x0c, 0x2e, 0x3a, 0x12, 0xcc, 0x01, 0xe8,
197 0x4e, 0xf6, 0xaf, 0xf5, 0x02, 0x9e, 0x7e, 0x5e, 0x76, 0x24, 0x11, 0x71,
198 0xff, 0x7b, 0x42, 0x4a, 0x98, 0xf0, 0xe2, 0x5a, 0x05, 0x11, 0x10, 0x15,
199 0xc7, 0xf6, 0x60, 0x47, 0x3f, 0xca, 0xa5, 0x29, 0x50, 0x7f, 0xd8, 0x39,
200 0x98, 0x49, 0x8f, 0x86, 0x3a, 0x77, 0x29, 0x0e, 0x89, 0x1e, 0x3d, 0x13,
201 0x23, 0xc7, 0xd8, 0x15, 0xc3, 0xb0, 0x41, 0x19, 0x1c, 0xfb, 0xce, 0x65,
202 0x7d, 0x9b, 0x43, 0x63, 0x8b, 0xf1, 0x64, 0xf9, 0x93, 0xed, 0xd9, 0x51,
203 0xee, 0x53, 0x26, 0x32, 0xb7, 0x46, 0x6a, 0xc6, 0x77, 0x9b, 0xe1, 0x00,
204 0x65, 0x53, 0xf1, 0x01, 0x61, 0x6e, 0x6e, 0x6f, 0x75, 0x6e, 0x63, 0x65,
205 0x20, 0x61, 0x70, 0x70, 0x6c, 0x69, 0x63, 0x61, 0x74, 0x69, 0x6f, 0x6e,
206 0x20, 0x64, 0x61, 0x74, 0x61,
207 },
208 .signature = &.{
209 0x46, 0x79, 0x09, 0xf8, 0x84, 0x18, 0xef, 0x14, 0x8a, 0x76, 0x14, 0x5c,
210 0xa6, 0x06, 0x4e, 0xad, 0x6f, 0xa6, 0xaa, 0x06, 0x67, 0x21, 0xee, 0x15,
211 0xe4, 0xb3, 0x33, 0x8b, 0x69, 0x43, 0x04, 0xa7, 0x76, 0x65, 0x39, 0xf9,
212 0x90, 0xc4, 0xe2, 0xd4, 0x54, 0x24, 0x55, 0xc1, 0xb7, 0x25, 0x7e, 0xf7,
213 0xa3, 0xd1, 0x72, 0xa8, 0x11, 0xf1, 0xf6, 0x36, 0x28, 0xae, 0xbf, 0x57,
214 0x80, 0x70, 0xad, 0x0f,
215 },
216 .raw = &.{
217 0x01, 0x00, 0xe6, 0x63, 0x31, 0xf0, 0x7d, 0x0c, 0x2e, 0x3a, 0x12, 0xcc,
218 0x01, 0xe8, 0x4e, 0xf6, 0xaf, 0xf5, 0x00, 0x02, 0x9e, 0x7e, 0x5e, 0x76,
219 0x24, 0x11, 0x71, 0xff, 0x7b, 0x42, 0x4a, 0x98, 0xf0, 0xe2, 0x5a, 0x05,
220 0x11, 0x10, 0x15, 0xc7, 0xf6, 0x60, 0x47, 0x3f, 0xca, 0xa5, 0x29, 0x50,
221 0x7f, 0xd8, 0x39, 0x98, 0x49, 0x8f, 0x86, 0x3a, 0x77, 0x29, 0x0e, 0x89,
222 0x1e, 0x3d, 0x13, 0x23, 0xc7, 0xd8, 0x15, 0xc3, 0xb0, 0x41, 0x19, 0x1c,
223 0xfb, 0xce, 0x65, 0x7d, 0x9b, 0x43, 0x63, 0x8b, 0xf1, 0x64, 0xf9, 0x93,
224 0xed, 0xd9, 0x51, 0xee, 0x53, 0x26, 0x32, 0xb7, 0x46, 0x6a, 0xc6, 0x77,
225 0x9b, 0xe1, 0x00, 0x65, 0x53, 0xf1, 0x01, 0x46, 0x79, 0x09, 0xf8, 0x84,
226 0x18, 0xef, 0x14, 0x8a, 0x76, 0x14, 0x5c, 0xa6, 0x06, 0x4e, 0xad, 0x6f,
227 0xa6, 0xaa, 0x06, 0x67, 0x21, 0xee, 0x15, 0xe4, 0xb3, 0x33, 0x8b, 0x69,
228 0x43, 0x04, 0xa7, 0x76, 0x65, 0x39, 0xf9, 0x90, 0xc4, 0xe2, 0xd4, 0x54,
229 0x24, 0x55, 0xc1, 0xb7, 0x25, 0x7e, 0xf7, 0xa3, 0xd1, 0x72, 0xa8, 0x11,
230 0xf1, 0xf6, 0x36, 0x28, 0xae, 0xbf, 0x57, 0x80, 0x70, 0xad, 0x0f, 0x61,
231 0x6e, 0x6e, 0x6f, 0x75, 0x6e, 0x63, 0x65, 0x20, 0x61, 0x70, 0x70, 0x6c,
232 0x69, 0x63, 0x61, 0x74, 0x69, 0x6f, 0x6e, 0x20, 0x64, 0x61, 0x74, 0x61,
233 },
234 .corrupted_raw = &.{
235 0x01, 0x00, 0xe6, 0x63, 0x31, 0xf0, 0x7d, 0x0c, 0x2e, 0x3a, 0x12, 0xcc,
236 0x01, 0xe8, 0x4e, 0xf6, 0xaf, 0xf5, 0x00, 0x02, 0x9e, 0x7e, 0x5e, 0x76,
237 0x24, 0x11, 0x71, 0xff, 0x7b, 0x42, 0x4a, 0x98, 0xf0, 0xe2, 0x5a, 0x05,
238 0x11, 0x10, 0x15, 0xc7, 0xf6, 0x60, 0x47, 0x3f, 0xca, 0xa5, 0x29, 0x50,
239 0x7f, 0xd8, 0x39, 0x98, 0x49, 0x8f, 0x86, 0x3a, 0x77, 0x29, 0x0e, 0x89,
240 0x1e, 0x3d, 0x13, 0x23, 0xc7, 0xd8, 0x15, 0xc3, 0xb0, 0x41, 0x19, 0x1c,
241 0xfb, 0xce, 0x65, 0x7d, 0x9b, 0x43, 0x63, 0x8b, 0xf1, 0x64, 0xf9, 0x93,
242 0xed, 0xd9, 0x51, 0xee, 0x53, 0x26, 0x32, 0xb7, 0x46, 0x6a, 0xc6, 0x77,
243 0x9b, 0xe1, 0x00, 0x65, 0x53, 0xf1, 0x01, 0x47, 0x79, 0x09, 0xf8, 0x84,
244 0x18, 0xef, 0x14, 0x8a, 0x76, 0x14, 0x5c, 0xa6, 0x06, 0x4e, 0xad, 0x6f,
245 0xa6, 0xaa, 0x06, 0x67, 0x21, 0xee, 0x15, 0xe4, 0xb3, 0x33, 0x8b, 0x69,
246 0x43, 0x04, 0xa7, 0x76, 0x65, 0x39, 0xf9, 0x90, 0xc4, 0xe2, 0xd4, 0x54,
247 0x24, 0x55, 0xc1, 0xb7, 0x25, 0x7e, 0xf7, 0xa3, 0xd1, 0x72, 0xa8, 0x11,
248 0xf1, 0xf6, 0x36, 0x28, 0xae, 0xbf, 0x57, 0x80, 0x70, 0xad, 0x0f, 0x61,
249 0x6e, 0x6e, 0x6f, 0x75, 0x6e, 0x63, 0x65, 0x20, 0x61, 0x70, 0x70, 0x6c,
250 0x69, 0x63, 0x61, 0x74, 0x69, 0x6f, 0x6e, 0x20, 0x64, 0x61, 0x74, 0x61,
251 },
252 .validate_verdict = true,
253 .corrupted_validate_verdict = false,
254 },
255 .{
256 .name = "ratchet-no-app-data",
257 .key_entropy = &.{
258 0x46, 0x8f, 0x74, 0xcd, 0x2f, 0x8c, 0x09, 0x60, 0x28, 0xe3, 0x08, 0x6f,
259 0x14, 0xb4, 0x59, 0xc0, 0xaf, 0x66, 0x31, 0x68, 0x52, 0xab, 0xa1, 0xdb,
260 0xf2, 0x13, 0x8c, 0xa7, 0x08, 0xda, 0x61, 0x69, 0xce, 0xe6, 0x5c, 0xbb,
261 0x61, 0xbd, 0x9d, 0x7a, 0x55, 0x17, 0xae, 0x1f, 0x5e, 0x38, 0xe3, 0xb1,
262 0xd0, 0x6a, 0x52, 0xcf, 0x99, 0x16, 0x31, 0x4d, 0x73, 0x9f, 0x51, 0xb6,
263 0xaf, 0x8d, 0xdd, 0x2b,
264 },
265 .private_key = &.{
266 0x40, 0x8f, 0x74, 0xcd, 0x2f, 0x8c, 0x09, 0x60, 0x28, 0xe3, 0x08, 0x6f,
267 0x14, 0xb4, 0x59, 0xc0, 0xaf, 0x66, 0x31, 0x68, 0x52, 0xab, 0xa1, 0xdb,
268 0xf2, 0x13, 0x8c, 0xa7, 0x08, 0xda, 0x61, 0x69, 0xce, 0xe6, 0x5c, 0xbb,
269 0x61, 0xbd, 0x9d, 0x7a, 0x55, 0x17, 0xae, 0x1f, 0x5e, 0x38, 0xe3, 0xb1,
270 0xd0, 0x6a, 0x52, 0xcf, 0x99, 0x16, 0x31, 0x4d, 0x73, 0x9f, 0x51, 0xb6,
271 0xaf, 0x8d, 0xdd, 0x2b,
272 },
273 .public_key = &.{
274 0x72, 0x0c, 0xd1, 0x54, 0x18, 0xb0, 0xbf, 0xe0, 0x53, 0x15, 0x5a, 0x40,
275 0x41, 0xbe, 0xe8, 0x2f, 0x3b, 0x8e, 0xb3, 0xef, 0xcb, 0xf4, 0x72, 0x26,
276 0x2e, 0xeb, 0xdc, 0x22, 0x49, 0x30, 0x9f, 0x0d, 0x9d, 0xd6, 0x08, 0x09,
277 0xf7, 0xda, 0xb1, 0xb5, 0xae, 0x8e, 0x41, 0x20, 0x46, 0xb7, 0x33, 0x8e,
278 0xb1, 0xf3, 0x20, 0xd4, 0x81, 0xe0, 0x27, 0x2a, 0x6b, 0xce, 0x32, 0x48,
279 0x7a, 0xe3, 0x72, 0x97,
280 },
281 .identity_hash = &.{
282 0xab, 0x2a, 0xa3, 0xbd, 0xb2, 0x01, 0x11, 0xea, 0x56, 0xbc, 0x38, 0x92,
283 0x3a, 0x29, 0x4f, 0xfa,
284 },
285 .destination_hash = &.{
286 0x7f, 0x83, 0x64, 0x1d, 0xec, 0x81, 0xee, 0xa9, 0x26, 0x2f, 0x0b, 0x6e,
287 0x6b, 0x25, 0x7b, 0x9b,
288 },
289 .name_hash = &.{
290 0x89, 0x66, 0xd1, 0x1f, 0xc3, 0xc4, 0x06, 0xe3, 0x33, 0x70,
291 },
292 .random_input = &.{
293 0x32, 0xc9, 0xf0, 0x51, 0xaf, 0x95, 0xbe, 0xa4, 0x51, 0xb4, 0xb7, 0xcd,
294 0xdf, 0x27, 0xa0, 0xd6,
295 },
296 .clock = 1700000002,
297 .random_hash = &.{
298 0xcc, 0xaa, 0xa4, 0x67, 0x23, 0x00, 0x65, 0x53, 0xf1, 0x02,
299 },
300 .ratchet_key_entropy = &.{
301 0x5d, 0xb3, 0x8f, 0x42, 0x27, 0x7d, 0xb3, 0xe4, 0xb3, 0xd4, 0xb2, 0x2d,
302 0x82, 0x8d, 0x28, 0x2e, 0x6f, 0x63, 0xf6, 0x7d, 0xf8, 0xbf, 0x24, 0xd8,
303 0x12, 0x09, 0xb2, 0x02, 0xfa, 0x16, 0x28, 0xd0,
304 },
305 .ratchet_private_key = &.{
306 0x58, 0xb3, 0x8f, 0x42, 0x27, 0x7d, 0xb3, 0xe4, 0xb3, 0xd4, 0xb2, 0x2d,
307 0x82, 0x8d, 0x28, 0x2e, 0x6f, 0x63, 0xf6, 0x7d, 0xf8, 0xbf, 0x24, 0xd8,
308 0x12, 0x09, 0xb2, 0x02, 0xfa, 0x16, 0x28, 0x50,
309 },
310 .ratchet_public_key = &.{
311 0xd8, 0x51, 0x98, 0x72, 0x11, 0x12, 0x04, 0xaa, 0x77, 0x92, 0x91, 0xbf,
312 0xa4, 0x61, 0x58, 0x78, 0xdb, 0xa8, 0x2f, 0xd9, 0x88, 0x6a, 0xe3, 0x3c,
313 0x7e, 0x56, 0x0d, 0x71, 0xdf, 0x7d, 0xc8, 0x0c,
314 },
315 .app_data = &.{},
316 .signed_data = &.{
317 0x7f, 0x83, 0x64, 0x1d, 0xec, 0x81, 0xee, 0xa9, 0x26, 0x2f, 0x0b, 0x6e,
318 0x6b, 0x25, 0x7b, 0x9b, 0x72, 0x0c, 0xd1, 0x54, 0x18, 0xb0, 0xbf, 0xe0,
319 0x53, 0x15, 0x5a, 0x40, 0x41, 0xbe, 0xe8, 0x2f, 0x3b, 0x8e, 0xb3, 0xef,
320 0xcb, 0xf4, 0x72, 0x26, 0x2e, 0xeb, 0xdc, 0x22, 0x49, 0x30, 0x9f, 0x0d,
321 0x9d, 0xd6, 0x08, 0x09, 0xf7, 0xda, 0xb1, 0xb5, 0xae, 0x8e, 0x41, 0x20,
322 0x46, 0xb7, 0x33, 0x8e, 0xb1, 0xf3, 0x20, 0xd4, 0x81, 0xe0, 0x27, 0x2a,
323 0x6b, 0xce, 0x32, 0x48, 0x7a, 0xe3, 0x72, 0x97, 0x89, 0x66, 0xd1, 0x1f,
324 0xc3, 0xc4, 0x06, 0xe3, 0x33, 0x70, 0xcc, 0xaa, 0xa4, 0x67, 0x23, 0x00,
325 0x65, 0x53, 0xf1, 0x02, 0xd8, 0x51, 0x98, 0x72, 0x11, 0x12, 0x04, 0xaa,
326 0x77, 0x92, 0x91, 0xbf, 0xa4, 0x61, 0x58, 0x78, 0xdb, 0xa8, 0x2f, 0xd9,
327 0x88, 0x6a, 0xe3, 0x3c, 0x7e, 0x56, 0x0d, 0x71, 0xdf, 0x7d, 0xc8, 0x0c,
328 },
329 .signature = &.{
330 0x11, 0xec, 0x06, 0x35, 0xb9, 0xb3, 0x70, 0x41, 0xf6, 0xed, 0x57, 0x88,
331 0x5c, 0xbc, 0xdf, 0xae, 0x35, 0xe2, 0xf6, 0x0c, 0xc9, 0xf0, 0xca, 0x85,
332 0xbf, 0xf6, 0x16, 0x0c, 0x79, 0xdc, 0x2b, 0xf4, 0xa8, 0x26, 0xbf, 0xbe,
333 0xa8, 0x42, 0xd7, 0x35, 0x01, 0x4d, 0xd7, 0x5c, 0x8f, 0x44, 0xda, 0x4e,
334 0xe6, 0xb0, 0x21, 0xee, 0x00, 0xda, 0xbe, 0x01, 0xd9, 0xff, 0x89, 0x89,
335 0xbb, 0x68, 0x89, 0x0b,
336 },
337 .raw = &.{
338 0x21, 0x00, 0x7f, 0x83, 0x64, 0x1d, 0xec, 0x81, 0xee, 0xa9, 0x26, 0x2f,
339 0x0b, 0x6e, 0x6b, 0x25, 0x7b, 0x9b, 0x00, 0x72, 0x0c, 0xd1, 0x54, 0x18,
340 0xb0, 0xbf, 0xe0, 0x53, 0x15, 0x5a, 0x40, 0x41, 0xbe, 0xe8, 0x2f, 0x3b,
341 0x8e, 0xb3, 0xef, 0xcb, 0xf4, 0x72, 0x26, 0x2e, 0xeb, 0xdc, 0x22, 0x49,
342 0x30, 0x9f, 0x0d, 0x9d, 0xd6, 0x08, 0x09, 0xf7, 0xda, 0xb1, 0xb5, 0xae,
343 0x8e, 0x41, 0x20, 0x46, 0xb7, 0x33, 0x8e, 0xb1, 0xf3, 0x20, 0xd4, 0x81,
344 0xe0, 0x27, 0x2a, 0x6b, 0xce, 0x32, 0x48, 0x7a, 0xe3, 0x72, 0x97, 0x89,
345 0x66, 0xd1, 0x1f, 0xc3, 0xc4, 0x06, 0xe3, 0x33, 0x70, 0xcc, 0xaa, 0xa4,
346 0x67, 0x23, 0x00, 0x65, 0x53, 0xf1, 0x02, 0xd8, 0x51, 0x98, 0x72, 0x11,
347 0x12, 0x04, 0xaa, 0x77, 0x92, 0x91, 0xbf, 0xa4, 0x61, 0x58, 0x78, 0xdb,
348 0xa8, 0x2f, 0xd9, 0x88, 0x6a, 0xe3, 0x3c, 0x7e, 0x56, 0x0d, 0x71, 0xdf,
349 0x7d, 0xc8, 0x0c, 0x11, 0xec, 0x06, 0x35, 0xb9, 0xb3, 0x70, 0x41, 0xf6,
350 0xed, 0x57, 0x88, 0x5c, 0xbc, 0xdf, 0xae, 0x35, 0xe2, 0xf6, 0x0c, 0xc9,
351 0xf0, 0xca, 0x85, 0xbf, 0xf6, 0x16, 0x0c, 0x79, 0xdc, 0x2b, 0xf4, 0xa8,
352 0x26, 0xbf, 0xbe, 0xa8, 0x42, 0xd7, 0x35, 0x01, 0x4d, 0xd7, 0x5c, 0x8f,
353 0x44, 0xda, 0x4e, 0xe6, 0xb0, 0x21, 0xee, 0x00, 0xda, 0xbe, 0x01, 0xd9,
354 0xff, 0x89, 0x89, 0xbb, 0x68, 0x89, 0x0b,
355 },
356 .corrupted_raw = &.{
357 0x21, 0x00, 0x7f, 0x83, 0x64, 0x1d, 0xec, 0x81, 0xee, 0xa9, 0x26, 0x2f,
358 0x0b, 0x6e, 0x6b, 0x25, 0x7b, 0x9b, 0x00, 0x72, 0x0c, 0xd1, 0x54, 0x18,
359 0xb0, 0xbf, 0xe0, 0x53, 0x15, 0x5a, 0x40, 0x41, 0xbe, 0xe8, 0x2f, 0x3b,
360 0x8e, 0xb3, 0xef, 0xcb, 0xf4, 0x72, 0x26, 0x2e, 0xeb, 0xdc, 0x22, 0x49,
361 0x30, 0x9f, 0x0d, 0x9d, 0xd6, 0x08, 0x09, 0xf7, 0xda, 0xb1, 0xb5, 0xae,
362 0x8e, 0x41, 0x20, 0x46, 0xb7, 0x33, 0x8e, 0xb1, 0xf3, 0x20, 0xd4, 0x81,
363 0xe0, 0x27, 0x2a, 0x6b, 0xce, 0x32, 0x48, 0x7a, 0xe3, 0x72, 0x97, 0x89,
364 0x66, 0xd1, 0x1f, 0xc3, 0xc4, 0x06, 0xe3, 0x33, 0x70, 0xcc, 0xaa, 0xa4,
365 0x67, 0x23, 0x00, 0x65, 0x53, 0xf1, 0x02, 0xd8, 0x51, 0x98, 0x72, 0x11,
366 0x12, 0x04, 0xaa, 0x77, 0x92, 0x91, 0xbf, 0xa4, 0x61, 0x58, 0x78, 0xdb,
367 0xa8, 0x2f, 0xd9, 0x88, 0x6a, 0xe3, 0x3c, 0x7e, 0x56, 0x0d, 0x71, 0xdf,
368 0x7d, 0xc8, 0x0c, 0x10, 0xec, 0x06, 0x35, 0xb9, 0xb3, 0x70, 0x41, 0xf6,
369 0xed, 0x57, 0x88, 0x5c, 0xbc, 0xdf, 0xae, 0x35, 0xe2, 0xf6, 0x0c, 0xc9,
370 0xf0, 0xca, 0x85, 0xbf, 0xf6, 0x16, 0x0c, 0x79, 0xdc, 0x2b, 0xf4, 0xa8,
371 0x26, 0xbf, 0xbe, 0xa8, 0x42, 0xd7, 0x35, 0x01, 0x4d, 0xd7, 0x5c, 0x8f,
372 0x44, 0xda, 0x4e, 0xe6, 0xb0, 0x21, 0xee, 0x00, 0xda, 0xbe, 0x01, 0xd9,
373 0xff, 0x89, 0x89, 0xbb, 0x68, 0x89, 0x0b,
374 },
375 .validate_verdict = true,
376 .corrupted_validate_verdict = false,
377 },
378 .{
379 .name = "ratchet-app-data",
380 .key_entropy = &.{
381 0xc0, 0x43, 0x31, 0x06, 0x9f, 0xaf, 0x52, 0x8c, 0x71, 0x96, 0x97, 0xb4,
382 0x36, 0xb6, 0x4c, 0xc6, 0x8b, 0x36, 0x2a, 0x07, 0x98, 0x22, 0x3a, 0xf1,
383 0x0e, 0x16, 0xc4, 0xe4, 0x61, 0x16, 0x61, 0x02, 0xa5, 0x3e, 0x1b, 0x46,
384 0x67, 0xdc, 0xb7, 0x17, 0x49, 0x8c, 0x6d, 0x8f, 0x38, 0x5c, 0x41, 0x4a,
385 0xa6, 0x8c, 0x11, 0xa4, 0x68, 0x0f, 0xa3, 0x87, 0x58, 0x88, 0x9c, 0x52,
386 0xe7, 0x35, 0xcb, 0xc7,
387 },
388 .private_key = &.{
389 0xc0, 0x43, 0x31, 0x06, 0x9f, 0xaf, 0x52, 0x8c, 0x71, 0x96, 0x97, 0xb4,
390 0x36, 0xb6, 0x4c, 0xc6, 0x8b, 0x36, 0x2a, 0x07, 0x98, 0x22, 0x3a, 0xf1,
391 0x0e, 0x16, 0xc4, 0xe4, 0x61, 0x16, 0x61, 0x42, 0xa5, 0x3e, 0x1b, 0x46,
392 0x67, 0xdc, 0xb7, 0x17, 0x49, 0x8c, 0x6d, 0x8f, 0x38, 0x5c, 0x41, 0x4a,
393 0xa6, 0x8c, 0x11, 0xa4, 0x68, 0x0f, 0xa3, 0x87, 0x58, 0x88, 0x9c, 0x52,
394 0xe7, 0x35, 0xcb, 0xc7,
395 },
396 .public_key = &.{
397 0x69, 0xad, 0x6e, 0xf5, 0x66, 0x55, 0xa4, 0x64, 0xc9, 0xe8, 0x9a, 0x5d,
398 0x53, 0x49, 0xc2, 0x65, 0x41, 0x89, 0xf7, 0x6e, 0x35, 0xa5, 0xa4, 0x57,
399 0xc3, 0x35, 0x0b, 0xf5, 0x84, 0x55, 0xc2, 0x79, 0x6f, 0xb0, 0x80, 0x6f,
400 0x67, 0xdc, 0xe2, 0xac, 0x34, 0xce, 0x35, 0x39, 0xff, 0x20, 0x73, 0x8a,
401 0xf2, 0x40, 0x78, 0x03, 0xb7, 0x83, 0x7c, 0xfe, 0xd2, 0x05, 0x5f, 0xfd,
402 0xff, 0xb7, 0xba, 0xdb,
403 },
404 .identity_hash = &.{
405 0x9e, 0x9f, 0x1a, 0xea, 0xd4, 0xf9, 0xba, 0xa8, 0xf0, 0xa8, 0x4a, 0x79,
406 0x1c, 0x07, 0x7e, 0xff,
407 },
408 .destination_hash = &.{
409 0xb0, 0xe2, 0x6a, 0x92, 0xb9, 0x9d, 0x3c, 0x26, 0xfc, 0x3d, 0xfc, 0x99,
410 0x2c, 0xcc, 0x49, 0xe0,
411 },
412 .name_hash = &.{
413 0xb6, 0xf8, 0xe4, 0x79, 0xa6, 0x88, 0xb5, 0x81, 0x48, 0x64,
414 },
415 .random_input = &.{
416 0x52, 0xe7, 0x63, 0x15, 0x0e, 0x12, 0x4f, 0x7b, 0xa1, 0x9e, 0xfc, 0x6a,
417 0x39, 0x4f, 0x42, 0x12,
418 },
419 .clock = 1700000003,
420 .random_hash = &.{
421 0x24, 0xbd, 0x39, 0xc4, 0x21, 0x00, 0x65, 0x53, 0xf1, 0x03,
422 },
423 .ratchet_key_entropy = &.{
424 0x7f, 0x96, 0x94, 0x69, 0x2b, 0xf8, 0xc4, 0x01, 0xe4, 0x8c, 0xdc, 0x2d,
425 0x44, 0x6b, 0x1b, 0x7a, 0xfc, 0xff, 0x96, 0x22, 0x0e, 0xa3, 0x87, 0xec,
426 0x0a, 0x98, 0xd7, 0x79, 0xc7, 0x98, 0x74, 0xff,
427 },
428 .ratchet_private_key = &.{
429 0x78, 0x96, 0x94, 0x69, 0x2b, 0xf8, 0xc4, 0x01, 0xe4, 0x8c, 0xdc, 0x2d,
430 0x44, 0x6b, 0x1b, 0x7a, 0xfc, 0xff, 0x96, 0x22, 0x0e, 0xa3, 0x87, 0xec,
431 0x0a, 0x98, 0xd7, 0x79, 0xc7, 0x98, 0x74, 0x7f,
432 },
433 .ratchet_public_key = &.{
434 0xd4, 0xf1, 0x3e, 0x9d, 0x68, 0x34, 0x9b, 0xeb, 0x9b, 0xff, 0xe4, 0x70,
435 0xc5, 0xf5, 0xd3, 0x67, 0x16, 0x22, 0xbc, 0x19, 0x9c, 0x40, 0xa5, 0x49,
436 0x34, 0x8b, 0x14, 0xa4, 0xcf, 0xb4, 0xd8, 0x3a,
437 },
438 .app_data = &.{
439 0x61, 0x6e, 0x6e, 0x6f, 0x75, 0x6e, 0x63, 0x65, 0x20, 0x61, 0x70, 0x70,
440 0x6c, 0x69, 0x63, 0x61, 0x74, 0x69, 0x6f, 0x6e, 0x20, 0x64, 0x61, 0x74,
441 0x61,
442 },
443 .signed_data = &.{
444 0xb0, 0xe2, 0x6a, 0x92, 0xb9, 0x9d, 0x3c, 0x26, 0xfc, 0x3d, 0xfc, 0x99,
445 0x2c, 0xcc, 0x49, 0xe0, 0x69, 0xad, 0x6e, 0xf5, 0x66, 0x55, 0xa4, 0x64,
446 0xc9, 0xe8, 0x9a, 0x5d, 0x53, 0x49, 0xc2, 0x65, 0x41, 0x89, 0xf7, 0x6e,
447 0x35, 0xa5, 0xa4, 0x57, 0xc3, 0x35, 0x0b, 0xf5, 0x84, 0x55, 0xc2, 0x79,
448 0x6f, 0xb0, 0x80, 0x6f, 0x67, 0xdc, 0xe2, 0xac, 0x34, 0xce, 0x35, 0x39,
449 0xff, 0x20, 0x73, 0x8a, 0xf2, 0x40, 0x78, 0x03, 0xb7, 0x83, 0x7c, 0xfe,
450 0xd2, 0x05, 0x5f, 0xfd, 0xff, 0xb7, 0xba, 0xdb, 0xb6, 0xf8, 0xe4, 0x79,
451 0xa6, 0x88, 0xb5, 0x81, 0x48, 0x64, 0x24, 0xbd, 0x39, 0xc4, 0x21, 0x00,
452 0x65, 0x53, 0xf1, 0x03, 0xd4, 0xf1, 0x3e, 0x9d, 0x68, 0x34, 0x9b, 0xeb,
453 0x9b, 0xff, 0xe4, 0x70, 0xc5, 0xf5, 0xd3, 0x67, 0x16, 0x22, 0xbc, 0x19,
454 0x9c, 0x40, 0xa5, 0x49, 0x34, 0x8b, 0x14, 0xa4, 0xcf, 0xb4, 0xd8, 0x3a,
455 0x61, 0x6e, 0x6e, 0x6f, 0x75, 0x6e, 0x63, 0x65, 0x20, 0x61, 0x70, 0x70,
456 0x6c, 0x69, 0x63, 0x61, 0x74, 0x69, 0x6f, 0x6e, 0x20, 0x64, 0x61, 0x74,
457 0x61,
458 },
459 .signature = &.{
460 0x07, 0x23, 0x8f, 0x95, 0x7b, 0x9f, 0xa6, 0xc5, 0xb2, 0x5e, 0xa2, 0x11,
461 0x8c, 0xc0, 0xe8, 0xf4, 0xed, 0x6f, 0x2e, 0x35, 0x2b, 0xc3, 0xdc, 0x49,
462 0xb6, 0x74, 0xff, 0x5d, 0x62, 0x85, 0xa3, 0x67, 0x46, 0x85, 0x8d, 0x1e,
463 0xb4, 0xff, 0xc1, 0xe1, 0x5c, 0x4e, 0xdd, 0x6d, 0x53, 0xbb, 0xa7, 0x14,
464 0x59, 0x10, 0xa5, 0x17, 0x39, 0xee, 0x11, 0x70, 0x9d, 0x8c, 0x7b, 0x88,
465 0x5b, 0x2a, 0xfa, 0x01,
466 },
467 .raw = &.{
468 0x21, 0x00, 0xb0, 0xe2, 0x6a, 0x92, 0xb9, 0x9d, 0x3c, 0x26, 0xfc, 0x3d,
469 0xfc, 0x99, 0x2c, 0xcc, 0x49, 0xe0, 0x00, 0x69, 0xad, 0x6e, 0xf5, 0x66,
470 0x55, 0xa4, 0x64, 0xc9, 0xe8, 0x9a, 0x5d, 0x53, 0x49, 0xc2, 0x65, 0x41,
471 0x89, 0xf7, 0x6e, 0x35, 0xa5, 0xa4, 0x57, 0xc3, 0x35, 0x0b, 0xf5, 0x84,
472 0x55, 0xc2, 0x79, 0x6f, 0xb0, 0x80, 0x6f, 0x67, 0xdc, 0xe2, 0xac, 0x34,
473 0xce, 0x35, 0x39, 0xff, 0x20, 0x73, 0x8a, 0xf2, 0x40, 0x78, 0x03, 0xb7,
474 0x83, 0x7c, 0xfe, 0xd2, 0x05, 0x5f, 0xfd, 0xff, 0xb7, 0xba, 0xdb, 0xb6,
475 0xf8, 0xe4, 0x79, 0xa6, 0x88, 0xb5, 0x81, 0x48, 0x64, 0x24, 0xbd, 0x39,
476 0xc4, 0x21, 0x00, 0x65, 0x53, 0xf1, 0x03, 0xd4, 0xf1, 0x3e, 0x9d, 0x68,
477 0x34, 0x9b, 0xeb, 0x9b, 0xff, 0xe4, 0x70, 0xc5, 0xf5, 0xd3, 0x67, 0x16,
478 0x22, 0xbc, 0x19, 0x9c, 0x40, 0xa5, 0x49, 0x34, 0x8b, 0x14, 0xa4, 0xcf,
479 0xb4, 0xd8, 0x3a, 0x07, 0x23, 0x8f, 0x95, 0x7b, 0x9f, 0xa6, 0xc5, 0xb2,
480 0x5e, 0xa2, 0x11, 0x8c, 0xc0, 0xe8, 0xf4, 0xed, 0x6f, 0x2e, 0x35, 0x2b,
481 0xc3, 0xdc, 0x49, 0xb6, 0x74, 0xff, 0x5d, 0x62, 0x85, 0xa3, 0x67, 0x46,
482 0x85, 0x8d, 0x1e, 0xb4, 0xff, 0xc1, 0xe1, 0x5c, 0x4e, 0xdd, 0x6d, 0x53,
483 0xbb, 0xa7, 0x14, 0x59, 0x10, 0xa5, 0x17, 0x39, 0xee, 0x11, 0x70, 0x9d,
484 0x8c, 0x7b, 0x88, 0x5b, 0x2a, 0xfa, 0x01, 0x61, 0x6e, 0x6e, 0x6f, 0x75,
485 0x6e, 0x63, 0x65, 0x20, 0x61, 0x70, 0x70, 0x6c, 0x69, 0x63, 0x61, 0x74,
486 0x69, 0x6f, 0x6e, 0x20, 0x64, 0x61, 0x74, 0x61,
487 },
488 .corrupted_raw = &.{
489 0x21, 0x00, 0xb0, 0xe2, 0x6a, 0x92, 0xb9, 0x9d, 0x3c, 0x26, 0xfc, 0x3d,
490 0xfc, 0x99, 0x2c, 0xcc, 0x49, 0xe0, 0x00, 0x69, 0xad, 0x6e, 0xf5, 0x66,
491 0x55, 0xa4, 0x64, 0xc9, 0xe8, 0x9a, 0x5d, 0x53, 0x49, 0xc2, 0x65, 0x41,
492 0x89, 0xf7, 0x6e, 0x35, 0xa5, 0xa4, 0x57, 0xc3, 0x35, 0x0b, 0xf5, 0x84,
493 0x55, 0xc2, 0x79, 0x6f, 0xb0, 0x80, 0x6f, 0x67, 0xdc, 0xe2, 0xac, 0x34,
494 0xce, 0x35, 0x39, 0xff, 0x20, 0x73, 0x8a, 0xf2, 0x40, 0x78, 0x03, 0xb7,
495 0x83, 0x7c, 0xfe, 0xd2, 0x05, 0x5f, 0xfd, 0xff, 0xb7, 0xba, 0xdb, 0xb6,
496 0xf8, 0xe4, 0x79, 0xa6, 0x88, 0xb5, 0x81, 0x48, 0x64, 0x24, 0xbd, 0x39,
497 0xc4, 0x21, 0x00, 0x65, 0x53, 0xf1, 0x03, 0xd4, 0xf1, 0x3e, 0x9d, 0x68,
498 0x34, 0x9b, 0xeb, 0x9b, 0xff, 0xe4, 0x70, 0xc5, 0xf5, 0xd3, 0x67, 0x16,
499 0x22, 0xbc, 0x19, 0x9c, 0x40, 0xa5, 0x49, 0x34, 0x8b, 0x14, 0xa4, 0xcf,
500 0xb4, 0xd8, 0x3a, 0x06, 0x23, 0x8f, 0x95, 0x7b, 0x9f, 0xa6, 0xc5, 0xb2,
501 0x5e, 0xa2, 0x11, 0x8c, 0xc0, 0xe8, 0xf4, 0xed, 0x6f, 0x2e, 0x35, 0x2b,
502 0xc3, 0xdc, 0x49, 0xb6, 0x74, 0xff, 0x5d, 0x62, 0x85, 0xa3, 0x67, 0x46,
503 0x85, 0x8d, 0x1e, 0xb4, 0xff, 0xc1, 0xe1, 0x5c, 0x4e, 0xdd, 0x6d, 0x53,
504 0xbb, 0xa7, 0x14, 0x59, 0x10, 0xa5, 0x17, 0x39, 0xee, 0x11, 0x70, 0x9d,
505 0x8c, 0x7b, 0x88, 0x5b, 0x2a, 0xfa, 0x01, 0x61, 0x6e, 0x6e, 0x6f, 0x75,
506 0x6e, 0x63, 0x65, 0x20, 0x61, 0x70, 0x70, 0x6c, 0x69, 0x63, 0x61, 0x74,
507 0x69, 0x6f, 0x6e, 0x20, 0x64, 0x61, 0x74, 0x61,
508 },
509 .validate_verdict = true,
510 .corrupted_validate_verdict = false,
511 },
512 };