-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathOBELYSK_PROOF_PACKAGE.json
More file actions
161 lines (153 loc) · 7.69 KB
/
OBELYSK_PROOF_PACKAGE.json
File metadata and controls
161 lines (153 loc) · 7.69 KB
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
152
153
154
155
156
157
158
159
160
161
{
"version": "1.0.0",
"generated_at": "2026-01-21T00:00:00Z",
"prover": "obelysk-stwo-real-0.1.0",
"network": "starknet-sepolia",
"computation": {
"type": "neural_network_inference",
"architecture": {
"layers": [4, 8, 3],
"activation": "relu",
"output_activation": "softmax"
},
"result": {
"predicted_class": 1,
"confidence_scores": [166533543, 30379017]
}
},
"proof_metrics": {
"trace_length": 11,
"trace_width": 26,
"proof_size_bytes": 3156,
"generation_time_ms": 3,
"security_bits": 128,
"fri_layers": 5,
"query_count": 16
},
"contracts": {
"stwo_verifier": {
"address": "0x052963fe2f1d2d2545cbe18b8230b739c8861ae726dc7b6f0202cc17a369bd7d",
"class_hash": "0x1f2bd9a181e6fc4e7efbc4fc221167d8465542c93773d3aa95b37312e492e72"
},
"proof_verifier": {
"address": "0x017ada59ab642b53e6620ef2026f21eb3f2d1a338d6e85cb61d5bcd8dfbebc8b",
"class_hash": "0x619514cc939dbf8b6aedb9df253a171f607d5a13a1cb260e20c2eb8916b5470"
},
"sage_token": {
"address": "0x072349097c8a802e7f66dc96b95aca84e4d78ddad22014904076c76293a99850"
}
},
"pcs_config": {
"pow_bits": 16,
"log_blowup_factor": 3,
"log_last_layer_degree_bound": 5,
"n_queries": 16
},
"public_input_hash": "0x00217345693495b44eafd05e785abdcdf09ff7898fa8f017ba0ea4f7478e39d6",
"proof_array": [
"0x0000000000000000000000000000000000000000000000000000000000000010",
"0x0000000000000000000000000000000000000000000000000000000000000003",
"0x0000000000000000000000000000000000000000000000000000000000000005",
"0x0000000000000000000000000000000000000000000000000000000000000010",
"0x105e2530ba9ac87b58718b4a22fc4c4b068aebad31b1e668b620d0ec0eb1daa5",
"0x105e2530ba9ac87b58718b4a22fc4c4b068aebad31b1e668b620d0ec0eb1daa5",
"0x105e2530ba9ac87b58718b4a22fc4c4b068aebad31b1e668b620d0ec0eb1daa5",
"0x00000000000000000000000000000000000000000000000000000000499602d2",
"0x000000000000000000000000000000000000000000000000000000000d5454a2",
"0x0000000000000000000000000000000000000000000000000000000027bb29d4",
"0x0000000000000000000000000000000000000000000000000000000032523b20",
"0x0000000000000000000000000000000000000000000000000000000008688110",
"0x00000000000000000000000000000000000000000000000000000000137b78d0",
"0x00000000000000000000000000000000000000000000000000000000038736c9",
"0x105e2530ba9ac87b58718b4a22fc4c4b068aebad31b1e668b620d0ec0eb1daa5",
"0x000000000000000000000000000000000000000000000000000000004996330b",
"0x000000000000000000000000000000000000000000000000000000004aaa462f",
"0x000000000000000000000000000000000000000000000000000000004a9681bf",
"0x0000000000000000000000000000000000000000000000000000000012493770",
"0x0000000000000000000000000000000000000000000000000000000040f86902",
"0x000000000000000000000000000000000000000000000000000000002fe0c5f4",
"0x00000000000000000000000000000000000000000000000000000000036d3e5c",
"0x105e2530ba9ac87b58718b4a22fc4c4b068aebad31b1e668b620d0ec0eb1daa5",
"0x0000000000000000000000000000000000000000000000000000000049966344",
"0x00000000000000000000000000000000000000000000000000000000104931b6",
"0x0000000000000000000000000000000000000000000000000000000066d6e482",
"0x105e2530ba9ac87b58718b4a22fc4c4b068aebad31b1e668b620d0ec0eb1daa5",
"0x000000000000000000000000000000000000000000000000000000004996937d",
"0x000000000000000000000000000000000000000000000000000000002be1493f",
"0x000000000000000000000000000000000000000000000000000000003d88092d",
"0x00000000000000000000000000000000000000000000000000000000574a5e80",
"0x000000000000000000000000000000000000000000000000000000007fa7cca6",
"0x105e2530ba9ac87b58718b4a22fc4c4b068aebad31b1e668b620d0ec0eb1daa5",
"0x000000000000000000000000000000000000000000000000000000004996c3b6",
"0x00000000000000000000000000000000000000000000000000000000430bacd8",
"0x00000000000000000000000000000000000000000000000000000000555b0378",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000001",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000002",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x000000000000000000000000000000000000000000000000000000000000000b",
"0x0000000000000000000000000000000000000000000000000000000009ed19a7",
"0x0000000000000000000000000000000000000000000000000000000001cf8c09",
"0x000000000000000000000000000000000000000000000000112210f47de98115"
],
"raw_proof": {
"trace_commitment": [16, 94, 37, 48, 186, 154, 200, 123, 88, 113, 139, 74, 34, 252, 76, 75, 6, 138, 235, 173, 49, 177, 230, 104, 182, 32, 208, 236, 14, 177, 218, 165],
"fri_layers": [
{
"commitment": [16, 94, 37, 48, 186, 154, 200, 123, 88, 113, 139, 74, 34, 252, 76, 75, 6, 138, 235, 173, 49, 177, 230, 104, 182, 32, 208, 236, 14, 177, 218, 165],
"evaluations": [223630498, 666577364, 844249888, 141066512, 326858960, 59193033]
},
{
"commitment": [16, 94, 37, 48, 186, 154, 200, 123, 88, 113, 139, 74, 34, 252, 76, 75, 6, 138, 235, 173, 49, 177, 230, 104, 182, 32, 208, 236, 14, 177, 218, 165],
"evaluations": [1252673071, 1251377599, 306788208, 1090021634, 803259892, 57491036]
},
{
"commitment": [16, 94, 37, 48, 186, 154, 200, 123, 88, 113, 139, 74, 34, 252, 76, 75, 6, 138, 235, 173, 49, 177, 230, 104, 182, 32, 208, 236, 14, 177, 218, 165],
"evaluations": [273232310, 1725359234]
},
{
"commitment": [16, 94, 37, 48, 186, 154, 200, 123, 88, 113, 139, 74, 34, 252, 76, 75, 6, 138, 235, 173, 49, 177, 230, 104, 182, 32, 208, 236, 14, 177, 218, 165],
"evaluations": [736184639, 1032325421, 1464491648, 2141703334]
},
{
"commitment": [16, 94, 37, 48, 186, 154, 200, 123, 88, 113, 139, 74, 34, 252, 76, 75, 6, 138, 235, 173, 49, 177, 230, 104, 182, 32, 208, 236, 14, 177, 218, 165],
"evaluations": [1124838616, 1432028024]
}
],
"openings": [
{
"position": 0,
"values": [0],
"merkle_path": [
[109, 245, 68, 181, 23, 196, 66, 221, 40, 31, 37, 223, 221, 249, 81, 100, 17, 206, 34, 136, 195, 65, 104, 144, 219, 55, 238, 23, 160, 220, 210, 254],
[109, 245, 68, 181, 23, 196, 66, 221, 40, 31, 37, 223, 221, 249, 81, 100, 17, 206, 34, 136, 195, 65, 104, 144, 219, 55, 238, 23, 160, 220, 210, 254]
]
},
{
"position": 1,
"values": [0],
"merkle_path": [
[109, 245, 68, 181, 23, 196, 66, 221, 40, 31, 37, 223, 221, 249, 81, 100, 17, 206, 34, 136, 195, 65, 104, 144, 219, 55, 238, 23, 160, 220, 210, 254],
[109, 245, 68, 181, 23, 196, 66, 221, 40, 31, 37, 223, 221, 249, 81, 100, 17, 206, 34, 136, 195, 65, 104, 144, 219, 55, 238, 23, 160, 220, 210, 254]
]
},
{
"position": 2,
"values": [0],
"merkle_path": [
[109, 245, 68, 181, 23, 196, 66, 221, 40, 31, 37, 223, 221, 249, 81, 100, 17, 206, 34, 136, 195, 65, 104, 144, 219, 55, 238, 23, 160, 220, 210, 254],
[109, 245, 68, 181, 23, 196, 66, 221, 40, 31, 37, 223, 221, 249, 81, 100, 17, 206, 34, 136, 195, 65, 104, 144, 219, 55, 238, 23, 160, 220, 210, 254]
]
}
],
"public_inputs": [11],
"public_outputs": [166533543, 30379017]
},
"starkli_command": {
"contract": "0x052963fe2f1d2d2545cbe18b8230b739c8861ae726dc7b6f0202cc17a369bd7d",
"function": "submit_proof",
"rpc": "https://rpc.starknet-testnet.lava.build"
}
}