Files
proof_viz/test-input/proof.json
2023-10-19 22:05:16 +02:00

6164 lines
108 KiB
JSON

{
"session": {
"header": {
"encoder_seed": [
75,
52,
104,
226,
252,
112,
57,
25,
58,
86,
32,
10,
36,
185,
27,
251,
175,
23,
233,
145,
7,
13,
129,
145,
197,
63,
27,
78,
143,
135,
191,
109
],
"merkle_root": [
29,
11,
101,
202,
61,
6,
217,
34,
77,
150,
149,
32,
42,
115,
10,
63,
160,
93,
248,
226,
252,
248,
83,
75,
225,
136,
23,
24,
17,
77,
8,
237
],
"sent_len": 211,
"recv_len": 1615,
"handshake_summary": {
"time": 1697722213,
"server_public_key": {
"group": "secp256r1",
"key": [
4,
68,
34,
75,
7,
39,
67,
64,
23,
100,
182,
217,
133,
78,
238,
0,
37,
105,
176,
191,
82,
42,
254,
167,
249,
36,
150,
98,
235,
193,
109,
164,
101,
169,
115,
153,
93,
153,
187,
58,
195,
240,
130,
156,
103,
201,
64,
55,
74,
146,
240,
128,
11,
84,
10,
118,
136,
110,
220,
140,
11,
116,
45,
148,
74
]
},
"handshake_commitment": [
21,
237,
23,
82,
197,
156,
85,
231,
86,
194,
118,
167,
58,
107,
20,
184,
105,
116,
221,
0,
52,
160,
200,
191,
176,
117,
141,
133,
162,
17,
10,
123
]
}
},
"server_name": {
"Dns": "example.com"
},
"signature": {
"P256": "4E3A484CEBC224EED526179CA0E09DA67DC0811AFA4B3C1CDB37E6B4E7A2CC0878DDD0393E18AAD38C21636D81109009FFC027AFDE405C63DBFE2944CE16D479"
},
"handshake_data_decommitment": {
"nonce": [
94,
4,
221,
245,
221,
213,
37,
140,
250,
136,
83,
49,
65,
28,
234,
159,
98,
72,
113,
191,
93,
93,
19,
237,
154,
159,
138,
222,
142,
186,
210,
66
],
"data": {
"server_cert_details": {
"cert_chain": [
[
48,
130,
7,
74,
48,
130,
6,
50,
160,
3,
2,
1,
2,
2,
16,
12,
31,
203,
24,
69,
24,
199,
227,
134,
103,
65,
35,
109,
107,
115,
241,
48,
13,
6,
9,
42,
134,
72,
134,
247,
13,
1,
1,
11,
5,
0,
48,
79,
49,
11,
48,
9,
6,
3,
85,
4,
6,
19,
2,
85,
83,
49,
21,
48,
19,
6,
3,
85,
4,
10,
19,
12,
68,
105,
103,
105,
67,
101,
114,
116,
32,
73,
110,
99,
49,
41,
48,
39,
6,
3,
85,
4,
3,
19,
32,
68,
105,
103,
105,
67,
101,
114,
116,
32,
84,
76,
83,
32,
82,
83,
65,
32,
83,
72,
65,
50,
53,
54,
32,
50,
48,
50,
48,
32,
67,
65,
49,
48,
30,
23,
13,
50,
51,
48,
49,
49,
51,
48,
48,
48,
48,
48,
48,
90,
23,
13,
50,
52,
48,
50,
49,
51,
50,
51,
53,
57,
53,
57,
90,
48,
129,
150,
49,
11,
48,
9,
6,
3,
85,
4,
6,
19,
2,
85,
83,
49,
19,
48,
17,
6,
3,
85,
4,
8,
19,
10,
67,
97,
108,
105,
102,
111,
114,
110,
105,
97,
49,
20,
48,
18,
6,
3,
85,
4,
7,
19,
11,
76,
111,
115,
32,
65,
110,
103,
101,
108,
101,
115,
49,
66,
48,
64,
6,
3,
85,
4,
10,
12,
57,
73,
110,
116,
101,
114,
110,
101,
116,
194,
160,
67,
111,
114,
112,
111,
114,
97,
116,
105,
111,
110,
194,
160,
102,
111,
114,
194,
160,
65,
115,
115,
105,
103,
110,
101,
100,
194,
160,
78,
97,
109,
101,
115,
194,
160,
97,
110,
100,
194,
160,
78,
117,
109,
98,
101,
114,
115,
49,
24,
48,
22,
6,
3,
85,
4,
3,
19,
15,
119,
119,
119,
46,
101,
120,
97,
109,
112,
108,
101,
46,
111,
114,
103,
48,
130,
1,
34,
48,
13,
6,
9,
42,
134,
72,
134,
247,
13,
1,
1,
1,
5,
0,
3,
130,
1,
15,
0,
48,
130,
1,
10,
2,
130,
1,
1,
0,
194,
128,
119,
137,
89,
184,
69,
111,
186,
74,
217,
17,
250,
123,
173,
199,
87,
208,
122,
251,
182,
250,
221,
5,
187,
162,
129,
113,
187,
225,
127,
33,
210,
95,
46,
240,
210,
114,
78,
117,
52,
248,
141,
98,
227,
74,
218,
81,
144,
212,
1,
61,
156,
12,
192,
113,
247,
230,
47,
182,
214,
7,
103,
38,
208,
222,
255,
23,
206,
240,
133,
253,
49,
193,
102,
202,
135,
101,
5,
71,
42,
95,
192,
171,
184,
140,
195,
191,
208,
23,
127,
99,
163,
92,
240,
70,
251,
134,
170,
251,
77,
215,
42,
94,
127,
154,
224,
19,
151,
125,
190,
251,
125,
53,
87,
13,
93,
94,
129,
152,
53,
234,
22,
66,
162,
211,
176,
116,
247,
89,
45,
237,
56,
231,
254,
122,
27,
179,
54,
230,
126,
174,
63,
158,
166,
22,
131,
222,
83,
1,
78,
129,
0,
174,
187,
66,
245,
31,
117,
41,
52,
205,
233,
132,
128,
56,
174,
60,
55,
20,
192,
240,
39,
206,
48,
82,
185,
138,
220,
95,
34,
160,
121,
248,
79,
78,
73,
4,
226,
117,
124,
170,
47,
42,
30,
3,
236,
113,
76,
163,
42,
97,
252,
111,
202,
145,
30,
147,
90,
46,
120,
8,
88,
246,
238,
187,
52,
32,
93,
154,
230,
175,
198,
215,
242,
191,
10,
123,
250,
142,
146,
119,
227,
108,
123,
12,
64,
134,
100,
74,
21,
236,
112,
215,
114,
142,
99,
48,
225,
11,
239,
90,
48,
151,
46,
37,
2,
3,
1,
0,
1,
163,
130,
3,
216,
48,
130,
3,
212,
48,
31,
6,
3,
85,
29,
35,
4,
24,
48,
22,
128,
20,
183,
107,
162,
234,
168,
170,
132,
140,
121,
234,
180,
218,
15,
152,
178,
197,
149,
118,
185,
244,
48,
29,
6,
3,
85,
29,
14,
4,
22,
4,
20,
176,
147,
63,
232,
23,
130,
253,
108,
178,
182,
23,
135,
203,
227,
128,
254,
130,
155,
1,
158,
48,
129,
129,
6,
3,
85,
29,
17,
4,
122,
48,
120,
130,
15,
119,
119,
119,
46,
101,
120,
97,
109,
112,
108,
101,
46,
111,
114,
103,
130,
11,
101,
120,
97,
109,
112,
108,
101,
46,
110,
101,
116,
130,
11,
101,
120,
97,
109,
112,
108,
101,
46,
101,
100,
117,
130,
11,
101,
120,
97,
109,
112,
108,
101,
46,
99,
111,
109,
130,
11,
101,
120,
97,
109,
112,
108,
101,
46,
111,
114,
103,
130,
15,
119,
119,
119,
46,
101,
120,
97,
109,
112,
108,
101,
46,
99,
111,
109,
130,
15,
119,
119,
119,
46,
101,
120,
97,
109,
112,
108,
101,
46,
101,
100,
117,
130,
15,
119,
119,
119,
46,
101,
120,
97,
109,
112,
108,
101,
46,
110,
101,
116,
48,
14,
6,
3,
85,
29,
15,
1,
1,
255,
4,
4,
3,
2,
5,
160,
48,
29,
6,
3,
85,
29,
37,
4,
22,
48,
20,
6,
8,
43,
6,
1,
5,
5,
7,
3,
1,
6,
8,
43,
6,
1,
5,
5,
7,
3,
2,
48,
129,
143,
6,
3,
85,
29,
31,
4,
129,
135,
48,
129,
132,
48,
64,
160,
62,
160,
60,
134,
58,
104,
116,
116,
112,
58,
47,
47,
99,
114,
108,
51,
46,
100,
105,
103,
105,
99,
101,
114,
116,
46,
99,
111,
109,
47,
68,
105,
103,
105,
67,
101,
114,
116,
84,
76,
83,
82,
83,
65,
83,
72,
65,
50,
53,
54,
50,
48,
50,
48,
67,
65,
49,
45,
52,
46,
99,
114,
108,
48,
64,
160,
62,
160,
60,
134,
58,
104,
116,
116,
112,
58,
47,
47,
99,
114,
108,
52,
46,
100,
105,
103,
105,
99,
101,
114,
116,
46,
99,
111,
109,
47,
68,
105,
103,
105,
67,
101,
114,
116,
84,
76,
83,
82,
83,
65,
83,
72,
65,
50,
53,
54,
50,
48,
50,
48,
67,
65,
49,
45,
52,
46,
99,
114,
108,
48,
62,
6,
3,
85,
29,
32,
4,
55,
48,
53,
48,
51,
6,
6,
103,
129,
12,
1,
2,
2,
48,
41,
48,
39,
6,
8,
43,
6,
1,
5,
5,
7,
2,
1,
22,
27,
104,
116,
116,
112,
58,
47,
47,
119,
119,
119,
46,
100,
105,
103,
105,
99,
101,
114,
116,
46,
99,
111,
109,
47,
67,
80,
83,
48,
127,
6,
8,
43,
6,
1,
5,
5,
7,
1,
1,
4,
115,
48,
113,
48,
36,
6,
8,
43,
6,
1,
5,
5,
7,
48,
1,
134,
24,
104,
116,
116,
112,
58,
47,
47,
111,
99,
115,
112,
46,
100,
105,
103,
105,
99,
101,
114,
116,
46,
99,
111,
109,
48,
73,
6,
8,
43,
6,
1,
5,
5,
7,
48,
2,
134,
61,
104,
116,
116,
112,
58,
47,
47,
99,
97,
99,
101,
114,
116,
115,
46,
100,
105,
103,
105,
99,
101,
114,
116,
46,
99,
111,
109,
47,
68,
105,
103,
105,
67,
101,
114,
116,
84,
76,
83,
82,
83,
65,
83,
72,
65,
50,
53,
54,
50,
48,
50,
48,
67,
65,
49,
45,
49,
46,
99,
114,
116,
48,
9,
6,
3,
85,
29,
19,
4,
2,
48,
0,
48,
130,
1,
127,
6,
10,
43,
6,
1,
4,
1,
214,
121,
2,
4,
2,
4,
130,
1,
111,
4,
130,
1,
107,
1,
105,
0,
118,
0,
238,
205,
208,
100,
213,
219,
26,
206,
197,
92,
183,
157,
180,
205,
19,
162,
50,
135,
70,
124,
188,
236,
222,
195,
81,
72,
89,
70,
113,
31,
181,
155,
0,
0,
1,
133,
171,
72,
5,
35,
0,
0,
4,
3,
0,
71,
48,
69,
2,
33,
0,
170,
223,
159,
43,
168,
197,
116,
96,
58,
182,
253,
4,
90,
223,
107,
107,
29,
22,
96,
21,
120,
173,
239,
99,
129,
152,
42,
211,
56,
184,
217,
5,
2,
32,
64,
97,
215,
34,
169,
62,
248,
23,
212,
26,
222,
19,
76,
1,
82,
106,
226,
57,
85,
33,
37,
46,
251,
42,
1,
117,
247,
119,
211,
219,
206,
251,
0,
119,
0,
115,
217,
158,
137,
27,
76,
150,
120,
160,
32,
125,
71,
157,
230,
178,
198,
28,
208,
81,
94,
113,
25,
42,
140,
107,
128,
16,
122,
193,
119,
114,
181,
0,
0,
1,
133,
171,
72,
5,
159,
0,
0,
4,
3,
0,
72,
48,
70,
2,
33,
0,
215,
100,
148,
20,
174,
107,
128,
186,
145,
206,
248,
28,
175,
182,
115,
87,
137,
229,
249,
155,
125,
150,
90,
0,
205,
18,
223,
61,
206,
239,
72,
240,
2,
33,
0,
151,
61,
188,
18,
115,
29,
107,
19,
224,
99,
21,
172,
25,
149,
88,
203,
143,
253,
79,
176,
205,
10,
65,
7,
44,
124,
112,
217,
37,
68,
203,
192,
0,
118,
0,
72,
176,
227,
107,
218,
166,
71,
52,
15,
229,
106,
2,
250,
157,
48,
235,
28,
82,
1,
203,
86,
221,
44,
129,
217,
187,
191,
171,
57,
216,
132,
115,
0,
0,
1,
133,
171,
72,
5,
94,
0,
0,
4,
3,
0,
71,
48,
69,
2,
33,
0,
222,
91,
132,
123,
97,
163,
37,
140,
39,
112,
144,
7,
253,
98,
96,
81,
33,
50,
5,
21,
144,
88,
71,
12,
207,
231,
148,
79,
83,
132,
44,
33,
2,
32,
15,
188,
242,
87,
202,
158,
218,
218,
76,
240,
37,
125,
207,
237,
250,
135,
229,
121,
40,
222,
179,
225,
11,
52,
104,
93,
135,
122,
91,
228,
36,
10,
48,
13,
6,
9,
42,
134,
72,
134,
247,
13,
1,
1,
11,
5,
0,
3,
130,
1,
1,
0,
89,
228,
74,
216,
169,
130,
186,
154,
74,
241,
99,
12,
109,
118,
38,
117,
179,
60,
116,
190,
197,
247,
61,
167,
145,
146,
248,
207,
6,
45,
88,
16,
237,
243,
184,
214,
252,
108,
255,
19,
150,
50,
205,
79,
233,
135,
36,
133,
11,
116,
162,
194,
246,
15,
245,
167,
216,
125,
118,
138,
174,
233,
201,
88,
43,
110,
0,
111,
185,
205,
36,
238,
196,
66,
197,
76,
22,
133,
157,
52,
97,
57,
35,
191,
198,
142,
149,
201,
132,
169,
178,
229,
65,
15,
68,
120,
215,
149,
185,
207,
217,
116,
191,
88,
79,
231,
22,
255,
124,
64,
48,
196,
108,
78,
34,
77,
203,
131,
103,
58,
147,
191,
43,
197,
197,
156,
26,
242,
67,
161,
37,
59,
132,
246,
247,
83,
110,
168,
133,
174,
222,
20,
116,
145,
48,
6,
13,
242,
7,
212,
196,
8,
186,
67,
100,
197,
226,
63,
218,
172,
197,
65,
175,
164,
55,
232,
66,
118,
116,
247,
19,
187,
74,
125,
54,
89,
129,
155,
199,
68,
223,
137,
115,
185,
51,
66,
232,
96,
194,
77,
97,
93,
18,
90,
16,
246,
239,
255,
51,
137,
20,
80,
232,
214,
159,
198,
185,
92,
43,
53,
219,
173,
237,
221,
54,
182,
37,
242,
149,
138,
172,
105,
63,
154,
254,
26,
248,
21,
40,
109,
234,
24,
90,
194,
210,
98,
24,
175,
64,
120,
181,
250,
94,
9,
143,
83,
249,
204,
248,
35,
161,
131,
49,
35,
244,
198
],
[
48,
130,
4,
190,
48,
130,
3,
166,
160,
3,
2,
1,
2,
2,
16,
6,
216,
217,
4,
213,
88,
67,
70,
246,
138,
47,
167,
84,
34,
126,
196,
48,
13,
6,
9,
42,
134,
72,
134,
247,
13,
1,
1,
11,
5,
0,
48,
97,
49,
11,
48,
9,
6,
3,
85,
4,
6,
19,
2,
85,
83,
49,
21,
48,
19,
6,
3,
85,
4,
10,
19,
12,
68,
105,
103,
105,
67,
101,
114,
116,
32,
73,
110,
99,
49,
25,
48,
23,
6,
3,
85,
4,
11,
19,
16,
119,
119,
119,
46,
100,
105,
103,
105,
99,
101,
114,
116,
46,
99,
111,
109,
49,
32,
48,
30,
6,
3,
85,
4,
3,
19,
23,
68,
105,
103,
105,
67,
101,
114,
116,
32,
71,
108,
111,
98,
97,
108,
32,
82,
111,
111,
116,
32,
67,
65,
48,
30,
23,
13,
50,
49,
48,
52,
49,
52,
48,
48,
48,
48,
48,
48,
90,
23,
13,
51,
49,
48,
52,
49,
51,
50,
51,
53,
57,
53,
57,
90,
48,
79,
49,
11,
48,
9,
6,
3,
85,
4,
6,
19,
2,
85,
83,
49,
21,
48,
19,
6,
3,
85,
4,
10,
19,
12,
68,
105,
103,
105,
67,
101,
114,
116,
32,
73,
110,
99,
49,
41,
48,
39,
6,
3,
85,
4,
3,
19,
32,
68,
105,
103,
105,
67,
101,
114,
116,
32,
84,
76,
83,
32,
82,
83,
65,
32,
83,
72,
65,
50,
53,
54,
32,
50,
48,
50,
48,
32,
67,
65,
49,
48,
130,
1,
34,
48,
13,
6,
9,
42,
134,
72,
134,
247,
13,
1,
1,
1,
5,
0,
3,
130,
1,
15,
0,
48,
130,
1,
10,
2,
130,
1,
1,
0,
193,
75,
179,
101,
71,
112,
188,
221,
79,
88,
219,
236,
156,
237,
195,
102,
229,
31,
49,
19,
84,
173,
74,
102,
70,
31,
44,
10,
236,
100,
7,
229,
46,
220,
220,
185,
10,
32,
237,
223,
227,
196,
208,
158,
154,
169,
122,
29,
130,
136,
229,
17,
86,
219,
30,
159,
88,
194,
81,
231,
44,
52,
13,
46,
210,
146,
225,
86,
203,
241,
121,
95,
179,
187,
135,
202,
37,
3,
123,
154,
82,
65,
102,
16,
96,
79,
87,
19,
73,
240,
232,
55,
103,
131,
223,
231,
211,
75,
103,
76,
34,
81,
166,
223,
14,
153,
16,
237,
87,
81,
116,
38,
226,
125,
199,
202,
98,
46,
19,
27,
127,
35,
136,
37,
83,
111,
193,
52,
88,
0,
139,
132,
255,
248,
190,
167,
88,
73,
34,
123,
150,
173,
162,
136,
155,
21,
188,
160,
124,
223,
233,
81,
168,
213,
176,
237,
55,
226,
54,
180,
130,
75,
98,
181,
73,
154,
236,
199,
103,
214,
227,
62,
245,
227,
214,
18,
94,
68,
241,
191,
113,
66,
125,
88,
132,
3,
128,
177,
129,
1,
250,
249,
202,
50,
187,
180,
142,
39,
135,
39,
197,
43,
116,
212,
168,
214,
151,
222,
195,
100,
249,
202,
206,
83,
162,
86,
188,
120,
23,
142,
73,
3,
41,
174,
251,
73,
79,
164,
21,
185,
206,
242,
92,
25,
87,
109,
107,
121,
167,
43,
162,
39,
32,
19,
181,
208,
61,
64,
211,
33,
48,
7,
147,
234,
153,
245,
2,
3,
1,
0,
1,
163,
130,
1,
130,
48,
130,
1,
126,
48,
18,
6,
3,
85,
29,
19,
1,
1,
255,
4,
8,
48,
6,
1,
1,
255,
2,
1,
0,
48,
29,
6,
3,
85,
29,
14,
4,
22,
4,
20,
183,
107,
162,
234,
168,
170,
132,
140,
121,
234,
180,
218,
15,
152,
178,
197,
149,
118,
185,
244,
48,
31,
6,
3,
85,
29,
35,
4,
24,
48,
22,
128,
20,
3,
222,
80,
53,
86,
209,
76,
187,
102,
240,
163,
226,
27,
27,
195,
151,
178,
61,
209,
85,
48,
14,
6,
3,
85,
29,
15,
1,
1,
255,
4,
4,
3,
2,
1,
134,
48,
29,
6,
3,
85,
29,
37,
4,
22,
48,
20,
6,
8,
43,
6,
1,
5,
5,
7,
3,
1,
6,
8,
43,
6,
1,
5,
5,
7,
3,
2,
48,
118,
6,
8,
43,
6,
1,
5,
5,
7,
1,
1,
4,
106,
48,
104,
48,
36,
6,
8,
43,
6,
1,
5,
5,
7,
48,
1,
134,
24,
104,
116,
116,
112,
58,
47,
47,
111,
99,
115,
112,
46,
100,
105,
103,
105,
99,
101,
114,
116,
46,
99,
111,
109,
48,
64,
6,
8,
43,
6,
1,
5,
5,
7,
48,
2,
134,
52,
104,
116,
116,
112,
58,
47,
47,
99,
97,
99,
101,
114,
116,
115,
46,
100,
105,
103,
105,
99,
101,
114,
116,
46,
99,
111,
109,
47,
68,
105,
103,
105,
67,
101,
114,
116,
71,
108,
111,
98,
97,
108,
82,
111,
111,
116,
67,
65,
46,
99,
114,
116,
48,
66,
6,
3,
85,
29,
31,
4,
59,
48,
57,
48,
55,
160,
53,
160,
51,
134,
49,
104,
116,
116,
112,
58,
47,
47,
99,
114,
108,
51,
46,
100,
105,
103,
105,
99,
101,
114,
116,
46,
99,
111,
109,
47,
68,
105,
103,
105,
67,
101,
114,
116,
71,
108,
111,
98,
97,
108,
82,
111,
111,
116,
67,
65,
46,
99,
114,
108,
48,
61,
6,
3,
85,
29,
32,
4,
54,
48,
52,
48,
11,
6,
9,
96,
134,
72,
1,
134,
253,
108,
2,
1,
48,
7,
6,
5,
103,
129,
12,
1,
1,
48,
8,
6,
6,
103,
129,
12,
1,
2,
1,
48,
8,
6,
6,
103,
129,
12,
1,
2,
2,
48,
8,
6,
6,
103,
129,
12,
1,
2,
3,
48,
13,
6,
9,
42,
134,
72,
134,
247,
13,
1,
1,
11,
5,
0,
3,
130,
1,
1,
0,
128,
50,
206,
94,
11,
221,
110,
90,
13,
10,
175,
225,
214,
132,
203,
192,
142,
250,
133,
112,
237,
218,
93,
179,
12,
247,
43,
117,
64,
254,
133,
10,
250,
243,
49,
120,
183,
112,
75,
26,
137,
88,
186,
128,
189,
243,
107,
29,
233,
126,
207,
11,
186,
88,
156,
89,
212,
144,
211,
253,
108,
253,
208,
152,
109,
183,
113,
130,
91,
207,
109,
11,
90,
9,
208,
123,
222,
196,
67,
216,
42,
164,
222,
158,
65,
38,
95,
187,
143,
153,
203,
221,
174,
225,
168,
111,
159,
135,
254,
116,
183,
31,
27,
32,
171,
177,
79,
198,
245,
103,
93,
93,
155,
60,
233,
255,
105,
247,
97,
108,
214,
217,
243,
253,
54,
198,
171,
3,
136,
118,
210,
75,
46,
117,
134,
227,
252,
216,
85,
125,
38,
194,
17,
119,
223,
62,
2,
182,
124,
243,
171,
123,
122,
134,
54,
111,
184,
247,
216,
147,
113,
207,
134,
223,
115,
48,
250,
123,
171,
237,
42,
89,
200,
66,
132,
59,
17,
23,
26,
82,
243,
201,
14,
20,
125,
162,
91,
114,
103,
186,
113,
237,
87,
71,
102,
197,
184,
2,
74,
101,
52,
94,
139,
208,
42,
60,
32,
156,
81,
153,
76,
231,
82,
158,
247,
107,
17,
43,
13,
146,
126,
29,
232,
138,
235,
54,
22,
67,
135,
234,
42,
99,
191,
117,
63,
235,
222,
196,
3,
187,
10,
60,
247,
48,
239,
235,
175,
76,
252,
139,
54,
16,
115,
62,
243,
164
]
],
"ocsp_response": [
48,
130,
1,
211,
10,
1,
0,
160,
130,
1,
204,
48,
130,
1,
200,
6,
9,
43,
6,
1,
5,
5,
7,
48,
1,
1,
4,
130,
1,
185,
48,
130,
1,
181,
48,
129,
158,
162,
22,
4,
20,
183,
107,
162,
234,
168,
170,
132,
140,
121,
234,
180,
218,
15,
152,
178,
197,
149,
118,
185,
244,
24,
15,
50,
48,
50,
51,
49,
48,
49,
52,
50,
51,
52,
51,
50,
53,
90,
48,
115,
48,
113,
48,
73,
48,
9,
6,
5,
43,
14,
3,
2,
26,
5,
0,
4,
20,
228,
227,
149,
162,
41,
211,
212,
193,
195,
31,
240,
152,
12,
11,
78,
192,
9,
138,
171,
216,
4,
20,
183,
107,
162,
234,
168,
170,
132,
140,
121,
234,
180,
218,
15,
152,
178,
197,
149,
118,
185,
244,
2,
16,
12,
31,
203,
24,
69,
24,
199,
227,
134,
103,
65,
35,
109,
107,
115,
241,
128,
0,
24,
15,
50,
48,
50,
51,
49,
48,
49,
52,
50,
51,
50,
55,
48,
49,
90,
160,
17,
24,
15,
50,
48,
50,
51,
49,
48,
50,
49,
50,
50,
50,
55,
48,
49,
90,
48,
13,
6,
9,
42,
134,
72,
134,
247,
13,
1,
1,
11,
5,
0,
3,
130,
1,
1,
0,
184,
251,
200,
73,
93,
63,
208,
165,
95,
22,
32,
34,
217,
190,
237,
15,
214,
147,
187,
151,
25,
12,
107,
114,
228,
231,
24,
88,
192,
36,
172,
60,
119,
154,
227,
38,
215,
122,
106,
42,
98,
27,
211,
185,
131,
33,
192,
55,
86,
7,
40,
23,
203,
229,
61,
203,
75,
98,
117,
242,
132,
40,
141,
184,
209,
117,
113,
243,
104,
76,
141,
87,
242,
124,
60,
81,
248,
238,
142,
49,
181,
200,
206,
235,
84,
175,
131,
26,
223,
121,
106,
18,
137,
235,
197,
15,
100,
184,
31,
50,
158,
113,
199,
163,
35,
165,
195,
33,
48,
89,
149,
210,
1,
38,
134,
150,
76,
253,
211,
253,
55,
102,
225,
34,
120,
201,
129,
205,
38,
4,
250,
135,
208,
214,
40,
168,
128,
2,
73,
249,
220,
164,
167,
236,
21,
219,
235,
136,
12,
151,
49,
63,
35,
98,
121,
207,
81,
82,
3,
210,
86,
200,
111,
147,
181,
221,
32,
136,
38,
223,
87,
228,
126,
30,
70,
60,
224,
7,
80,
87,
99,
149,
188,
209,
186,
29,
58,
205,
178,
70,
69,
5,
255,
84,
185,
207,
166,
189,
101,
90,
44,
134,
128,
159,
8,
253,
66,
197,
99,
47,
142,
195,
225,
34,
69,
80,
166,
65,
145,
233,
152,
4,
174,
98,
20,
80,
236,
26,
145,
9,
14,
56,
132,
15,
100,
32,
48,
111,
51,
202,
65,
17,
88,
145,
55,
122,
187,
164,
141,
75,
55,
135,
22,
25,
157,
151
],
"scts": null
},
"server_kx_details": {
"kx_params": [
3,
0,
23,
65,
4,
68,
34,
75,
7,
39,
67,
64,
23,
100,
182,
217,
133,
78,
238,
0,
37,
105,
176,
191,
82,
42,
254,
167,
249,
36,
150,
98,
235,
193,
109,
164,
101,
169,
115,
153,
93,
153,
187,
58,
195,
240,
130,
156,
103,
201,
64,
55,
74,
146,
240,
128,
11,
84,
10,
118,
136,
110,
220,
140,
11,
116,
45,
148,
74
],
"kx_sig": {
"scheme": "RSA_PSS_SHA256",
"sig": [
52,
43,
81,
180,
218,
194,
143,
237,
254,
59,
72,
178,
70,
249,
188,
82,
40,
240,
80,
221,
173,
62,
214,
24,
209,
180,
17,
7,
83,
194,
31,
204,
79,
8,
239,
153,
179,
133,
74,
143,
210,
145,
92,
207,
239,
119,
94,
62,
144,
119,
217,
41,
101,
138,
155,
244,
134,
10,
249,
183,
111,
25,
223,
131,
73,
174,
66,
107,
48,
51,
147,
82,
2,
152,
139,
199,
101,
100,
171,
254,
68,
162,
203,
90,
61,
158,
183,
25,
119,
192,
247,
6,
150,
31,
243,
133,
197,
144,
254,
121,
9,
176,
70,
207,
230,
247,
3,
134,
53,
176,
42,
133,
125,
116,
113,
13,
242,
55,
117,
246,
129,
200,
124,
171,
47,
107,
86,
50,
108,
203,
186,
152,
91,
8,
25,
163,
140,
207,
176,
224,
230,
101,
163,
124,
202,
61,
25,
210,
254,
237,
86,
63,
4,
180,
11,
145,
98,
24,
68,
194,
47,
227,
50,
94,
140,
18,
179,
111,
46,
11,
70,
165,
221,
125,
165,
252,
102,
35,
29,
131,
197,
42,
220,
120,
79,
240,
136,
65,
125,
4,
149,
227,
125,
40,
110,
162,
170,
149,
224,
86,
203,
186,
10,
43,
215,
18,
37,
73,
239,
158,
74,
70,
187,
123,
251,
54,
121,
246,
220,
241,
45,
45,
69,
68,
255,
177,
219,
184,
79,
164,
82,
49,
142,
150,
6,
104,
52,
144,
175,
116,
149,
10,
132,
96,
145,
85,
153,
124,
152,
240,
1,
10,
132,
207,
72,
253
]
}
},
"client_random": [
212,
30,
191,
254,
177,
235,
227,
108,
214,
5,
209,
173,
175,
244,
63,
123,
74,
238,
195,
136,
146,
228,
17,
81,
237,
111,
196,
193,
7,
238,
25,
49
],
"server_random": [
67,
178,
16,
239,
109,
4,
209,
198,
42,
180,
48,
222,
112,
133,
65,
144,
89,
189,
84,
122,
139,
128,
202,
119,
68,
79,
87,
78,
71,
82,
68,
1
]
}
}
},
"substrings": {
"openings": {
"4": [
{
"kind": "Blake3",
"ranges": [
{
"start": 1336,
"end": 1615
}
],
"direction": "Received"
},
{
"Blake3": {
"data": [
60,
47,
104,
49,
62,
10,
32,
32,
32,
32,
60,
112,
62,
84,
104,
105,
115,
32,
100,
111,
109,
97,
105,
110,
32,
105,
115,
32,
102,
111,
114,
32,
117,
115,
101,
32,
105,
110,
32,
105,
108,
108,
117,
115,
116,
114,
97,
116,
105,
118,
101,
32,
101,
120,
97,
109,
112,
108,
101,
115,
32,
105,
110,
32,
100,
111,
99,
117,
109,
101,
110,
116,
115,
46,
32,
89,
111,
117,
32,
109,
97,
121,
32,
117,
115,
101,
32,
116,
104,
105,
115,
10,
32,
32,
32,
32,
100,
111,
109,
97,
105,
110,
32,
105,
110,
32,
108,
105,
116,
101,
114,
97,
116,
117,
114,
101,
32,
119,
105,
116,
104,
111,
117,
116,
32,
112,
114,
105,
111,
114,
32,
99,
111,
111,
114,
100,
105,
110,
97,
116,
105,
111,
110,
32,
111,
114,
32,
97,
115,
107,
105,
110,
103,
32,
102,
111,
114,
32,
112,
101,
114,
109,
105,
115,
115,
105,
111,
110,
46,
60,
47,
112,
62,
10,
32,
32,
32,
32,
60,
112,
62,
60,
97,
32,
104,
114,
101,
102,
61,
34,
104,
116,
116,
112,
115,
58,
47,
47,
119,
119,
119,
46,
105,
97,
110,
97,
46,
111,
114,
103,
47,
100,
111,
109,
97,
105,
110,
115,
47,
101,
120,
97,
109,
112,
108,
101,
34,
62,
77,
111,
114,
101,
32,
105,
110,
102,
111,
114,
109,
97,
116,
105,
111,
110,
46,
46,
46,
60,
47,
97,
62,
60,
47,
112,
62,
10,
60,
47,
100,
105,
118,
62,
10,
60,
47,
98,
111,
100,
121,
62,
10,
60,
47,
104,
116,
109,
108,
62,
10
],
"nonce": [
68,
61,
134,
57,
242,
112,
229,
97,
120,
46,
79,
232,
181,
252,
67,
247,
133,
99,
16,
38,
38,
237,
121,
46,
193,
49,
136,
61,
69,
0,
23,
193
]
}
}
],
"3": [
{
"kind": "Blake3",
"ranges": [
{
"start": 414,
"end": 1322
}
],
"direction": "Received"
},
{
"Blake3": {
"data": [
60,
47,
116,
105,
116,
108,
101,
62,
10,
10,
32,
32,
32,
32,
60,
109,
101,
116,
97,
32,
99,
104,
97,
114,
115,
101,
116,
61,
34,
117,
116,
102,
45,
56,
34,
32,
47,
62,
10,
32,
32,
32,
32,
60,
109,
101,
116,
97,
32,
104,
116,
116,
112,
45,
101,
113,
117,
105,
118,
61,
34,
67,
111,
110,
116,
101,
110,
116,
45,
116,
121,
112,
101,
34,
32,
99,
111,
110,
116,
101,
110,
116,
61,
34,
116,
101,
120,
116,
47,
104,
116,
109,
108,
59,
32,
99,
104,
97,
114,
115,
101,
116,
61,
117,
116,
102,
45,
56,
34,
32,
47,
62,
10,
32,
32,
32,
32,
60,
109,
101,
116,
97,
32,
110,
97,
109,
101,
61,
34,
118,
105,
101,
119,
112,
111,
114,
116,
34,
32,
99,
111,
110,
116,
101,
110,
116,
61,
34,
119,
105,
100,
116,
104,
61,
100,
101,
118,
105,
99,
101,
45,
119,
105,
100,
116,
104,
44,
32,
105,
110,
105,
116,
105,
97,
108,
45,
115,
99,
97,
108,
101,
61,
49,
34,
32,
47,
62,
10,
32,
32,
32,
32,
60,
115,
116,
121,
108,
101,
32,
116,
121,
112,
101,
61,
34,
116,
101,
120,
116,
47,
99,
115,
115,
34,
62,
10,
32,
32,
32,
32,
98,
111,
100,
121,
32,
123,
10,
32,
32,
32,
32,
32,
32,
32,
32,
98,
97,
99,
107,
103,
114,
111,
117,
110,
100,
45,
99,
111,
108,
111,
114,
58,
32,
35,
102,
48,
102,
48,
102,
50,
59,
10,
32,
32,
32,
32,
32,
32,
32,
32,
109,
97,
114,
103,
105,
110,
58,
32,
48,
59,
10,
32,
32,
32,
32,
32,
32,
32,
32,
112,
97,
100,
100,
105,
110,
103,
58,
32,
48,
59,
10,
32,
32,
32,
32,
32,
32,
32,
32,
102,
111,
110,
116,
45,
102,
97,
109,
105,
108,
121,
58,
32,
45,
97,
112,
112,
108,
101,
45,
115,
121,
115,
116,
101,
109,
44,
32,
115,
121,
115,
116,
101,
109,
45,
117,
105,
44,
32,
66,
108,
105,
110,
107,
77,
97,
99,
83,
121,
115,
116,
101,
109,
70,
111,
110,
116,
44,
32,
34,
83,
101,
103,
111,
101,
32,
85,
73,
34,
44,
32,
34,
79,
112,
101,
110,
32,
83,
97,
110,
115,
34,
44,
32,
34,
72,
101,
108,
118,
101,
116,
105,
99,
97,
32,
78,
101,
117,
101,
34,
44,
32,
72,
101,
108,
118,
101,
116,
105,
99,
97,
44,
32,
65,
114,
105,
97,
108,
44,
32,
115,
97,
110,
115,
45,
115,
101,
114,
105,
102,
59,
10,
32,
32,
32,
32,
32,
32,
32,
32,
10,
32,
32,
32,
32,
125,
10,
32,
32,
32,
32,
100,
105,
118,
32,
123,
10,
32,
32,
32,
32,
32,
32,
32,
32,
119,
105,
100,
116,
104,
58,
32,
54,
48,
48,
112,
120,
59,
10,
32,
32,
32,
32,
32,
32,
32,
32,
109,
97,
114,
103,
105,
110,
58,
32,
53,
101,
109,
32,
97,
117,
116,
111,
59,
10,
32,
32,
32,
32,
32,
32,
32,
32,
112,
97,
100,
100,
105,
110,
103,
58,
32,
50,
101,
109,
59,
10,
32,
32,
32,
32,
32,
32,
32,
32,
98,
97,
99,
107,
103,
114,
111,
117,
110,
100,
45,
99,
111,
108,
111,
114,
58,
32,
35,
102,
100,
102,
100,
102,
102,
59,
10,
32,
32,
32,
32,
32,
32,
32,
32,
98,
111,
114,
100,
101,
114,
45,
114,
97,
100,
105,
117,
115,
58,
32,
48,
46,
53,
101,
109,
59,
10,
32,
32,
32,
32,
32,
32,
32,
32,
98,
111,
120,
45,
115,
104,
97,
100,
111,
119,
58,
32,
50,
112,
120,
32,
51,
112,
120,
32,
55,
112,
120,
32,
50,
112,
120,
32,
114,
103,
98,
97,
40,
48,
44,
48,
44,
48,
44,
48,
46,
48,
50,
41,
59,
10,
32,
32,
32,
32,
125,
10,
32,
32,
32,
32,
97,
58,
108,
105,
110,
107,
44,
32,
97,
58,
118,
105,
115,
105,
116,
101,
100,
32,
123,
10,
32,
32,
32,
32,
32,
32,
32,
32,
99,
111,
108,
111,
114,
58,
32,
35,
51,
56,
52,
56,
56,
102,
59,
10,
32,
32,
32,
32,
32,
32,
32,
32,
116,
101,
120,
116,
45,
100,
101,
99,
111,
114,
97,
116,
105,
111,
110,
58,
32,
110,
111,
110,
101,
59,
10,
32,
32,
32,
32,
125,
10,
32,
32,
32,
32,
64,
109,
101,
100,
105,
97,
32,
40,
109,
97,
120,
45,
119,
105,
100,
116,
104,
58,
32,
55,
48,
48,
112,
120,
41,
32,
123,
10,
32,
32,
32,
32,
32,
32,
32,
32,
100,
105,
118,
32,
123,
10,
32,
32,
32,
32,
32,
32,
32,
32,
32,
32,
32,
32,
109,
97,
114,
103,
105,
110,
58,
32,
48,
32,
97,
117,
116,
111,
59,
10,
32,
32,
32,
32,
32,
32,
32,
32,
32,
32,
32,
32,
119,
105,
100,
116,
104,
58,
32,
97,
117,
116,
111,
59,
10,
32,
32,
32,
32,
32,
32,
32,
32,
125,
10,
32,
32,
32,
32,
125,
10,
32,
32,
32,
32,
60,
47,
115,
116,
121,
108,
101,
62,
32,
32,
32,
32,
10,
60,
47,
104,
101,
97,
100,
62,
10,
10,
60,
98,
111,
100,
121,
62,
10,
60,
100,
105,
118,
62,
10,
32,
32,
32,
32,
60,
104,
49,
62
],
"nonce": [
119,
196,
38,
231,
67,
115,
235,
147,
179,
153,
225,
81,
43,
57,
49,
99,
157,
153,
4,
211,
91,
173,
80,
126,
75,
56,
69,
64,
146,
231,
112,
147
]
}
}
],
"0": [
{
"kind": "Blake3",
"ranges": [
{
"start": 0,
"end": 106
}
],
"direction": "Sent"
},
{
"Blake3": {
"data": [
71,
69,
84,
32,
47,
32,
72,
84,
84,
80,
47,
49,
46,
49,
13,
10,
104,
111,
115,
116,
58,
32,
101,
120,
97,
109,
112,
108,
101,
46,
99,
111,
109,
13,
10,
97,
99,
99,
101,
112,
116,
58,
32,
42,
47,
42,
13,
10,
97,
99,
99,
101,
112,
116,
45,
101,
110,
99,
111,
100,
105,
110,
103,
58,
32,
105,
100,
101,
110,
116,
105,
116,
121,
13,
10,
99,
111,
110,
110,
101,
99,
116,
105,
111,
110,
58,
32,
99,
108,
111,
115,
101,
13,
10,
117,
115,
101,
114,
45,
97,
103,
101,
110,
116,
58,
32
],
"nonce": [
242,
171,
92,
154,
130,
248,
153,
148,
188,
242,
244,
22,
250,
193,
237,
228,
72,
240,
229,
158,
102,
90,
194,
102,
45,
112,
33,
90,
150,
42,
137,
52
]
}
}
],
"1": [
{
"kind": "Blake3",
"ranges": [
{
"start": 207,
"end": 211
}
],
"direction": "Sent"
},
{
"Blake3": {
"data": [
13,
10,
13,
10
],
"nonce": [
159,
166,
87,
166,
198,
160,
143,
211,
105,
98,
84,
204,
180,
206,
67,
41,
65,
219,
162,
231,
234,
173,
83,
230,
198,
148,
203,
221,
95,
41,
115,
206
]
}
}
],
"2": [
{
"kind": "Blake3",
"ranges": [
{
"start": 0,
"end": 400
}
],
"direction": "Received"
},
{
"Blake3": {
"data": [
72,
84,
84,
80,
47,
49,
46,
49,
32,
50,
48,
48,
32,
79,
75,
13,
10,
65,
103,
101,
58,
32,
53,
50,
50,
50,
50,
53,
13,
10,
67,
97,
99,
104,
101,
45,
67,
111,
110,
116,
114,
111,
108,
58,
32,
109,
97,
120,
45,
97,
103,
101,
61,
54,
48,
52,
56,
48,
48,
13,
10,
67,
111,
110,
116,
101,
110,
116,
45,
84,
121,
112,
101,
58,
32,
116,
101,
120,
116,
47,
104,
116,
109,
108,
59,
32,
99,
104,
97,
114,
115,
101,
116,
61,
85,
84,
70,
45,
56,
13,
10,
68,
97,
116,
101,
58,
32,
84,
104,
117,
44,
32,
49,
57,
32,
79,
99,
116,
32,
50,
48,
50,
51,
32,
49,
51,
58,
51,
48,
58,
49,
54,
32,
71,
77,
84,
13,
10,
69,
116,
97,
103,
58,
32,
34,
51,
49,
52,
55,
53,
50,
54,
57,
52,
55,
43,
103,
122,
105,
112,
43,
105,
100,
101,
110,
116,
34,
13,
10,
69,
120,
112,
105,
114,
101,
115,
58,
32,
84,
104,
117,
44,
32,
50,
54,
32,
79,
99,
116,
32,
50,
48,
50,
51,
32,
49,
51,
58,
51,
48,
58,
49,
54,
32,
71,
77,
84,
13,
10,
76,
97,
115,
116,
45,
77,
111,
100,
105,
102,
105,
101,
100,
58,
32,
84,
104,
117,
44,
32,
49,
55,
32,
79,
99,
116,
32,
50,
48,
49,
57,
32,
48,
55,
58,
49,
56,
58,
50,
54,
32,
71,
77,
84,
13,
10,
83,
101,
114,
118,
101,
114,
58,
32,
69,
67,
83,
32,
40,
100,
99,
98,
47,
55,
70,
65,
51,
41,
13,
10,
86,
97,
114,
121,
58,
32,
65,
99,
99,
101,
112,
116,
45,
69,
110,
99,
111,
100,
105,
110,
103,
13,
10,
88,
45,
67,
97,
99,
104,
101,
58,
32,
72,
73,
84,
13,
10,
67,
111,
110,
116,
101,
110,
116,
45,
76,
101,
110,
103,
116,
104,
58,
32,
49,
50,
53,
54,
13,
10,
67,
111,
110,
110,
101,
99,
116,
105,
111,
110,
58,
32,
99,
108,
111,
115,
101,
13,
10,
13,
10,
60,
33,
100,
111,
99,
116,
121,
112,
101,
32,
104,
116,
109,
108,
62,
10,
60,
104,
116,
109,
108,
62,
10,
60,
104,
101,
97,
100,
62,
10,
32,
32,
32,
32,
60,
116,
105,
116,
108,
101,
62
],
"nonce": [
201,
251,
66,
178,
184,
78,
213,
26,
214,
117,
3,
215,
41,
159,
95,
155,
31,
32,
231,
30,
90,
30,
41,
38,
127,
200,
194,
204,
182,
229,
157,
115
]
}
}
]
},
"inclusion_proof": {
"proof": [],
"total_leaves": 5
}
}
}