@semaphore-protocol/contracts 4.0.0-beta.10 → 4.0.0-beta.12
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/base/SemaphoreGroups.sol +1 -1
- package/base/SemaphoreVerifier.sol +128 -128
- package/package.json +2 -2
package/base/SemaphoreGroups.sol
CHANGED
|
@@ -2,7 +2,7 @@
|
|
|
2
2
|
pragma solidity 0.8.23;
|
|
3
3
|
|
|
4
4
|
import {ISemaphoreGroups} from "../interfaces/ISemaphoreGroups.sol";
|
|
5
|
-
import {InternalLeanIMT, LeanIMTData} from "@zk-kit/imt.sol/
|
|
5
|
+
import {InternalLeanIMT, LeanIMTData} from "@zk-kit/lean-imt.sol/InternalLeanIMT.sol";
|
|
6
6
|
|
|
7
7
|
/// @title Semaphore groups contract.
|
|
8
8
|
/// @dev This contract allows you to create groups, add, remove and update members.
|
|
@@ -28,10 +28,10 @@ contract SemaphoreVerifier {
|
|
|
28
28
|
// It allows to use the same verifier to verify proofs for all the tree depths supported by Semaphore.
|
|
29
29
|
uint256[14][MAX_DEPTH] VK_POINTS = [
|
|
30
30
|
[
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
31
|
+
6798275159111696631765684932966934480819839778360905827982023140392612472251,
|
|
32
|
+
10049769308514589345710525790497478045162192181874654650612439582831356277192,
|
|
33
|
+
13909893679970909921284721325099295595079958875696358686115736114533495869795,
|
|
34
|
+
9632931161306518428495887250948808623666181422608519935229236995717535313753,
|
|
35
35
|
11373228439083951786763438874368468668602473169346848394664028118071804690004,
|
|
36
36
|
2392728274936215006016716287711141290248196217507457308817981648956555973842,
|
|
37
37
|
21165236263460891597139480651611604342552675916374159149811150532317922022637,
|
|
@@ -44,10 +44,10 @@ contract SemaphoreVerifier {
|
|
|
44
44
|
5169422438906150387687192335052847822734742081564185146089879581734761329500
|
|
45
45
|
],
|
|
46
46
|
[
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
47
|
+
9002589149121965406377790703690701514742110610103894317373190676851261250182,
|
|
48
|
+
19341779283870938325962302230892649885502492339014465701160403382913313018716,
|
|
49
|
+
15384387008815567134216543585911373077215244920196736604974944142355824894376,
|
|
50
|
+
15853924395610285571497184614672056220255220256147800551140212909213761909913,
|
|
51
51
|
9858819933413872566321287453112479619079314892623028633956302548255682218967,
|
|
52
52
|
8978980794620905465584214544974627507731009260328687273037813961789203643024,
|
|
53
53
|
10076358326823042048333094257819800797834453359160913022846795563251044706095,
|
|
@@ -60,10 +60,10 @@ contract SemaphoreVerifier {
|
|
|
60
60
|
20859740531774787409224706405964614133972994888613078458739440328759279998775
|
|
61
61
|
],
|
|
62
62
|
[
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
63
|
+
4892475367240699533498124978912576905968020673574559095879617409161257740280,
|
|
64
|
+
20083606144842666939684160820556467581044745205228415333288523629251382490832,
|
|
65
|
+
19196917991372254097659601920372094664470329157515388592183392963173987434415,
|
|
66
|
+
8880701712891502068342106183752508169009511975869428067925759962432179990770,
|
|
67
67
|
8295798606560676055262757451569098075661634806877203374010954805416034560369,
|
|
68
68
|
17823033916327857017646050340986899797748134226556967395794361949180557598708,
|
|
69
69
|
7863282428525672743372793899382505053760053469668593484933349016990801573594,
|
|
@@ -76,10 +76,10 @@ contract SemaphoreVerifier {
|
|
|
76
76
|
6030254908603478785612749007917517401778254879153565233016575793713168729906
|
|
77
77
|
],
|
|
78
78
|
[
|
|
79
|
-
|
|
80
|
-
|
|
81
|
-
|
|
82
|
-
|
|
79
|
+
14709385606134004409926090352432771201334818755294681438762198567603122984956,
|
|
80
|
+
15595111262392352699569329550863719272136417639201948573321210451845475261310,
|
|
81
|
+
14227147558489134328158035447732190048870965571562543433839005727350235629494,
|
|
82
|
+
6894292519900463438264764292659242116361936210107228897203114956615108320465,
|
|
83
83
|
5698226291009392212509456603087660757167892215070748391710298686451794945150,
|
|
84
84
|
6157973895099184288402315817801807399850034827661856468278605062696847353498,
|
|
85
85
|
15141526076642728649535042926649597908183234939224775055067110611584500129001,
|
|
@@ -92,10 +92,10 @@ contract SemaphoreVerifier {
|
|
|
92
92
|
441682222632036954103668474012025602234972690129065917741930205184363335774
|
|
93
93
|
],
|
|
94
94
|
[
|
|
95
|
-
|
|
96
|
-
|
|
97
|
-
|
|
98
|
-
|
|
95
|
+
5475541246268319974306511838266954642349839591742677843373092350878881816036,
|
|
96
|
+
14320850367979727803456370253215537369678224171279198206044992705279862306132,
|
|
97
|
+
14026863062721131266417143383735927929515468275568001741023143022462108466668,
|
|
98
|
+
9695519010485916829174245942670015592311240112874015080337013283624414875322,
|
|
99
99
|
5694780594861626040122686431862072023944220266576706715410778734338641503716,
|
|
100
100
|
8712472904136893949123536631603982882802768648960668490262215595304129180625,
|
|
101
101
|
1995786476093573828491499692373505173525336583145392096683467783999902548268,
|
|
@@ -108,10 +108,10 @@ contract SemaphoreVerifier {
|
|
|
108
108
|
16617740711303077578250556582154106231075844388484693766277639059298286987625
|
|
109
109
|
],
|
|
110
110
|
[
|
|
111
|
-
|
|
112
|
-
|
|
113
|
-
|
|
114
|
-
|
|
111
|
+
10286912080628596477467183526391676938111746098793720613051271594210995874277,
|
|
112
|
+
12402838088924052923512617712407943454558325804407246215860795418264423785092,
|
|
113
|
+
8969827906164370148568535190125332589838680819876134752608330672491611718778,
|
|
114
|
+
18192144771812728760821091791509406004413270888917521896519497516182602851052,
|
|
115
115
|
10137887164821194167739010222610234245229180897989876335252633099720202939025,
|
|
116
116
|
13556557929447859629157159796541922173969485671491640178139584889369979056605,
|
|
117
117
|
18001826336416230108554083436980932740049468855770464827475781769090259294957,
|
|
@@ -124,10 +124,10 @@ contract SemaphoreVerifier {
|
|
|
124
124
|
13183322615830117090366962414504200812495447396240587506161350006490578304105
|
|
125
125
|
],
|
|
126
126
|
[
|
|
127
|
-
|
|
128
|
-
|
|
129
|
-
|
|
130
|
-
|
|
127
|
+
21294477411884184721419887719040509211791603543588769195913632677965664561521,
|
|
128
|
+
11068844518467094308182673400072406174415035287465774858372276008144890272347,
|
|
129
|
+
3145975317148809397211222308484405528017506805621720865271122352919092734185,
|
|
130
|
+
4898298183000166428070984533097167988044449442228324686951622815588789280020,
|
|
131
131
|
3610567344582501189941093515503625764015617358100951789070992465620388014770,
|
|
132
132
|
10092557495034796324189431780067983533486688638792444215776822879681822814418,
|
|
133
133
|
1266136239205073111432095590744834423814511894190159459963868637184138842722,
|
|
@@ -140,10 +140,10 @@ contract SemaphoreVerifier {
|
|
|
140
140
|
17635169227434142694714979150654436187903738366738972509867831826867283825221
|
|
141
141
|
],
|
|
142
142
|
[
|
|
143
|
-
|
|
144
|
-
|
|
145
|
-
|
|
146
|
-
|
|
143
|
+
17019299296527992906342471627956454165356014861255173051509531752951474839628,
|
|
144
|
+
18275029135856620478842184125347270385705018956856636472544734692104668441197,
|
|
145
|
+
18712955702371136698460276131619504667967074451844136203135440318125770689683,
|
|
146
|
+
4726292743397434547486156972449202870187918808626632743805765024906772393932,
|
|
147
147
|
10971489037448711908698715978943908500318707562175731815741960924655210840831,
|
|
148
148
|
6006427343343794957952233726619963086279381477900155964075102505701412817059,
|
|
149
149
|
15106747726469907788692287944434907296109850836405367650663267344226048690859,
|
|
@@ -156,10 +156,10 @@ contract SemaphoreVerifier {
|
|
|
156
156
|
8497347026541846312098745702841179850966624542794907236048342704145659678775
|
|
157
157
|
],
|
|
158
158
|
[
|
|
159
|
-
|
|
160
|
-
|
|
161
|
-
|
|
162
|
-
|
|
159
|
+
7070022814268269475674001477040669982274081663112043242616687573179272469763,
|
|
160
|
+
4203949560354147821783061259439508268015232617968894950825877033100175693770,
|
|
161
|
+
15428836885992191488864297196572470385256339610669991675966605773279258629810,
|
|
162
|
+
12940391355331109441147053871885221765801476632578768077585085250842908979972,
|
|
163
163
|
6504013699913689711099075581237522738280971836923813934562267069952131008789,
|
|
164
164
|
9335304366750096675257996749136859439347731736177301019673263812644758419624,
|
|
165
165
|
18674691980838913091347677991332234920479452203295602521958600357998616141596,
|
|
@@ -172,10 +172,10 @@ contract SemaphoreVerifier {
|
|
|
172
172
|
8886638770454932775046812264172460584356331780532116653693013498914944507850
|
|
173
173
|
],
|
|
174
174
|
[
|
|
175
|
-
|
|
176
|
-
|
|
177
|
-
|
|
178
|
-
|
|
175
|
+
9215863273591023879373751614289228209440638027086548351177699133093136218918,
|
|
176
|
+
15029143251469020678417745262015955011761489030158757959406941301509954637253,
|
|
177
|
+
17639902090432855761607212999107125862255080434477939330403550134367931862250,
|
|
178
|
+
17630923485910370531147811073172401806424795286222769017995022586794787691894,
|
|
179
179
|
6051337981942268387146348592741777699916830790184591013400952407193740242722,
|
|
180
180
|
14813309083853385461981331205467429689964041093530055551198131882311452944165,
|
|
181
181
|
13243916879266487104491184915617833718034439141755271499342847081003561471291,
|
|
@@ -188,10 +188,10 @@ contract SemaphoreVerifier {
|
|
|
188
188
|
12082207822506113008552336146445599677710895859529470992436917935385155760011
|
|
189
189
|
],
|
|
190
190
|
[
|
|
191
|
-
|
|
192
|
-
|
|
193
|
-
|
|
194
|
-
|
|
191
|
+
11286999809932675831231635172884104916598198610643895494221292893580015272745,
|
|
192
|
+
13783008611244158112820345862046566925592820181422685465611038024392658912218,
|
|
193
|
+
7399859568003719929092067255297667044787076639314018778324389410794797203822,
|
|
194
|
+
18220331907668058189189266984811818382536030325980319490052254711990106619408,
|
|
195
195
|
7221075042299165070640763584725863160347647659704278782330562384672809305162,
|
|
196
196
|
13601198331885563117630840819920283945716376381432043240564878006092148603574,
|
|
197
197
|
17966363662480886855360210401838893312981368660270687414500495451106355682632,
|
|
@@ -204,10 +204,10 @@ contract SemaphoreVerifier {
|
|
|
204
204
|
21526524841382152147992421724785801038770676270240714297859552516739773492697
|
|
205
205
|
],
|
|
206
206
|
[
|
|
207
|
-
|
|
208
|
-
|
|
209
|
-
|
|
210
|
-
|
|
207
|
+
16377454805970471136556451041642561492050129029468552950239023629414014853926,
|
|
208
|
+
17038353963915800405951415178090940216214909064699790293151814567548494237780,
|
|
209
|
+
3632028168433409518690370660019979191925992823806956511592031439491580827093,
|
|
210
|
+
15490021089663831333876456182365939475639854244939093159179164741657017023319,
|
|
211
211
|
11332498437023113295175458390938230450212523402749978995184951126111215368275,
|
|
212
212
|
7016084735586326731105326496042171157633237979413962565940384222454876829020,
|
|
213
213
|
5013383022618445727921740844767853050438275291216971327851792785650669011741,
|
|
@@ -220,10 +220,10 @@ contract SemaphoreVerifier {
|
|
|
220
220
|
10839961472824284602079430847341654099878245597092020402049973455392611362164
|
|
221
221
|
],
|
|
222
222
|
[
|
|
223
|
-
|
|
224
|
-
|
|
225
|
-
|
|
226
|
-
|
|
223
|
+
19318612173039398554610402032189036230760569630971013176034600348734573687128,
|
|
224
|
+
10869362019203773549991994466432246818750552482449272815024995819170579818159,
|
|
225
|
+
17376037803297137953593713472693431735691900221654570494069764772063916969267,
|
|
226
|
+
3245151284162480382840661459866398914990218375518126822356780454697379196592,
|
|
227
227
|
10532694937633872732615221785339191399998813277853598590284977223084586265406,
|
|
228
228
|
18569891906743239236657790847950300608514739578359676359176841830736581922673,
|
|
229
229
|
5204330292569275288250153279775499240677764904182920564782936399035494759139,
|
|
@@ -236,10 +236,10 @@ contract SemaphoreVerifier {
|
|
|
236
236
|
1261073646471879421850354957670569129175034189935008550219832398890385831603
|
|
237
237
|
],
|
|
238
238
|
[
|
|
239
|
-
|
|
240
|
-
|
|
241
|
-
|
|
242
|
-
|
|
239
|
+
13337456010890669571312110722110978626654402271645533931088450675631972389174,
|
|
240
|
+
21739762430966591611544841693197130387727042679304816904320680605415377362025,
|
|
241
|
+
21111955068677333960505079108312560231811849538594697119908234179626105686302,
|
|
242
|
+
9392230200497743555544102618287208999941692619434060081126831244370851959140,
|
|
243
243
|
18128060449612109642142496525936963279825759724692188014181733764391545826501,
|
|
244
244
|
6412545369924963430376339636555328095118045874871394681127600419621347748574,
|
|
245
245
|
9178419128141821432265215706509797566711681420667049266964463482093364121974,
|
|
@@ -252,10 +252,10 @@ contract SemaphoreVerifier {
|
|
|
252
252
|
17177335596130235736675313878734353760926293469390853206840228086544227127243
|
|
253
253
|
],
|
|
254
254
|
[
|
|
255
|
-
|
|
256
|
-
|
|
257
|
-
|
|
258
|
-
|
|
255
|
+
10611805799193697089972647133835358446175696630019306104758388585312795475026,
|
|
256
|
+
9765887841111014027207536734081294072212942995633675647422724718381533100171,
|
|
257
|
+
19734635784073407875945934329600179316595807453795254623432046479616133177247,
|
|
258
|
+
12111202900875841332274674234864138665123655274511234144349518743965832241535,
|
|
259
259
|
4691701433964504850819405353426875432448611177084640879664399563684106977201,
|
|
260
260
|
6997026109056305304958456212770850719737661180940807196442278723629505898836,
|
|
261
261
|
21862540916562048400075167198394269266629631981308358022452061330955535980535,
|
|
@@ -268,10 +268,10 @@ contract SemaphoreVerifier {
|
|
|
268
268
|
14389118774297616531519885127100101489071211382178872997387065906551438715617
|
|
269
269
|
],
|
|
270
270
|
[
|
|
271
|
-
|
|
272
|
-
|
|
273
|
-
|
|
274
|
-
|
|
271
|
+
21819764752388384320943920865020023504588699757854723759009625630599418384159,
|
|
272
|
+
9338876125692749169921649753345966897920335121369780024613311788669200836231,
|
|
273
|
+
16193105938174292468402166430441544247332830012383311834096877330373326202912,
|
|
274
|
+
18733835313573560168713238640348200008758608939774980957241614757051426557329,
|
|
275
275
|
17586200399272141670685001491641162521294196727236050999778548238215046166017,
|
|
276
276
|
281329337697491075931159352771449215426528517554332825727307529327678211850,
|
|
277
277
|
13587768455979634277266588196077051473493752291227370910424884771755142551393,
|
|
@@ -284,10 +284,10 @@ contract SemaphoreVerifier {
|
|
|
284
284
|
9065101624205101464784359744884631484276281653365096468139033730232168384170
|
|
285
285
|
],
|
|
286
286
|
[
|
|
287
|
-
|
|
288
|
-
|
|
289
|
-
|
|
290
|
-
|
|
287
|
+
9675068040487058613030479303481110062861018853323992035192122053375288989240,
|
|
288
|
+
3919601513420678474289276072949118564098120747866534224625771548831677958372,
|
|
289
|
+
14608360470284772612816373122857162753416790881336559383898199290740342112532,
|
|
290
|
+
14825744772260021909192492207967364627484904101011554011523154032558083852565,
|
|
291
291
|
20984349344022619370458450579312578055808523135369866643465670885076660164806,
|
|
292
292
|
418264638272070574199167297855020670696708537402223370097894154915338824856,
|
|
293
293
|
21427513166561351336822904548010728579322568176247623689193394481261310743729,
|
|
@@ -300,10 +300,10 @@ contract SemaphoreVerifier {
|
|
|
300
300
|
9567771666871218298332873263950533751702773388778384953522740303362056866931
|
|
301
301
|
],
|
|
302
302
|
[
|
|
303
|
-
|
|
304
|
-
|
|
305
|
-
|
|
306
|
-
|
|
303
|
+
12968340607736823528148475270009593191211106142050392359906510451365260428580,
|
|
304
|
+
2721486373801018323157167210616746825623246218390071226081564411423434451187,
|
|
305
|
+
9200592412239337272867558509657794777460340114124665277681133167901890516146,
|
|
306
|
+
21479491441666028821536714814783435198368229014209693309182760114418462843253,
|
|
307
307
|
271501919920560807144690888833558109667061334163559001274202634455325808979,
|
|
308
308
|
14794481401072540343622539363544947515055760970979041148841701973173121160867,
|
|
309
309
|
16241413887148836912852878034655069636111245133456457252704664072852738020971,
|
|
@@ -316,10 +316,10 @@ contract SemaphoreVerifier {
|
|
|
316
316
|
8124857698166498408579282540958166224847900470279217858870563626568969324640
|
|
317
317
|
],
|
|
318
318
|
[
|
|
319
|
-
|
|
320
|
-
|
|
321
|
-
|
|
322
|
-
|
|
319
|
+
7468504662830152377628803783383953933430030795298938442558418401235422516300,
|
|
320
|
+
4793686881935694857536946556150865385816389634693618604434563516314064685468,
|
|
321
|
+
1544206620168318762839348132398850094597148992890365849594573375964142863145,
|
|
322
|
+
5369558539480434036232750403701436967132622763576337857204435045501308015944,
|
|
323
323
|
12006824962639473646619675695320713559632292589665720351249509600690404062910,
|
|
324
324
|
13276706600670868735848192943347104623934461144298261448190397129714774342173,
|
|
325
325
|
18264760419082021650494509547780257751527429714087988777838583561869870161497,
|
|
@@ -332,10 +332,10 @@ contract SemaphoreVerifier {
|
|
|
332
332
|
4875500610885916981959937005615629475085341806101091219174051361012752723259
|
|
333
333
|
],
|
|
334
334
|
[
|
|
335
|
-
|
|
336
|
-
|
|
337
|
-
|
|
338
|
-
|
|
335
|
+
11778504031072617076835666396737479480765353231040635692430530998929741888857,
|
|
336
|
+
21484720459303605302798978604237614472976046584193439253348361650969825748292,
|
|
337
|
+
8499136457565785031004321689745329944377719203840897611578892135704152228750,
|
|
338
|
+
2793941551558768339218839007321603095797268500190811372910811097625523777732,
|
|
339
339
|
1105636691459466684354861615642532458695547504319491829198944901848354002466,
|
|
340
340
|
12426506081436950451531584361567271522327297423292681691257507245865800741808,
|
|
341
341
|
21744454903360799020170340278186587365704908765309976031542813238813825084489,
|
|
@@ -348,10 +348,10 @@ contract SemaphoreVerifier {
|
|
|
348
348
|
10756138991756861027792433599825283466492898786698456971350016301834120358130
|
|
349
349
|
],
|
|
350
350
|
[
|
|
351
|
-
|
|
352
|
-
|
|
353
|
-
|
|
354
|
-
|
|
351
|
+
11875738647114616324350947684061726919561909502972863503130998242120718452173,
|
|
352
|
+
13694249165008464179020280306785446096967664405044044843321440965214796746818,
|
|
353
|
+
19812433478661078453961877947302599509407379278239949313742808880496429684167,
|
|
354
|
+
8478769662157599345424310347901565107922506021173025438525323643981274129672,
|
|
355
355
|
5818698629865247565077962768609742022241069606093835632689725123770908238374,
|
|
356
356
|
10032230959981143208283946841992758493223859540652919348005062379046462012203,
|
|
357
357
|
11522228664628777947230879504212386210128576797203829606594158165912469543023,
|
|
@@ -364,10 +364,10 @@ contract SemaphoreVerifier {
|
|
|
364
364
|
6039871164511288641970658426390882746101314533737081850970345002118723705339
|
|
365
365
|
],
|
|
366
366
|
[
|
|
367
|
-
|
|
368
|
-
|
|
369
|
-
|
|
370
|
-
|
|
367
|
+
19806735015669785931995353978269817545182909058206355431360188275802638341659,
|
|
368
|
+
5812040741672176204747103844640668295298927415072914668459838256763201016256,
|
|
369
|
+
11525530340338830716502860942689345100262306689117330289237484894552808300709,
|
|
370
|
+
17521885357464563233202648521875905290166433650141773052058705408597538338911,
|
|
371
371
|
3562081668776383619644089086241623016377051210290983257053604147762967187048,
|
|
372
372
|
4553365292908760204444921066083280974740968313355524357160308575327815731986,
|
|
373
373
|
9612674806513362915023578944934656419542782185316845654919222232866782079973,
|
|
@@ -380,10 +380,10 @@ contract SemaphoreVerifier {
|
|
|
380
380
|
19415901227000992567609415633317148788461729474913900357094507534384428975572
|
|
381
381
|
],
|
|
382
382
|
[
|
|
383
|
-
|
|
384
|
-
|
|
385
|
-
|
|
386
|
-
|
|
383
|
+
19436706355139059383094509938806698706706766923839248625914995027794208831821,
|
|
384
|
+
10792411997925964958381215817029067479896035855504468308483392531229534219232,
|
|
385
|
+
8072583953344188119277829536748521153437596767795457833432747233169365522749,
|
|
386
|
+
935862788360489051830486282214078237146011038653740178111222389815697167391,
|
|
387
387
|
7693170882539863875701602528545342311434468852163389086171388853464572270633,
|
|
388
388
|
3908303967241020812745991584454294385640133430208468916543029049706292930305,
|
|
389
389
|
14200361022064175872846252914915938901018673724842857113422899538373627654493,
|
|
@@ -396,10 +396,10 @@ contract SemaphoreVerifier {
|
|
|
396
396
|
21738708027542248258448002258354036928076950567990414271901435012481250510866
|
|
397
397
|
],
|
|
398
398
|
[
|
|
399
|
-
|
|
400
|
-
|
|
401
|
-
|
|
402
|
-
|
|
399
|
+
21007636601223260258896743126015285106374704680873221102534543271676455685798,
|
|
400
|
+
13369983427310673379273386726118528512090053533610011895772924489087434499560,
|
|
401
|
+
7437655172123655742476741904638757853205242308502126726581419961030710769332,
|
|
402
|
+
781816009964815727693649369421765727079762601401895827065766198634750193888,
|
|
403
403
|
705729203963801077445366659807159942042515811344776106038944684242779323077,
|
|
404
404
|
8198640129213076396347058165827729949570109420499123900233622693161948493955,
|
|
405
405
|
17567949859381263201697894705370978555666635560577878390586549308344241574720,
|
|
@@ -412,10 +412,10 @@ contract SemaphoreVerifier {
|
|
|
412
412
|
6071779329882466654134795663117452253106971568263743258793999061311754781283
|
|
413
413
|
],
|
|
414
414
|
[
|
|
415
|
-
|
|
416
|
-
|
|
417
|
-
|
|
418
|
-
|
|
415
|
+
7297858819137361266048049960276576061221795813016982777983276508233065012908,
|
|
416
|
+
18289767809318109953604511379563953654879368440278122006476245297734205780313,
|
|
417
|
+
11861017471431365163414128324204576291654501179050818386156071891372931715517,
|
|
418
|
+
4400537004106671968009111731711678778861503186165383927771233149107549932374,
|
|
419
419
|
12211353780794522017482442205152184029453185156252615419956272689806996867522,
|
|
420
420
|
11858951133579915446931127734829983281450719684822534749146423795831786572024,
|
|
421
421
|
18699083494838544659449334875917956720534604312394484877250282743052866694,
|
|
@@ -428,10 +428,10 @@ contract SemaphoreVerifier {
|
|
|
428
428
|
11757071201913114247059598621424329188966752420483410843397919162379753756933
|
|
429
429
|
],
|
|
430
430
|
[
|
|
431
|
-
|
|
432
|
-
|
|
433
|
-
|
|
434
|
-
|
|
431
|
+
2149278938146333837762157047865197539626726297462234579786480672038208839960,
|
|
432
|
+
2992162472650247075753290379196863994101122291268065125561265479303189972094,
|
|
433
|
+
28038421244332437252451488699272760491836813993308427474241344447797755331,
|
|
434
|
+
551667036500907650888508201663204030618105224866044580467647054394918324251,
|
|
435
435
|
13128279467779141267539556181844646897000953259054467200148815485804849945589,
|
|
436
436
|
19182542610668848202527767345596590904881280203255613775118909904478382941801,
|
|
437
437
|
12622787765544530515623619382100437898246101834816376149292007743211956407286,
|
|
@@ -444,10 +444,10 @@ contract SemaphoreVerifier {
|
|
|
444
444
|
11931534405924761866343686993715271905704590108489876499851774273982957911423
|
|
445
445
|
],
|
|
446
446
|
[
|
|
447
|
-
|
|
448
|
-
|
|
449
|
-
|
|
450
|
-
|
|
447
|
+
8817602722261405319698829040610455364903580494786394492896940141358443005801,
|
|
448
|
+
11119926988115729035668011565310535780603655775231850120289918739692745155137,
|
|
449
|
+
654240854620562345252945066604315306494281026224973615193213783227252715475,
|
|
450
|
+
1680290803075724940691569649460494417420550431404206498993917267359934429167,
|
|
451
451
|
454088003829163771011170852736324196796734198039551149147118112028488218145,
|
|
452
452
|
19539522144446103612355666512646927077463791742130426065863787086655625062176,
|
|
453
453
|
9677517649080056520842169551325292586844311652869297540972831144430102239541,
|
|
@@ -460,10 +460,10 @@ contract SemaphoreVerifier {
|
|
|
460
460
|
14514080855160049012448903996874963632870196574887173768510902774625324658544
|
|
461
461
|
],
|
|
462
462
|
[
|
|
463
|
-
|
|
464
|
-
|
|
465
|
-
|
|
466
|
-
|
|
463
|
+
14337554339543299757023541671562153395916531829217482775164867679838962247573,
|
|
464
|
+
4417305792230285111357011064673221162480286486496089003939989926259051525871,
|
|
465
|
+
18318343953566300700872145919583310314872293221527574189507609074563561808951,
|
|
466
|
+
18102181553730085952093068611215465293662342195186852247233989189686218494670,
|
|
467
467
|
5855924544364003112712450030145237149424995112678688873039358008205969147611,
|
|
468
468
|
15570549396870292677660853760591267003520405786863190676970087082855555878636,
|
|
469
469
|
14821240964410715386910463283745689087244285662861027299124772223732179089302,
|
|
@@ -476,10 +476,10 @@ contract SemaphoreVerifier {
|
|
|
476
476
|
1251548247225430075659521219630231228104532865302157324337575228144557232422
|
|
477
477
|
],
|
|
478
478
|
[
|
|
479
|
-
|
|
480
|
-
|
|
481
|
-
|
|
482
|
-
|
|
479
|
+
6800687607590437742793451968857688924532461129043710692695682669594760138183,
|
|
480
|
+
1902628209424530126704615228962823322693910527728191597878269502368972448245,
|
|
481
|
+
17205169168497932228842841751695431463810324846010162985835301764799251782423,
|
|
482
|
+
10034931611814725856775298104026042876081758307779816060207300321750191893265,
|
|
483
483
|
6083168185688688297667869638715177381772180226443830560342282797830104869062,
|
|
484
484
|
926194281246578915103720926341497520082595828680525575284123365838007044551,
|
|
485
485
|
9409122852531801098754556536729028548924539102103420345160677794564194221020,
|
|
@@ -492,10 +492,10 @@ contract SemaphoreVerifier {
|
|
|
492
492
|
5945081237575571782036580504962786649821981413555607621373828735238630355652
|
|
493
493
|
],
|
|
494
494
|
[
|
|
495
|
-
|
|
496
|
-
|
|
497
|
-
|
|
498
|
-
|
|
495
|
+
17652382972559786603081358712023734457988123179346418318061767410638467351353,
|
|
496
|
+
8609310002954675750899296865505156197275068986904937546335682968407062557353,
|
|
497
|
+
20953981342395933310821155979182741101782516022917194002901756056810161577653,
|
|
498
|
+
14010114671133332884183212883039266364632832900771268544464943567097360538030,
|
|
499
499
|
20768578042859563979294333002563065924476840206018011719077318477769915880402,
|
|
500
500
|
2001786654254515377677955109354751436919751171611935922531378122392365944293,
|
|
501
501
|
2298051095199584549599791615579815921675635758326996304424561508720678758962,
|
|
@@ -508,10 +508,10 @@ contract SemaphoreVerifier {
|
|
|
508
508
|
4331670811250121546993058308579590495468093227852181043972677680581964769228
|
|
509
509
|
],
|
|
510
510
|
[
|
|
511
|
-
|
|
512
|
-
|
|
513
|
-
|
|
514
|
-
|
|
511
|
+
11589273064298032074960397339280273111253628710081452605587787277989878262684,
|
|
512
|
+
155887139811629598842391409587306581332057016161277301334614704354501745866,
|
|
513
|
+
21415746312736962630685763964130668169157204911852029590085104536633069699336,
|
|
514
|
+
16121151623164478719433805875174860779395398667644700642305374194327245787952,
|
|
515
515
|
10631178625335401501457304969878852001559776191683447428857609753454937038299,
|
|
516
516
|
11675745006421997275450756626998030285194831397590498324078767720340123952646,
|
|
517
517
|
1759441622054752159360583922123536313476013806215300533220440946452846159126,
|
|
@@ -524,10 +524,10 @@ contract SemaphoreVerifier {
|
|
|
524
524
|
8122885501816310710455960482459104382732335722838233409931476783790044860185
|
|
525
525
|
],
|
|
526
526
|
[
|
|
527
|
-
|
|
528
|
-
|
|
529
|
-
|
|
530
|
-
|
|
527
|
+
14621784478774900045485232005516896073016099759402781623216618339142142444432,
|
|
528
|
+
1432416214818308586539371032122259241440290306461685527056371471791146740623,
|
|
529
|
+
10859741497221216461724796630804714121202257706435373999834867538278407694230,
|
|
530
|
+
11269289100589657711755210305168004136417079020640258348687053385360804643179,
|
|
531
531
|
16304360708182088008313907877667665892976553429106710412375369419780233976442,
|
|
532
532
|
10460941404478613816427928998514834125407907547113907613807191273719986187223,
|
|
533
533
|
20051043271541513424021087402997604909963063035826832503174487686321968961776,
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@semaphore-protocol/contracts",
|
|
3
|
-
"version": "4.0.0-beta.
|
|
3
|
+
"version": "4.0.0-beta.12",
|
|
4
4
|
"description": "Semaphore contracts to manage groups and broadcast anonymous signals.",
|
|
5
5
|
"license": "MIT",
|
|
6
6
|
"files": [
|
|
@@ -30,6 +30,6 @@
|
|
|
30
30
|
"access": "public"
|
|
31
31
|
},
|
|
32
32
|
"dependencies": {
|
|
33
|
-
"@zk-kit/imt.sol": "2.0.0
|
|
33
|
+
"@zk-kit/lean-imt.sol": "2.0.0"
|
|
34
34
|
}
|
|
35
35
|
}
|