Skip to content

Commit 94416a1

Browse files
lucasmenendezaltergui
authored andcommitted
new verifiers testing values
1 parent 75b1d54 commit 94416a1

File tree

4 files changed

+35
-75
lines changed

4 files changed

+35
-75
lines changed

test/ProcessRegistry.t.sol

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -43,19 +43,19 @@ contract ProcessRegistryTest is Test, TestHelpers {
4343
ResultsVerifierGroth16 public rv;
4444

4545
bytes public constant stzkp =
46-
hex"23823aa8b274657807ec3b991e1a380bdc8788b247a694c42504d37cb1357b1217b4d0591e7b35f8b81cc964fdb73e1799988f09218551fa22d42df66838fb1113e797c5d862c96446c74f2c88ae80b596b66fc6735ce48d4cda62393e0fde44270489b86397b032072f0487c8179fcd59f4d7ff083f24be533970a1440347c71ce0655b83ab5c4024d8a8526abff73d9ba1fce2d282bc03db6fb62ee8c4af6c1a85a1821ad50b286c704497a481665bcd46c4b3b07dc7963b848a4048c21d9d179c7840aebee03dafc718d4e6b25d07e6d3d628ba0cc80f67a4284ac5b2084002401535732eb37a65da6965018b70c5df2836f88cc24f9048989d28892c1a9e1f34aa34b7368bc639a53194dfa0459905ff4c5e3f2e5d6ea8f59b612f747fc60e868adada940931e9c30b8ed302301ddc533b7a2bbb203c8a420c8d7f22c2942ea5e837f887be989a4c6b84d95ff788dde5297f497c1249b49111c9b9f03c2c0780deff25465b1e5dbefcbdb2ebf48826a4139d95033d631dcd1b793b870332";
46+
hex"2530c0de108f2181ad3bd8b88b38c2eb458e4255644bfa34a14674b7c7944f2e1b9aec3a723ae2d6831ecc7152a272abf62a1e679a7a8fd9c1b5ea20c9809c7b18a40053c854925dec7b91e6238c36c5729da31fc8eb990b97affe2d5e219214215387239451d3363ee24e23391ad120bc5b179c4bb111e2c865767dd8725576011c8aecde19989c19342076536998b292684c39625bdfe532246b06ee2417bd00f145e6770afe7ba03ffdf41bc11531184fd6e3a99ca2d0bef92050b3068a71259c3a0a755cd81293743cbb99281dc69fb1645d9494dd9fe23826ae363b8a2822f40ddc8c318230a4de3b1271bca53b1d9a4de7bb311f588902797ba1d1e8fc26ec59c46ddd15bc2295b656a97d99a290150020036571d47c4cbfa040fece7b2a57ec923302b6c60a4513827bc598828cd85f2f964599fec923652b424ab9130a2a1ed4c87e007a5bf5ccc4062c0a039a49f288673df57af00f4475ceb03bec1b8bc238ee00ef111dee6074ad4126e2cdaa0f2531fa53e802818193c1dc5ceb";
4747
bytes public constant rzkp =
48-
hex"15aa1ee6ff35372b147cee8f0e121ae25ef3476e92e0cd5718ec2a0caeb7b4ef242bee8c88921a3fce5a890b39aeeeab80f322d52e3082e1555f9b14923440380e0025ec9497cdb89aed33a13a8b67d72df976d84c9220affb6f2c61c7b9a83f28c5b0dc3028254d51c7e4eff4c061503f0361936a745796c324efb512fcf23026a42cba6afe122c663f6146d62f38d972473021b1e1b2362153e58e71301f47304fbc8468b18e63ffbfd5355dbca2da61ddeec8f45ba0a373eb04d3ec7e61c2221ef2e53f722f7b85957542f757f88cfd5d588703d981ce382492e75fd8e31d03228309a0a43e02546f0de2ca6d948b0d4b25d8437301c34d63cc1bb98c1e190bf56a09d26f2822a73baa19c8e7374458743e16f3ca83cd0ccf03f07a240f4d06108f8a90b86a5f9bc63631892df28abd82b3c5edd7b36defe12e5e452ff1600ce13df7091e8425165345659abea13b425e6e7a5f6ec8b451f6d02ec1745cc3018611fb2f8d55a6b1f10f3067656b4d9bc000ff8167d794bcea6503738ce9eb";
48+
hex"108234851b33f21350c393d69e715e271e094df428ee33d230a2544a9c5ec8830277e616826d2c621f84870dd4dbf33c305d7fb03e3504916b0fdf9070960a6b08d24caa523ff0656e3302624ce4c06c970fb26e0bb840c317055b972c0b652d109ef4dc0199dd71c6e2bed91b9f6f31db9d369e03979e4b17eb1ef737940617083e406618446daa26a7aea207487c86201a6577715255517b92c23122b07e390e9aa87cfb3bd7aeb2ae22f7247580d2e0eef6b4d72f06c201a79bf9bc548ffc0f5035df170ca66867ab15c9310c1f96cb156b5b1a53880ff54059b8158e1754190a2af85a93d80ed07a764ee73e5ded58d140e5bb9441f69fd8915ba9d1b6b2155e9806ae050dde7a18b1ee1d6e59eed92ce5078991f94e5c5b6e2e66acb5451852249589e4acf68c5febabbb7c7100ceefe4a44e9d6952dccdebf0c9afacf911afc41382447213a6117beb4f66f4d944de6df075565f9a0df08ca579401c1d0511a058689c081315116cae46c20a03aac0e2cbd11ab68ce646f888c3bcd394";
4949

5050
bytes public constant stei =
51-
hex"044ee7215bbaefbb2a9b246b2a431c911c88431d83d064d83eb524ec6c0383cf235323e3c2d30ff0c284fe50e4fa3367828ae92a9730d6c2780c129830d9c8e60000000000000000000000000000000000000000000000000000000000000005000000000000000000000000000000000000000000000000000000000000000501d365309d4c152ee3a7b9cf0fc7de179d5bac672495522b836136244b7800cd00000000000000000000000000000000000000000000000041ac13c7a490751b00000000000000000000000000000000000000000000000067ee58baa7ba1c41000000000000000000000000000000000000000000000000254fe6b8d046fe970000000000000000000000000000000000000000000000006353d5ea31df1edc";
51+
hex"0f6ea8255d654ce6b55faa9aff39ae380e2834205a5dd61f4317366719faa6c407c92adb69a073e49ea2072e41e4cf7cf97ce16b718f77b2f5e7e300fd38d5ff0000000000000000000000000000000000000000000000000000000000000005000000000000000000000000000000000000000000000000000000000000000501531dd7f13118c9c9feaa50424abd6289d3d89d1e89ac0e7f509f9d80063019000000000000000000000000000000000000000000000000bd4720427b050e84000000000000000000000000000000000000000000000000d63b03d7556a8952000000000000000000000000000000000000000000000000408798965d9ba50a000000000000000000000000000000000000000000000000444980d384d87d0f000000000000000000000000000000000000000000000000000000000000016000000000000000000000000000000000000000000000000000000000000001c0000000000000000000000000000000000000000000000000000000000000003092d34aa730267b086182746e1a0880859a7e4bf69d5667316eb2d33deae5966a55d1b8b9422fdbf07215323125fc2237000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000030917240dacf3c97d4bcdd1b74d76e580058c7d75feb6c8bfe109c73152b2aca537c4f2be8152c456354f608bf912af43600000000000000000000000000000000";
5252
bytes public constant rei =
53-
hex"235323e3c2d30ff0c284fe50e4fa3367828ae92a9730d6c2780c129830d9c8e6000000000000000000000000000000000000000000000000000000000000002b0000000000000000000000000000000000000000000000000000000000000028000000000000000000000000000000000000000000000000000000000000001e00000000000000000000000000000000000000000000000000000000000000270000000000000000000000000000000000000000000000000000000000000016000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000";
53+
hex"07c92adb69a073e49ea2072e41e4cf7cf97ce16b718f77b2f5e7e300fd38d5ff0000000000000000000000000000000000000000000000000000000000000026000000000000000000000000000000000000000000000000000000000000001b000000000000000000000000000000000000000000000000000000000000001f0000000000000000000000000000000000000000000000000000000000000028000000000000000000000000000000000000000000000000000000000000002b000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000";
5454

5555
uint256 public constant stInitStateRoot =
56-
1948660668130447904216243664725338719370673611882115968663146044679451280335;
56+
6980206406614621291864198316968348419717519918519760483937482600927519745732;
5757
uint256 public constant rInitStateRoot =
58-
15977845708338371169793025518832793983533753933654506631846328160167915014374;
58+
3521621988802002318964005439092080066299578336508168327546544274269862942207;
5959

6060
address private orgId = 0xf39Fd6e51aad88F6F4ce6aB8827279cffFb92266;
6161

test/ResultsVerifierGroth16.t.sol

Lines changed: 10 additions & 30 deletions
Original file line numberDiff line numberDiff line change
@@ -6,43 +6,23 @@ import { stdError } from "forge-std/StdError.sol";
66
import { ResultsVerifierGroth16 } from "../src/verifiers/ResultsVerifierGroth16.sol";
77

88
contract ResultsVerifierGroth16Test is Test {
9-
uint256 public constant STATE_ROOT = 15977845708338371169793025518832793983533753933654506631846328160167915014374;
10-
uint256[8] public results = [43,40,30,39,22,0,0,0];
9+
uint256 public constant STATE_ROOT = 3521621988802002318964005439092080066299578336508168327546544274269862942207;
10+
uint256[8] public results = [38,27,31,40,43,0,0,0];
1111

1212
bytes public zkp =
13-
hex"15aa1ee6ff35372b147cee8f0e121ae25ef3476e92e0cd5718ec2a0caeb7b4ef242bee8c88921a3fce5a890b39aeeeab80f322d52e3082e1555f9b14923440380e0025ec9497cdb89aed33a13a8b67d72df976d84c9220affb6f2c61c7b9a83f28c5b0dc3028254d51c7e4eff4c061503f0361936a745796c324efb512fcf23026a42cba6afe122c663f6146d62f38d972473021b1e1b2362153e58e71301f47304fbc8468b18e63ffbfd5355dbca2da61ddeec8f45ba0a373eb04d3ec7e61c2221ef2e53f722f7b85957542f757f88cfd5d588703d981ce382492e75fd8e31d03228309a0a43e02546f0de2ca6d948b0d4b25d8437301c34d63cc1bb98c1e190bf56a09d26f2822a73baa19c8e7374458743e16f3ca83cd0ccf03f07a240f4d06108f8a90b86a5f9bc63631892df28abd82b3c5edd7b36defe12e5e452ff1600ce13df7091e8425165345659abea13b425e6e7a5f6ec8b451f6d02ec1745cc3018611fb2f8d55a6b1f10f3067656b4d9bc000ff8167d794bcea6503738ce9eb";
13+
hex"108234851b33f21350c393d69e715e271e094df428ee33d230a2544a9c5ec8830277e616826d2c621f84870dd4dbf33c305d7fb03e3504916b0fdf9070960a6b08d24caa523ff0656e3302624ce4c06c970fb26e0bb840c317055b972c0b652d109ef4dc0199dd71c6e2bed91b9f6f31db9d369e03979e4b17eb1ef737940617083e406618446daa26a7aea207487c86201a6577715255517b92c23122b07e390e9aa87cfb3bd7aeb2ae22f7247580d2e0eef6b4d72f06c201a79bf9bc548ffc0f5035df170ca66867ab15c9310c1f96cb156b5b1a53880ff54059b8158e1754190a2af85a93d80ed07a764ee73e5ded58d140e5bb9441f69fd8915ba9d1b6b2155e9806ae050dde7a18b1ee1d6e59eed92ce5078991f94e5c5b6e2e66acb5451852249589e4acf68c5febabbb7c7100ceefe4a44e9d6952dccdebf0c9afacf911afc41382447213a6117beb4f66f4d944de6df075565f9a0df08ca579401c1d0511a058689c081315116cae46c20a03aac0e2cbd11ab68ce646f888c3bcd394";
1414

1515
bytes public encodedInputs =
16-
hex"235323e3c2d30ff0c284fe50e4fa3367828ae92a9730d6c2780c129830d9c8e6000000000000000000000000000000000000000000000000000000000000002b0000000000000000000000000000000000000000000000000000000000000028000000000000000000000000000000000000000000000000000000000000001e00000000000000000000000000000000000000000000000000000000000000270000000000000000000000000000000000000000000000000000000000000016000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000";
16+
hex"07c92adb69a073e49ea2072e41e4cf7cf97ce16b718f77b2f5e7e300fd38d5ff0000000000000000000000000000000000000000000000000000000000000026000000000000000000000000000000000000000000000000000000000000001b000000000000000000000000000000000000000000000000000000000000001f0000000000000000000000000000000000000000000000000000000000000028000000000000000000000000000000000000000000000000000000000000002b000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000";
1717

18-
uint256[2] public AR = [
19-
9799147101315582616306505878295260602970356177657922463323496534912768914671,
20-
16360883377188704827055070623522173382394007840625338866182181232533782675512
21-
];
18+
uint256[2] public AR = [7467058175101193075579914496640452811439592031508033561170199174833623713923,1116468506389258256254412204529285418627982982505132556835824942734164494955];
2219
uint256[2][2] public BS = [
23-
[
24-
6332641622976641680707584853478046621470148577963222472029007185741279242303,
25-
18441803458708804147941907878240603812777580722772389559816853027906926735920
26-
],
27-
[
28-
17477959867444738322904962526588601155617435664731807770582697884577088675655,
29-
21851898748165956416930853928693050813051748481801892771800601049002860765634
30-
]
31-
];
32-
uint256[2] public KRS = [
33-
15433318666899766384963409068883870091359528154196103669917759127644532171549,
34-
1417915734280745799140294438253588678883756994552243023119602370371604192793
35-
];
36-
37-
uint256[2] public commitments = [
38-
5409050715200222733878144727625714591714259533954134946581687574875504643917,
39-
2743137329977117742409113082293592573628886385045964563886568411515627499872
40-
];
41-
42-
uint256[2] public commitmentPok = [
43-
5825722439168678403054138999893769683649922124297620786344535511134880685251,
44-
689194456905898163095987522435865013302938301831268466669224674673633847787
20+
[3990069796844792230075169501045171923308761130675441400514032861467653137709,7517857371032739297235270906411316705898095458006490497904852425779086362135],
21+
[3728491770918790382690182885108739833291986664955253938977747649996921011769,6605637191019251154682775197464935752114573208343418748936660255106854588412]
4522
];
23+
uint256[2] public KRS = [6926412300983139875564580189011055947371627129284352627956764262473938114388,11325786254181707943927238381962466692251429975232616515974810027999620085426];
24+
uint256[2] public commitments = [9665702689868572369150725406313179013078209470522994058553800567394189227333,11000642319732614361039547448429285254571083162828417368944743149787618979065];
25+
uint256[2] public commitmentPok = [7999869930493458295048937164091527582232806375233523785346930894985945422877,2292707305925023661483177287141133877224598486820036179303293641587035001748];
4626

4727
uint256[8] public proof = [AR[0], AR[1], BS[0][0], BS[0][1], BS[1][0], BS[1][1], KRS[0], KRS[1]];
4828
uint256[9] public inputs = [

test/StateTransitionVerifierGroth16.t.sol

Lines changed: 6 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -7,34 +7,14 @@ import { stdError } from "forge-std/StdError.sol";
77
import { StateTransitionVerifierGroth16 } from "../src/verifiers/StateTransitionVerifierGroth16.sol";
88

99
contract StateTransitionVerifierGroth16Test is Test, TestHelpers {
10-
uint256[2] public AR = [
11-
3814216515795987304425536225738282214029140770405826833670205149905004929569,
12-
202919102913338390746368395023430198738544407915768597387248569680763414954
13-
];
10+
uint256[2] public AR = [16821715178840840010892626430339508771016478604624368433428533629029610442542,12486171747568638521436034082922672340800029125892437664344067230870987119739];
1411
uint256[2][2] public BS = [
15-
[
16-
3085217683851624874572489424510466884830826468295439930305666786085039345795,
17-
14015798750296761045037332208417144969347191778185846849471509950310617924776
18-
],
19-
[
20-
1393105205277051362900736523413933661953784030994053699268672329907648405707,
21-
2076801956973884389476767914964940326682848543248715239384134424639052823201
22-
]
23-
];
24-
uint256[2] public KRS = [
25-
19283135182921776480761614663756925720200504521362709277553488470944584230511,
26-
12727195824737883589367200800442034951311006585401605732932457739509730268031
27-
];
28-
29-
uint256[2] public commitments = [
30-
12333879902195505304413058401218737582248800433653263354065103799058872076534,
31-
1396049335338488636819468598792448300617682374309797936689178871545065860993
32-
];
33-
34-
uint256[2] public commitmentPok = [
35-
16895532588526411029313615673529068826170856786148716600736643288362606652302,
36-
4593762621572348507191867426123472751786865384460733196614883907539831601359
12+
[11145273543394870856453188271128080984772592160473742252644548533585700819476,15073905004599226830723769206496134595497691471246689583573915738305897583990],
13+
[502743393330190083286856071889872880420097829691848689011348302863014303677,426292576433938025205741738608094531209815498482222725480951279053974178417]
3714
];
15+
uint256[2] public KRS = [17011604122933596794694590088776900835322036015143446466806262738302613031464,15809843204291845503295719170577272173663599265499454552806477828222436370684];
16+
uint256[2] public commitments = [17605483704596221426977260580699441727749524076885295716915316826890106228347,19152488088795007058617697574732346239647544293953316609824002368177217124627];
17+
uint256[2] public commitmentPok = [4597548851566745673753323113523989027666149648679005935596369930070879386604,12459379127365388220456249246602053014934428333995447479926171432613016526059];
3818

3919
uint256[8] public proof = [AR[0], AR[1], BS[0][0], BS[0][1], BS[1][0], BS[1][1], KRS[0], KRS[1]];
4020

0 commit comments

Comments
 (0)