Get rid of precompute encodings

Author: victorshevtsov

examples/zktls/host/src/main.rs

@@ -126,8 +126,7 @@ fn verify_by_zkvm(
     notary_pub_key: &NotaryPubKey,
     presentation: &Presentation,
 ) -> Result<(Vec<u8>, ZkTlsProof, Receipt), Box<dyn std::error::Error>> {
-    let mut presentation = presentation.clone();
-    presentation.precompute_encodings()?;
+    let presentation = presentation.clone();
 
     let presentation_batch = PresentationBatch {
         notary_pub_key: notary_pub_key.clone(),

examples/zktls/ic-verifier/src/lib.rs

@@ -15,7 +15,7 @@ pub mod state;
 pub mod utils;
 
 const ZKVM_IMAGE_ID: [u32; 8] = [
-    1587164378, 3897773235, 1946063679, 3490198458, 3764178775, 283742902, 3039206025, 1480104475,
+    3272774196, 2425320109, 1919992434, 1125400035, 2700290721, 2894536758, 2671926308, 321562171,
 ];
 
 /// Initializes the canister with an optional environment configuration

fixtures/assets/presentation/presentation_1kb.json

@@ -3,24 +3,24 @@
 		"signature": {
 			"alg": 1,
 			"data": [
-				139, 141, 132, 95, 225, 23, 146, 91, 249, 150, 59, 155, 44, 155, 232,
-				183, 225, 212, 181, 237, 127, 255, 218, 120, 50, 44, 248, 122, 172, 7,
-				156, 55, 4, 127, 60, 213, 121, 174, 66, 137, 152, 175, 226, 83, 128, 28,
-				69, 130, 247, 24, 194, 69, 245, 78, 88, 201, 216, 33, 33, 115, 220, 154,
-				3, 109
+				73, 174, 66, 162, 189, 171, 96, 214, 236, 185, 121, 132, 36, 175, 189,
+				227, 138, 106, 242, 152, 198, 185, 18, 96, 142, 94, 205, 248, 219, 148,
+				117, 68, 73, 198, 5, 219, 79, 79, 93, 214, 55, 134, 203, 147, 9, 129,
+				69, 180, 131, 161, 91, 29, 171, 127, 208, 197, 206, 174, 180, 210, 219,
+				199, 56, 104
 			]
 		},
 		"header": {
 			"id": [
-				130, 129, 39, 243, 246, 222, 168, 77, 171, 144, 87, 159, 7, 63, 46, 58
+				167, 147, 128, 174, 127, 172, 6, 153, 58, 107, 249, 64, 88, 188, 66, 128
 			],
 			"version": 0,
 			"root": {
 				"alg": 2,
 				"value": [
-					62, 158, 73, 155, 124, 18, 29, 12, 129, 230, 55, 77, 97, 96, 120, 253,
-					129, 51, 7, 67, 158, 98, 81, 139, 189, 182, 129, 116, 19, 131, 114,
-					125
+					165, 158, 38, 52, 84, 241, 13, 225, 94, 77, 174, 219, 102, 36, 206,
+					182, 22, 190, 117, 209, 111, 5, 175, 66, 14, 234, 48, 22, 237, 153,
+					43, 152
 				]
 			}
 		},
@@ -40,24 +40,21 @@
 				"connection_info": {
 					"id": 1,
 					"data": {
-						"time": 1757719544,
+						"time": 1758227342,
 						"version": "v1_2",
-						"transcript_length": {
-							"sent": 187,
-							"received": 1274
-						}
+						"transcript_length": { "sent": 187, "received": 1274 }
 					}
 				},
 				"server_ephemeral_key": {
 					"id": 2,
 					"data": {
 						"type": "secp256r1",
 						"key": [
-							4, 250, 113, 152, 102, 112, 133, 52, 206, 188, 54, 92, 164, 99,
-							85, 166, 4, 22, 46, 202, 154, 114, 99, 32, 92, 223, 70, 239, 61,
-							99, 252, 91, 107, 209, 143, 171, 71, 46, 242, 3, 15, 226, 100, 95,
-							236, 70, 189, 152, 48, 243, 26, 194, 70, 237, 93, 7, 28, 6, 186,
-							135, 62, 24, 147, 122, 128
+							4, 25, 200, 93, 168, 120, 131, 88, 23, 76, 4, 13, 113, 200, 60, 3,
+							140, 200, 35, 45, 135, 141, 64, 135, 12, 148, 154, 18, 65, 51,
+							187, 150, 135, 153, 90, 72, 187, 144, 33, 119, 41, 219, 24, 62,
+							189, 132, 190, 192, 233, 226, 126, 93, 109, 32, 87, 23, 9, 232,
+							101, 28, 43, 82, 103, 234, 170
 						]
 					}
 				},
@@ -66,9 +63,9 @@
 					"data": {
 						"alg": 2,
 						"value": [
-							198, 34, 230, 11, 29, 204, 20, 133, 13, 100, 5, 205, 139, 160, 36,
-							172, 255, 213, 41, 99, 179, 167, 220, 84, 186, 153, 108, 164, 174,
-							53, 103, 124
+							4, 225, 144, 109, 126, 153, 34, 142, 177, 95, 119, 105, 212, 142,
+							225, 93, 23, 182, 32, 254, 151, 19, 205, 167, 92, 254, 135, 226,
+							251, 249, 131, 225
 						]
 					}
 				},
@@ -78,27 +75,21 @@
 						"root": {
 							"alg": 2,
 							"value": [
-								102, 7, 184, 138, 14, 85, 77, 134, 208, 35, 82, 206, 132, 111,
-								153, 46, 34, 52, 152, 12, 176, 203, 80, 94, 151, 180, 101, 36,
-								149, 136, 143, 145
+								209, 227, 116, 194, 5, 81, 5, 123, 123, 116, 86, 132, 93, 175,
+								97, 61, 212, 32, 31, 190, 105, 219, 142, 188, 159, 245, 238,
+								120, 160, 196, 159, 148
 							]
 						},
 						"seed": [
-							91, 157, 197, 97, 69, 99, 11, 196, 215, 78, 110, 201, 14, 131,
-							197, 237, 216, 9, 149, 187, 137, 172, 100, 83, 157, 226, 48, 0,
-							96, 129, 108, 194
+							123, 2, 37, 41, 138, 108, 225, 223, 239, 101, 104, 145, 175, 223,
+							186, 175, 116, 185, 19, 48, 202, 155, 77, 28, 235, 171, 125, 38,
+							156, 253, 164, 143
 						]
 					}
 				},
 				"plaintext_hashes": []
 			},
