docs: vk consistency (#321)

argumentcomputer · Nov 18, 2024 · 17aaf13 · 17aaf13 · github-actions · Nov 21, 2024
1 parent 7e7cdcf
commit 17aaf13
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/aptos/docs/src/design/overview.md b/aptos/docs/src/design/overview.md
@@ -26,7 +26,7 @@ to some account needs to be validated.
 The current Verifying Key Hashes which uniquely identify the specific RISC-V binaries for the proof programs, located in the
 [`aptos/aptos-programs/artifacts/`](https://github.com/argumentcomputer/zk-light-clients/tree/dev/aptos/aptos-programs/artifacts)
 directory are:
-* `epoch_change`: `0x00eea0650222f7e5bb6a2fe57c0e0e504d1df8b3d848d5116174a8703d228c94`
-* `inclusion`: `0x00336c570224c00161ca7b3c275c24f3968aa09086c31d09d98691bce109f4f6`
+* `epoch_change`: `0x00749738cdd87d0179d124a1c20f0cb28de2355faf4b00c5f994b3bfa0cfdf48`
+* `inclusion`: `0x0011762f50a83396c88be6119d62ef89e5f87bd504dd66537697a05f3c3c1fa7`
 
 These values are also present in and used by the [solidity fixtures](../benchmark/on_chain.md).
diff --git a/ethereum/docs/src/design/overview.md b/ethereum/docs/src/design/overview.md
@@ -27,7 +27,7 @@ binaries for the proof programs, located in the
 [`ethereum/ethereum-programs/artifacts/`](https://github.com/argumentcomputer/zk-light-clients/tree/dev/ethereum/ethereum-programs/artifacts)
 directory are:
 
-* `epoch_change`: `0x0016ada2465cce37e1908bf462fec9c82d3f6f090965345d8f785f6d11f65826`
-* `inclusion`: `0x006166fe4b4cad8e89f01bdaea9f54bd7476302ec74d45492058172a01342cea`
+* `epoch_change`: `0x00de53d6fe5e4e43f950fbc1f6b2c0f9c172097ad7263ab913241267b29d03f2`
+* `inclusion`: `0x00deddfe90263f93c03e88dc9c33603f3ea0493b2af5da7e37d515794958bbb7`
 
 These values are also present in and used by the [move fixtures](../benchmark/on_chain.md).
diff --git a/kadena/docs/src/design/overview.md b/kadena/docs/src/design/overview.md
@@ -35,7 +35,7 @@ state closer to the longest chain state.
 The current Verifying Key Hashes which uniquely identify the specific RISC-V binaries for the proof programs, located in the
 [`kadena/kadena-programs/artifacts/`](https://github.com/argumentcomputer/zk-light-clients/tree/dev/kadena/kadena-programs/artifacts)
 directory are:
-* `longest_chain`: `0x00c9f93ac78c984785ef4cd5fac972ac36bc214c0f2d0f887903dd660eb1fc39`
-* `spv`: `0x008e034af6eda82af08a33ff3748c4085b9c9775d79abf10c6fc524ea17ac04f`
+* `longest_chain`: `0x00b35a3df67c07d7095db4e5744a9f3f93b6c7526c5b380b1d380b1cf5f5f4a8`
+* `spv`: `0x0056c9dcde9d2c9465f5f310944248f4fa9b7797158165598f35a80f3d3a8411`
 
 These values are also present in and used by the [solidity fixtures](../benchmark/on_chain.md).
nbr_leaves	proving_time	verifying_time	cycles
32	7min29s	0.134s	6823054
128	7min55s	0.117s	6822954
2048	7min27s	0.12s	6841034
8192	7min24s	0.125s	6849934
32768	7min30s	0.094s	6868577
nbr_leaves	proving_time	verifying_time	cycles
32	7min24s	0.127s	6823054
128	7min46s	0.117s	6822954
2048	7min26s	0.113s	6841034
8192	7min40s	0.135s	6849934
32768	7min22s	0.118s	6868577
nbr_leaves	proving_time	verifying_time	cycles
32	7min22s	0.109s	6823054
128	7min57s	0.123s	6822954
2048	7min30s	0.138s	6841034
8192	7min22s	0.121s	6849934
32768	7min29s	0.117s	6868577