update VK and proof test cases

Author: alinush

types/src/oidb/circuit_constants.rs

@@ -23,19 +23,19 @@ pub(crate) const MAX_COMMITED_EPK_BYTES: u16 = 3 * poseidon_bn254::BYTES_PACKED_
 pub fn devnet_prepared_vk() -> PreparedVerifyingKey<Bn254> {
     // Convert the projective points to affine.
     let alpha_g1 = g1_projective_str_to_affine(
-        "16672231080302629756836614130913173861541009360974119524782950408048375831661",
-        "1076145001163048025135533382088266750240489485046298539187659509488738517245",
+        "20491192805390485299153009773594534940189261866228447918068658471970481763042",
+        "9383485363053290200918347156157836566562967994039712273449902621266178545958",
     )
     .unwrap();
 
     let beta_g2 = g2_projective_str_to_affine(
         [
-            "1125365732643211423779651913319958385653115422366520671538751860820509133538",
-            "10055196097002324305342942912758079446356594743098794928675544207400347950287",
+            "6375614351688725206403948262868962793625744043794305715222011528459656738731",
+            "4252822878758300859123897981450591353533073413197771768651442665752259397132",
         ],
         [
-            "10879716754714953827605171295191459580695363989155343984818520267224463075503",
-            "440220374146936557739765173414663598678359360031905981547938788314460390904",
+            "10505242626370262277552901082094356697409835680220590971873171140371331206856",
+            "21847035105528745403288232691147584728191162732299865338377159692350059136679",
         ],
     )
     .unwrap();
@@ -54,26 +54,26 @@ pub fn devnet_prepared_vk() -> PreparedVerifyingKey<Bn254> {
 
     let delta_g2 = g2_projective_str_to_affine(
         [
-            "10857046999023057135944570762232829481370756359578518086990519993285655852781",
-            "11559732032986387107991004021392285783925812861821192530917403151452391805634",
+            "4554876388761449971150762643527200218721274582609012924804001026508011579882",
+            "9906124002012538607706838605380337418208917959286750650097945326735558982299",
         ],
         [
-            "8495653923123431417604973247489272438418190587263600148770280649306958101930",
-            "4082367875863433681332203403145435568316851327593401208105741076214120093531",
+            "5854023862046905849776403994145962544983234635302179642001962573086489816607",
+            "1115646383956031634980010937823293614666074390302688571989763044019135241889",
         ],
     )
     .unwrap();
 
     let mut gamma_abc_g1 = Vec::new();
     for points in [
         g1_projective_str_to_affine(
-            "333957087685714773491410343905674131693317845924221586503521553512853800005",
-            "16794842110397433586916934076838854067112427849394773076676106408631114267154",
+            "19969429920450141902172268650961329312290082884093184976727612790263548895589",
+            "5146534318147005445214564431741941940406412758913409113743201385319569618289",
         )
         .unwrap(),
         g1_projective_str_to_affine(
-            "14679941092573826838949544937315479399329040741655244517938404383938168565228",
-            "19977040285201397592140173066949293223501504328707794673737757867503037033174",
+            "15192959234143920396735876774520785358155749431089461580802816710466908168006",
+            "18346895842267323773878010013182465710347574804392898846929667361700890467565",
         )
         .unwrap(),
     ] {

types/src/oidb/circuit_testcases.rs

@@ -150,24 +150,24 @@ pub(crate) static SAMPLE_OIDB_PK: Lazy<OidbPublicKey> = Lazy::new(|| {
 pub(crate) static SAMPLE_PROOF: Lazy<Groth16Zkp> = Lazy::new(|| {
     Groth16Zkp::new(
         G1Bytes::new_unchecked(
-            "12231709561876342858591497461541533679382707548832581865026884128195038623819",
-            "19550065013334671766459652895464943208897555190003385241537366958524038549651",
+            "4470668953498815291118813694625852066171551105654596174374858885226578750734",
+            "14788589714058859505243017007182544407755183524390103786436121684254044340756",
         )
         .unwrap(),
         G2Bytes::new_unchecked(
             [
-                "17760114700472440073566664035341233176332867365948052821768844085204638465257",
-                "2074118366711830630562352153651013053077229376039883853182809642185973784582",
+                "19964271555454493822493487427388576160988441374693973346071644217966495467723",
+                "13323381916967628034087987623567037272731886344747801700777864344050235336348",
             ],
             [
-                "21474168538255367719812229486236305962320711305273777702403534410487962424082",
-                "17404352079167923594003522667505828016450036154572779269542685309363067054790",
+                "3774003850436718557803458636202686199624507874355327512447206480984626693729",
+                "1716739756344109596192893154802286969758937949519569315162844587816368174496",
             ],
         )
         .unwrap(),
         G1Bytes::new_unchecked(
-            "9194799847136645728085689496796085217935413772780751043375835048405276952071",
-            "17704024912475005725846633700069393676807658122056968962396516331631047675983",
+            "20907992905438744331671589598826747010257757425816109725506966167718927036107",
+            "21699679298680052085273235372827765370228252154570456225953796655272884519170",
         )
         .unwrap(),
     )