-			"proof": {
-				"alg": 2,
-				"tree_len": 5,
-				"proof": {
-					"proof_hashes": []
-				}
-			}
+			"proof": { "alg": 2, "tree_len": 5, "proof": { "proof_hashes": [] } }
 		}
 	},
 	"identity": {
@@ -243,40 +234,40 @@
 				"sig": {
 					"scheme": "ecdsa_nistp384_sha384",
 					"sig": [
-						48, 69, 2, 32, 102, 160, 122, 160, 216, 111, 95, 158, 70, 210, 55,
-						242, 205, 18, 145, 192, 167, 17, 202, 207, 115, 41, 46, 102, 205,
-						160, 58, 255, 170, 62, 112, 148, 2, 33, 0, 149, 47, 36, 191, 52, 12,
-						6, 63, 48, 13, 126, 116, 66, 225, 163, 243, 252, 98, 61, 137, 151,
-						125, 128, 60, 124, 227, 6, 25, 167, 21, 240, 183
+						48, 68, 2, 32, 101, 230, 219, 87, 9, 97, 150, 27, 19, 82, 106, 251,
+						211, 141, 231, 227, 110, 103, 54, 199, 160, 46, 65, 91, 234, 201,
+						212, 214, 38, 179, 44, 167, 2, 32, 101, 32, 68, 52, 112, 222, 99,
+						13, 158, 49, 52, 18, 188, 37, 41, 25, 128, 188, 170, 138, 171, 45,
+						97, 172, 176, 112, 155, 190, 205, 69, 176, 213
 					]
 				},
 				"handshake": {
 					"v1_2": {
 						"client_random": [
-							80, 161, 177, 154, 17, 54, 152, 62, 186, 156, 71, 70, 74, 234,
-							189, 189, 139, 98, 126, 146, 196, 159, 177, 126, 77, 237, 194,
-							215, 159, 14, 172, 13
+							50, 204, 57, 166, 242, 101, 162, 208, 148, 114, 17, 129, 142, 101,
+							214, 26, 46, 223, 226, 11, 22, 123, 4, 78, 8, 137, 128, 16, 189,
+							198, 70, 234
 						],
 						"server_random": [
-							53, 38, 36, 7, 244, 115, 218, 106, 51, 163, 208, 239, 122, 8, 166,
-							156, 205, 239, 140, 71, 129, 2, 49, 76, 68, 79, 87, 78, 71, 82,
-							68, 1
+							32, 82, 42, 123, 19, 42, 25, 206, 125, 121, 236, 184, 157, 213,
+							114, 130, 158, 68, 90, 68, 236, 123, 126, 249, 68, 79, 87, 78, 71,
+							82, 68, 1
 						],
 						"server_ephemeral_key": {
 							"type": "secp256r1",
 							"key": [
-								4, 250, 113, 152, 102, 112, 133, 52, 206, 188, 54, 92, 164, 99,
-								85, 166, 4, 22, 46, 202, 154, 114, 99, 32, 92, 223, 70, 239, 61,
-								99, 252, 91, 107, 209, 143, 171, 71, 46, 242, 3, 15, 226, 100,
-								95, 236, 70, 189, 152, 48, 243, 26, 194, 70, 237, 93, 7, 28, 6,
-								186, 135, 62, 24, 147, 122, 128
+								4, 25, 200, 93, 168, 120, 131, 88, 23, 76, 4, 13, 113, 200, 60,
+								3, 140, 200, 35, 45, 135, 141, 64, 135, 12, 148, 154, 18, 65,
+								51, 187, 150, 135, 153, 90, 72, 187, 144, 33, 119, 41, 219, 24,
+								62, 189, 132, 190, 192, 233, 226, 126, 93, 109, 32, 87, 23, 9,
+								232, 101, 28, 43, 82, 103, 234, 170
 							]
 						}
 					}
 				}
 			},
 			"blinder": [
-				212, 229, 12, 55, 148, 236, 81, 220, 226, 21, 124, 253, 206, 24, 222, 33
+				86, 68, 54, 71, 37, 40, 50, 244, 173, 130, 251, 43, 197, 218, 55, 225
 			]
 		}
 	},
