From 00d8a076b194ebd851d1f26ab7436fc4eb2c0e75 Mon Sep 17 00:00:00 2001 From: Florian Date: Fri, 23 Aug 2024 14:30:32 +0200 Subject: [PATCH 1/4] cache bug? --- src/bindings | 2 +- src/lib/proof-system/prover-keys.ts | 2 +- src/mina | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/bindings b/src/bindings index 35b2a6135c..84e3196e26 160000 --- a/src/bindings +++ b/src/bindings @@ -1 +1 @@ -Subproject commit 35b2a6135cdc0ed1fda6fc0262eedea9034fa948 +Subproject commit 84e3196e2643f9d3e9c88191f059a0ca463a3933 diff --git a/src/lib/proof-system/prover-keys.ts b/src/lib/proof-system/prover-keys.ts index 8568eb78d6..758c1e1bc0 100644 --- a/src/lib/proof-system/prover-keys.ts +++ b/src/lib/proof-system/prover-keys.ts @@ -53,7 +53,7 @@ function parseHeader( methods: MethodInterface[], header: SnarkKeyHeader ): CacheHeader { - let hash = Pickles.util.fromMlString(header[1][2][7]); + let hash = Pickles.util.fromMlString(header[1][2][6]); switch (header[0]) { case KeyType.StepProvingKey: case KeyType.StepVerificationKey: { diff --git a/src/mina b/src/mina index 02accb5bc5..24c8b2d723 160000 --- a/src/mina +++ b/src/mina @@ -1 +1 @@ -Subproject commit 02accb5bc5bd152b5b849d864b3339ada56ef891 +Subproject commit 24c8b2d723fb09d0d7f996b6ac35373dc27084ef From 336b2bcd9a7e5d4f900b2dc141ded76f0c49b395 Mon Sep 17 00:00:00 2001 From: Florian Date: Fri, 23 Aug 2024 14:49:58 +0200 Subject: [PATCH 2/4] bindings --- src/bindings | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bindings b/src/bindings index 84e3196e26..dfd40d2150 160000 --- a/src/bindings +++ b/src/bindings @@ -1 +1 @@ -Subproject commit 84e3196e2643f9d3e9c88191f059a0ca463a3933 +Subproject commit dfd40d21501125e5f77f321c5b1d15e068a6062d From 0d2f6f55623bdf99a38b6b56fd5fb74c5615e5dd Mon Sep 17 00:00:00 2001 From: Florian Date: Fri, 23 Aug 2024 17:24:23 +0200 Subject: [PATCH 3/4] bindings --- src/bindings | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bindings b/src/bindings index dfd40d2150..8e99acc94d 160000 --- a/src/bindings +++ b/src/bindings @@ -1 +1 @@ -Subproject commit dfd40d21501125e5f77f321c5b1d15e068a6062d +Subproject commit 8e99acc94da892eeb090367844f85d22ecf4f93b From 8ab009cfd35154cb10bfca2cb34cef6a3f76f05c Mon Sep 17 00:00:00 2001 From: Florian Date: Fri, 23 Aug 2024 20:15:45 +0200 Subject: [PATCH 4/4] adjust header type --- src/lib/proof-system/prover-keys.ts | 1 - 1 file changed, 1 deletion(-) diff --git a/src/lib/proof-system/prover-keys.ts b/src/lib/proof-system/prover-keys.ts index 758c1e1bc0..9b4a5e5a0d 100644 --- a/src/lib/proof-system/prover-keys.ts +++ b/src/lib/proof-system/prover-keys.ts @@ -211,7 +211,6 @@ type MlSnarkKeysHeader = [ headerVersion: number, kind: [_: 0, type: MlString, identifier: MlString], constraintConstants: unknown, - commit: MlString, length: number, constraintSystemHash: MlString, identifyingHash: MlString