Skip to content

Commit a4ca4f9

Browse files
chore(codex-devnet): update verifier artifacts (#253)
* chore(codex-devnet): remove binary artifacts * chore(codex-devnet): update verifier artifacts
1 parent 886e8c5 commit a4ca4f9

File tree

6 files changed

+5
-9
lines changed

6 files changed

+5
-9
lines changed

verifier/networks/codex_devnet/proof_main.circom

Lines changed: 0 additions & 4 deletions
This file was deleted.
-39 MB
Binary file not shown.
-600 KB
Binary file not shown.
-52.5 MB
Binary file not shown.

verifier/networks/codex_devnet/proof_main_verification_key.json

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -37,12 +37,12 @@
3737
],
3838
"vk_delta_2": [
3939
[
40-
"4242372433870967747014994165533296650435514614635867408424375946906374056974",
41-
"18301172719512515069015282269781512836356774299838899435281034529748853354699"
40+
"18847787075186653479563252585230076427336205029053034399889512784226274367833",
41+
"2736188815473472538496321562070369627329326821838531098341958663668834615385"
4242
],
4343
[
44-
"7893309626729892431707924648227004737117356057037925662725627713167962253358",
45-
"3364684738221557413573933813861709699686135088968584050402285853852672055438"
44+
"15086255651168277665845449427251496461981394242207161337044533835504041775839",
45+
"21116336501942861194211753931634160832873056011965822517640040812912286588295"
4646
],
4747
[
4848
"1",
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
"56b424f7a3f6d2082f6f371b108f15b035b887e6fc04cdc96d59707a51dc86cf"
1+
"17adc1656dc6f2bed11900b83eb765afc622da0a03dd0cee5291f40673fddd5c"

0 commit comments

Comments
 (0)