@@ -285,27 +276,20 @@
 			"inclusion_proof": {
 				"alg": 2,
 				"tree_len": 2,
-				"proof": {
-					"proof_hashes": []
-				}
+				"proof": { "proof_hashes": [] }
 			},
 			"openings": {
 				"0": {
 					"direction": "Received",
 					"seq": {
-						"idx": [
-							{
-								"start": 0,
-								"end": 1274
-							}
-						],
+						"idx": [{ "start": 0, "end": 1274 }],
 						"data": [
 							72, 84, 84, 80, 47, 49, 46, 49, 32, 50, 48, 48, 32, 79, 75, 13,
 							10, 83, 101, 114, 118, 101, 114, 58, 32, 110, 103, 105, 110, 120,
 							47, 49, 46, 50, 52, 46, 48, 32, 40, 85, 98, 117, 110, 116, 117,
-							41, 13, 10, 68, 97, 116, 101, 58, 32, 70, 114, 105, 44, 32, 49,
-							50, 32, 83, 101, 112, 32, 50, 48, 50, 53, 32, 50, 51, 58, 50, 53,
-							58, 52, 55, 32, 71, 77, 84, 13, 10, 67, 111, 110, 116, 101, 110,
+							41, 13, 10, 68, 97, 116, 101, 58, 32, 84, 104, 117, 44, 32, 49,
+							56, 32, 83, 101, 112, 32, 50, 48, 50, 53, 32, 50, 48, 58, 50, 57,
+							58, 48, 54, 32, 71, 77, 84, 13, 10, 67, 111, 110, 116, 101, 110,
 							116, 45, 84, 121, 112, 101, 58, 32, 97, 112, 112, 108, 105, 99,
 							97, 116, 105, 111, 110, 47, 106, 115, 111, 110, 13, 10, 67, 111,
 							110, 116, 101, 110, 116, 45, 76, 101, 110, 103, 116, 104, 58, 32,
@@ -393,24 +377,13 @@
 						]
 					},
 					"blinder": [
-						222, 82, 182, 82, 57, 59, 157, 43, 228, 168, 141, 144, 210, 26, 73,
-						253
-					],
-					"encoding": null
+						25, 75, 95, 126, 9, 46, 169, 203, 10, 177, 233, 160, 73, 18, 211, 71
+					]
 				},
 				"1": {
 					"direction": "Sent",
 					"seq": {
-						"idx": [
-							{
-								"start": 0,
-								"end": 173
-							},
-							{
-								"start": 183,
-								"end": 187
-							}
-						],
+						"idx": [{ "start": 0, "end": 173 }, { "start": 183, "end": 187 }],
 						"data": [
 							71, 69, 84, 32, 104, 116, 116, 112, 115, 58, 47, 47, 109, 111, 99,
 							107, 46, 118, 101, 114, 105, 116, 121, 46, 117, 115, 104, 101,
@@ -428,10 +401,9 @@
 						]
 					},
 					"blinder": [
-						80, 210, 185, 201, 253, 177, 124, 136, 108, 110, 28, 190, 61, 172,
-						96, 66
-					],
-					"encoding": null
+						184, 8, 57, 29, 96, 79, 227, 174, 128, 235, 246, 227, 88, 111, 126,
+						30
+					]
 				}
 			}
 		},