feat(galois): regenerate circuit and according keys

Author: hussein-aitlahcen

evm/contracts/clients/Verifier.sol

@@ -47,65 +47,65 @@ contract Verifier is IZKVerifierV2 {
 
     // Groth16 alpha point in G1
     uint256 constant ALPHA_X =
-        19681918582342826141927615585844819827950494091197079841581098590160509489088;
+        12953796731566255356153533186899970596541789506787316310421265866460204452345;
     uint256 constant ALPHA_Y =
-        18976290249472753264792873488771466812990993964894861063003977176791880491271;
+        16108099332627179116882890117640860610766253379177782725877946988741043002151;
 
     // Groth16 beta point in G2 in powers of i
     uint256 constant BETA_NEG_X_0 =
-        17542740552152507448113209307107151415915067720344615090625491194497459342657;
+        7189998629544061358868906102425391182345467937747171889044260956112296857453;
     uint256 constant BETA_NEG_X_1 =
-        7391419840357209888406550113304609596117324320456425532340186750677647200951;
+        11715211044976611849279736941659181461607821837429796658922621107593979258018;
     uint256 constant BETA_NEG_Y_0 =
-        19792144694189938307894275195643141100067567927017820917795773938883367365412;
+        21619939555605977664462722857628766746010558584894478667635551317055122810048;
     uint256 constant BETA_NEG_Y_1 =
-        17211163405892785765064384698545439693511041026525583483293852246253094999960;
+        17744148816587107869967191160344383643814015065165838706210713825793780643664;
 
     // Groth16 gamma point in G2 in powers of i
     uint256 constant GAMMA_NEG_X_0 =
-        18606218405301761142065379515313210013062685838824185304765852768028043703753;
+        3203739780556455486614737616951770238449562962366174174415509385502339079134;
     uint256 constant GAMMA_NEG_X_1 =
-        14540190418613230568675456016157166803361906410442369269514923787931816842661;
+        330365480594874048579972851352786169022705988981774516328112713209916814425;
     uint256 constant GAMMA_NEG_Y_0 =
-        8951288781929330311740771353182492599878185290969923949343519917796557268219;
+        20727415115882681892016430268352505550338140930514103693522477672680520482110;
     uint256 constant GAMMA_NEG_Y_1 =
-        8812741715039891617796654796990655544152364726104502685064434338923152748332;
+        11770494869568371860365301978617470999730178637197214918443012817597339833626;
 
     // Groth16 delta point in G2 in powers of i
     uint256 constant DELTA_NEG_X_0 =
-        4060446808760699692477462845230990229944734548192291022910719993807902355759;
+        144471853326950176158652078814987832244858457888532278798444997831177703256;
     uint256 constant DELTA_NEG_X_1 =
-        17803970575871171031178686612122420011629668206026599803865929512658387807614;
+        11723967339734259367269684565753317343894480284660483851808778513760163502167;
     uint256 constant DELTA_NEG_Y_0 =
-        17124643930680839105590130418783735638684807807530957846654257326870483890070;
+        8658017305463622670988550192886929502068646694881738953533949013510868981849;
     uint256 constant DELTA_NEG_Y_1 =
-        7629814864078422326695261874116750521593226108645261491403040533513921542483;
+        14970547642275722192880833497617759418334101954226638914501320639527882466979;
 
     // Constant and public input points
     uint256 constant CONSTANT_X =
-        18676861125246766292059080199576268981667767278300819763274799276376054409743;
+        468243475977942096739227064799809074577932864561864594431724289332044119393;
     uint256 constant CONSTANT_Y =
-        5269797328666185490526867808814966151140271775451395274640052553630677159076;
+        12026957193107468267989691684356505173830039075560970134183365962992276088502;
     uint256 constant PUB_0_X =
-        3010349418202885908760025883515590778403141726894708222433169071368055690912;
+        4273127142915912066836331589937887852131041396580330861495976561450995509060;
     uint256 constant PUB_0_Y =
-        20724571387755619214201948546999886629454427058875835531981815961969686023639;
+        20311891790436735379947440583419330671207702790700221333652972975201502172109;
     uint256 constant PUB_1_X =
-        1718980496599153571806495443921791801530740535933073284474040850386158191735;
+        5867078984367927991529260476370712193826388223706691841033290533650191497842;
     uint256 constant PUB_1_Y =
-        3288376032837046783397899352143814445169932711782482341330476711768756263890;
+        15457584854730416542120021991798916984793483604514831168874602434669080770632;
     uint256 constant PUB_2_X =
-        9266521894078168597926726825960443668976816125222306871429246198851182099011;
+        6073935183581261599921354767516829294802045150352674700000707907321520444286;
     uint256 constant PUB_2_Y =
-        9416966066664703605394453818829209487654794520205974695819389893969431707374;
+        19421513883482432722033354055257568460031664693915650865773106969145220560478;
     uint256 constant PUB_3_X =
-        13194582768609510874189454527180276310818912484460263820189470814556014162264;
+        6573761322005933095907247349767854226263237757268335098982485126002570113042;
     uint256 constant PUB_3_Y =
-        15983647339013447433771242507224193645257463334651420839328305715367829062538;
+        21648292561695958729986475933727235437209737383625151779025875934553286731278;
     uint256 constant PUB_4_X =
-        13160686484300787492313686811371534896624215839999346591796239441200125629208;
+        7850217296098862761033756178241744898548923761706289522462295413515747119164;
     uint256 constant PUB_4_Y =
-        11709584278193617231017776985640196897412209200566866495381859539145549732339;
+        15481433110471107159567305060748336299937224568483713663114311452391215471632;
 
     /// Compute the public input linear combination.
     /// @notice Reverts with PublicInputNotInField if the input is not in the field.

evm/tests/src/Verifier.t.sol

@@ -7,10 +7,10 @@ contract VerifierTests {
 
     function testVerifier_ok() public {
         new Verifier().verifyZKP(
-            0x0472116C575F0FECF44ED4F91C34E9E7B67CE8C911FC67F304C2B804330B61F0,
-            0x0472116C575F0FECF44ED4F91C34E9E7B67CE8C911FC67F304C2B804330B61F0,
-            hex"650802113E0200000000000022480A20DFAD1A5E2BB2B94BD7ED5F4F85199E0DDD95FB4687CFBF19B36865845BD16E20122408011220E32B1FA520CE4F9D0C1A2C80D51FB1F09B9C241101BE70D5CE0DC0F11B009863320E756E696F6E2D6465766E65742D31",
-            hex"19EB187C4EA70DA41CE1C2E9C81D7F4ACC9B8CD85A98AD59A64BD9D820A1D4E41DA150358EC5AFCBA7407D66AFABD59B1B92095D6A797572FAE6FE9C9A500E7C284C0AF8310181C072C1002961BE007DFC68DFDBD9CCF930410153829DA0E00D20ECDCE1DF5674D69A70BFB0891CE61888AADC6B362E27C6E4C9D1905ED327402EEE2EB635235068CBCBAB909D9A14A8992E74DE17D69269FC60CC448A832F8E1BCA6C3426A79029508AEE21DBB718F016FEC33A0A500EA14A05E3E19548634F04011075515FF876980559B120DC247A190BF699C2BA19ECDA92220AADAF3F5A1D502B8552BCC4BBDBA3C53EA39FAA5D6A7D23E06AE8F52AEECCED971D7D353613F7C750995DDD6BCCBB3E3185CF5B53EADAA6FA412665A0910FF709E49CFDFB0530B479EE5F0774588EE7397F7E050A9F4C87DB7989E2557E76353BF98CF7B922EB5DBE6D66AEA64C33AF7D6469BF3EFD5ACA10936CED35DAE692D489AAF8C2"
+            0x09539669AC74E3530F2782443258734DABAC8B8E036ECB9BC378361016892156,
+            0x09539669AC74E3530F2782443258734DABAC8B8E036ECB9BC378361016892156,
+            hex"650802113E0200000000000022480A20B8C88CE47A2AC003E6736975F3AE14517A07E90CBF3293C8E073CF45FB371E79122408011220AC08E7599D7F5682B77E2293928D68A956B2A73E917E5B9F0DBA64B0ED8C2E2F320E756E696F6E2D6465766E65742D31",
+            hex"21D80AACFCA03DC2B84881E3EF1A73C25D2D088E48AA35764A6B4485A78354F021C90A4CBAAB731658D13CE5152F147DF1734F0196031DAF918BF06DAEA1A4E9082959B87795E28482B4FE13AD4B777F9A2D4BFBC8C3FF2640A5DB5619A8F2DA04D6037DAEA584F0C93EDC769859BE695493F48813E491540C37587C2C3214490AE2C9DC087D8039CAF2BD181E289D60EA9AC8B4BF3411A9F9888DC9250525DD055143FE81924CF683CF8381167431A8CB0C984C9DB2BA13D6C9B2374FFD7323052586453C7C06E234B861E9E212EB4A8DF470BD9ADCDB759FED40E62004ECB8210E3A53A0D1F570552C5118521943BC2CC4BB1DA8A5877667A2800D4DF62665304E914F6631B3CE27C88F21E1E8FFAC6C0512D62AE00BEEA79F649BD6E139BD254011571644878C8A72D167D82B5F409360209E1B8E146457C1893769383F4F2F9C0E2EF22885F92672277AF244840CA6EB5298D74E73334BD88360D6B33681"
         );
     }
 }

lib/cometbls-groth16-verifier/src/lib.rs

@@ -45,91 +45,85 @@ pub fn universal_vk() -> VerifyingKey<ark_bn254::Bn254> {
     VerifyingKey::<ark_bn254::Bn254> {
         alpha_g1: make_g1(
             BigInt!(
-                "19681918582342826141927615585844819827950494091197079841581098590160509489088"
+                "12953796731566255356153533186899970596541789506787316310421265866460204452345"
             ),
             BigInt!(
-                "18976290249472753264792873488771466812990993964894861063003977176791880491271"
+                "16108099332627179116882890117640860610766253379177782725877946988741043002151"
             ),
         ),
         beta_g2: make_g2(
+            BigInt!("7189998629544061358868906102425391182345467937747171889044260956112296857453"),
             BigInt!(
-                "17542740552152507448113209307107151415915067720344615090625491194497459342657"
+                "11715211044976611849279736941659181461607821837429796658922621107593979258018"
             ),
-            BigInt!("7391419840357209888406550113304609596117324320456425532340186750677647200951"),
-            BigInt!("2096098177649336914352130549614133988628743230280002744893263955761858843171"),
-            BigInt!("4677079465946489457182021046711835395185270130772240179395185648392131208623"),
+            BigInt!("268303316233297557783682887628508342685752572403344995053486577590103398535"),
+            BigInt!("4144094055252167352279214584912891444882296092131984956478324068851445564919"),
         ),
         gamma_g2: make_g2(
+            BigInt!("3203739780556455486614737616951770238449562962366174174415509385502339079134"),
+            BigInt!("330365480594874048579972851352786169022705988981774516328112713209916814425"),
+            BigInt!("1160827755956593330229975476904769538358170226783719969166560221964705726473"),
             BigInt!(
-                "18606218405301761142065379515313210013062685838824185304765852768028043703753"
-            ),
-            BigInt!(
-                "14540190418613230568675456016157166803361906410442369269514923787931816842661"
-            ),
-            BigInt!(
-                "12936954089909944910505634392074782488818125866327899713345517976848668940364"
-            ),
-            BigInt!(
-                "13075501156799383604449750948266619544543946431193320977624603555722073460251"
+                "10117748002270903361881103766639804088966132520100608744246025077047886374957"
             ),
         ),
         delta_g2: make_g2(
-            BigInt!("4060446808760699692477462845230990229944734548192291022910719993807902355759"),
+            BigInt!("144471853326950176158652078814987832244858457888532278798444997831177703256"),
             BigInt!(
-                "17803970575871171031178686612122420011629668206026599803865929512658387807614"
+                "11723967339734259367269684565753317343894480284660483851808778513760163502167"
             ),
-            BigInt!("4763598941158436116656275326473539450011503349766865816034780567774742318513"),
             BigInt!(
-                "14258428007760852895551143871140524567103085048652562171285997361131304666100"
+                "13230225566375652551257855552370345586627664462416084709155088881134357226734"
             ),
+            BigInt!("6917695229563553029365572247639515670362209203071184748187717255117343741604"),
         ),
         gamma_abc_g1: vec![
             make_g1(
                 BigInt!(
-                    "18676861125246766292059080199576268981667767278300819763274799276376054409743"
+                    "468243475977942096739227064799809074577932864561864594431724289332044119393"
                 ),
                 BigInt!(
-                    "5269797328666185490526867808814966151140271775451395274640052553630677159076"
+                    "12026957193107468267989691684356505173830039075560970134183365962992276088502"
                 ),
             ),
             make_g1(
                 BigInt!(
-                    "3010349418202885908760025883515590778403141726894708222433169071368055690912"
+                    "4273127142915912066836331589937887852131041396580330861495976561450995509060"
                 ),
                 BigInt!(
-                    "20724571387755619214201948546999886629454427058875835531981815961969686023639"
+                    "20311891790436735379947440583419330671207702790700221333652972975201502172109"
                 ),
             ),
             make_g1(
                 BigInt!(
-                    "1718980496599153571806495443921791801530740535933073284474040850386158191735"
+                    "5867078984367927991529260476370712193826388223706691841033290533650191497842"
                 ),
                 BigInt!(
-                    "3288376032837046783397899352143814445169932711782482341330476711768756263890"
+                    "15457584854730416542120021991798916984793483604514831168874602434669080770632"
                 ),
             ),
             make_g1(
                 BigInt!(
-                    "9266521894078168597926726825960443668976816125222306871429246198851182099011"
+                    "6073935183581261599921354767516829294802045150352674700000707907321520444286"
                 ),
                 BigInt!(
-                    "9416966066664703605394453818829209487654794520205974695819389893969431707374"
+                    "19421513883482432722033354055257568460031664693915650865773106969145220560478"
                 ),
             ),
             make_g1(
                 BigInt!(
-                    "13194582768609510874189454527180276310818912484460263820189470814556014162264"
+                    "6573761322005933095907247349767854226263237757268335098982485126002570113042"
                 ),
                 BigInt!(
-                    "15983647339013447433771242507224193645257463334651420839328305715367829062538"
+                    "21648292561695958729986475933727235437209737383625151779025875934553286731278"
                 ),
             ),
             make_g1(
                 BigInt!(
-                    "13160686484300787492313686811371534896624215839999346591796239441200125629208"
+                    "7850217296098862761033756178241744898548923761706289522462295413515747119164"
                 ),
                 BigInt!(
-                    "11709584278193617231017776985640196897412209200566866495381859539145549732339"
+                    "15481433110471107159567305060748336299937224568483713663114311452391215471632"
                 ),
             ),
         ],
@@ -382,10 +376,10 @@ mod tests {
     fn test() {
         assert_eq!(
             verify_zkp(
-                U256::from_str("0x0472116C575F0FECF44ED4F91C34E9E7B67CE8C911FC67F304C2B804330B61F0").unwrap(),
-                U256::from_str("0x0472116C575F0FECF44ED4F91C34E9E7B67CE8C911FC67F304C2B804330B61F0").unwrap(),
-                &hex!("650802113E0200000000000022480A20DFAD1A5E2BB2B94BD7ED5F4F85199E0DDD95FB4687CFBF19B36865845BD16E20122408011220E32B1FA520CE4F9D0C1A2C80D51FB1F09B9C241101BE70D5CE0DC0F11B009863320E756E696F6E2D6465766E65742D31"),
-                hex!("19EB187C4EA70DA41CE1C2E9C81D7F4ACC9B8CD85A98AD59A64BD9D820A1D4E41DA150358EC5AFCBA7407D66AFABD59B1B92095D6A797572FAE6FE9C9A500E7C284C0AF8310181C072C1002961BE007DFC68DFDBD9CCF930410153829DA0E00D20ECDCE1DF5674D69A70BFB0891CE61888AADC6B362E27C6E4C9D1905ED327402EEE2EB635235068CBCBAB909D9A14A8992E74DE17D69269FC60CC448A832F8E1BCA6C3426A79029508AEE21DBB718F016FEC33A0A500EA14A05E3E19548634F04011075515FF876980559B120DC247A190BF699C2BA19ECDA92220AADAF3F5A1D502B8552BCC4BBDBA3C53EA39FAA5D6A7D23E06AE8F52AEECCED971D7D353613F7C750995DDD6BCCBB3E3185CF5B53EADAA6FA412665A0910FF709E49CFDFB0530B479EE5F0774588EE7397F7E050A9F4C87DB7989E2557E76353BF98CF7B922EB5DBE6D66AEA64C33AF7D6469BF3EFD5ACA10936CED35DAE692D489AAF8C2")
+                U256::from_str("09539669AC74E3530F2782443258734DABAC8B8E036ECB9BC378361016892156").unwrap(),
+                U256::from_str("09539669AC74E3530F2782443258734DABAC8B8E036ECB9BC378361016892156").unwrap(),
+                &hex!("650802113E0200000000000022480A20B8C88CE47A2AC003E6736975F3AE14517A07E90CBF3293C8E073CF45FB371E79122408011220AC08E7599D7F5682B77E2293928D68A956B2A73E917E5B9F0DBA64B0ED8C2E2F320E756E696F6E2D6465766E65742D31"),
+                hex!("21D80AACFCA03DC2B84881E3EF1A73C25D2D088E48AA35764A6B4485A78354F021C90A4CBAAB731658D13CE5152F147DF1734F0196031DAF918BF06DAEA1A4E9082959B87795E28482B4FE13AD4B777F9A2D4BFBC8C3FF2640A5DB5619A8F2DA04D6037DAEA584F0C93EDC769859BE695493F48813E491540C37587C2C3214490AE2C9DC087D8039CAF2BD181E289D60EA9AC8B4BF3411A9F9888DC9250525DD055143FE81924CF683CF8381167431A8CB0C984C9DB2BA13D6C9B2374FFD7323052586453C7C06E234B861E9E212EB4A8DF470BD9ADCDB759FED40E62004ECB8210E3A53A0D1F570552C5118521943BC2CC4BB1DA8A5877667A2800D4DF62665304E914F6631B3CE27C88F21E1E8FFAC6C0512D62AE00BEEA79F649BD6E139BD254011571644878C8A72D167D82B5F409360209E1B8E146457C1893769383F4F2F9C0E2EF22885F92672277AF244840CA6EB5298D74E73334BD88360D6B33681")
             ),
             Ok(())
         );