From 345f040b41b9a80da14e380d3a138398c9d2c921 Mon Sep 17 00:00:00 2001 From: Jordi Baylina Date: Thu, 20 Dec 2018 08:28:11 +0100 Subject: [PATCH] Package change name --- doc/rollup_tx.monopic | Bin 0 -> 11389 bytes doc/root_transfer.monopic | Bin 0 -> 5033 bytes doc/smt_verifier_sm.monopic | Bin 3169 -> 3170 bytes doc/voting.monopic | Bin 0 -> 4195 bytes package.json | 12 ++++++---- rolluptx.circom | 43 ++++++++++++++++++++++++++++++++++++ 6 files changed, 51 insertions(+), 4 deletions(-) create mode 100644 doc/rollup_tx.monopic create mode 100644 doc/root_transfer.monopic create mode 100644 doc/voting.monopic create mode 100644 rolluptx.circom diff --git a/doc/rollup_tx.monopic b/doc/rollup_tx.monopic new file mode 100644 index 0000000000000000000000000000000000000000..89725b9e718be7b8d33c2a8a83e80b417dc9e151 GIT binary patch literal 11389 zcmXwStN zM|bI7H=5?&{)}H-9C&}W3UmM%XB5ay}hIMZp|L`%N7C>^3bfizNlKfH?3jZfC}Qh z$jQm}kGrvla&?rz_VVnS8b1-<(~VbcCuh^FQ7U7X6EfUb>(A znd6~Cxx5?Z)m4P}7D(Colz?}A-`R>uV!d{`1Hm0H#GNNb-5)x9#L`*=6I&aG-PNTi z?|dPG-u416_L1v%d41s79+S}?o`X6Ay}Y}gPYb&E&PXbI zKJRvS@6I+Y1b9$4Vx7Ssmu^DaZ#kgz7NIS}ErD*?_v^*ytd4Qi%9wHRV#nmBX44Fq zfq$yRe=_F!x*fFnV(M1NWz@N;-{ln0#|>)vTY0>7;>EqZT*(2dFi!hGZW?D-lxGoaV#eP8naYf7Vd>UI0(<0x=3GzUs!(*7#& zt^4EXMe1B;%PW3qA63Xd|AWGh?PMv-+3RzH@BZd#(Bu6Kyg2z1;|1cj%b8w0a@_QT zX6Y3F+z|@+G8x*@*5R%9Ib(G^rJna3nJZsHvXi0Y|BB)FYi_^BXZ}t7{ld@QDa_^8 zdMn8h`*->Irp8H4=N`ijgZ~Fn&l>pfy<_)h)w$}c%KOU4XUWH>QBJo;i{7=-{r=mB z7m1peobi3%W>;IME+^Rdd-&DS_J_tRnN-W-%>hU5=-}DQk;#LIP&ZxAEinoSYQSBv zkRVB}ptX`?MYs4Ds%61U?N|HWsx>Q7!%0fSj2LcB*w+G?ip|cA&qiI3mWh9Lwi~m) znB^EYOK`i<*?t|c;x6<$0q5=Qd++(4Zy=vv-XEyr@!40SF640i)Z_G9OP{ub?_w00 zdx3Zv_2&I(*W^C`)uZFC+wlG2aGD$S@3uV`YNwovi2Wi|VbU-P#_-b8*GnVJ!AE8= z6RZDcLC$)QdvbS|PE8JG$uQjK=-l8oZn?e^cKt|wqNWM?EA)qfbqC7Xu+El{pZ!t* zyDp7k>zPCY=wx|#c=5PrX**yEKsue~{otP=wGHw{imu6{ySjYs+~U{w^!gcaW%itU z_r?&j@P6iSPr4-J@@}qc;)^iNxL!DTKX8azcxudYT*uVcfN1=h=IK=H?bxw6?P?d1 zZ}3-eb&`KG6AUx;dcpSG|8O|qOW>=!=5Ibb4~fYq9HLn)1y8xA6|D72fAhEfQ@={H zu7NvjZhFu<+v|KmV(pRLJ;l3`RU3k&9*VI%?^`3)ep^U%osX@$5#LY9?m0h;qw>=A zdD*H`$wWT^P6V~H^1=Oe7DvaLPxaiP^M*Z=OskT>H`X;DF(X~QugaE2rG3Pk$8OV$ z>U>mxn}Q^EWzy*)#1lZ@?le0an&*-E>K{>)P-C6*bNtc#8#iF7?cyh*;%2M1 zl^PcSS7L4khxr%~4bk3QX|$w3mLFn6+W@A8sjzYQ)9$`m!Hz{NdX0ia+^@90P4m4B znz+L2z2+>W-FE$t8Y{W|x`6%-r+RDPkFR(rq7k7pcHL}#;o~7cX4X}I{Fp&>@a-$c zB(-kwh*S^i?KQ#98@|-Fd@o1MaZG!;AKcum00>zb1w8HU?(679Q-jD@eDos>t*b6R z&e5#Bw%k1Ujlf?-p<*=rju|UZf?0VztQ+-UXc`CmQ6RV9dw=iW$XoN5dk04Z^sp7* z|9L{yW&MF8=J=W)0B>4C08PRhVqF{^PpWz1*+?&&quz|$JNo6lG{9D*wCV^L2BkOY zQ7h&B%Q+QbFiB>``58aHPEuO4t+4Fb8Bkaq^w<-0K0|`<&f*vDC*fxSY6?2vkwg8~ zZU#eyg?9fuy?9K5N0MAX-4Sy-Z) z0NtouxL`xK!U`hVE1QdrCWmF!t#pz7O|>4pGhOc`e|v;lMOc=)Fjj|xqF`(M&f4tS ztIi?EaC~3$>Cryc8&O@In^EXy#sn3c_B3{vy3f$Vk{GNOo=p%b5f*zN`1bB}oXd!N ziOfov89H+{03Fqqb-Qs2Uv18IRMtrvOfr@lu~x7G-4#6-pPx>4Q9ZU1x+2T|I!Il9 zJwv1`1f4C=SIHNl1&1|d{(aE_ED@UpV`w3X!UhkUkr*2HWNTu8?mlRMex}U>NmCvd zoNPE)dx~4H-9N^}mNKl^s5HWr>=8}`I^un)2b56qMrUsjV&!i17c7`5cg>*BYSE8CdDwJDTdp=}kOJ@_|udw=h`%0t5j&afiH z!X4qB15AZWmIiMs;V72SOXc6&Pz+_i8^Yw&)hV*UZd%Uxh@KH7O1JmWzf=GoqTs#N#FN8B&0E9Q+GN^6yp-=Lu8sv_g6 zs;G3ADSBesy}r)S7Cih+hQ_3>M0|QCPU=zukN&4841$5_C~B!vA3IpI8oCQ zUgpX~v4L@SSiU|%Q!~oYS?am!&T4;XYvvYW^uH|VI!>K#Gql-n6}b3cfPF`X%UYS zeK%`%cC1D`c?z*4ttder24DXo%|}PY%5Ukv0UKQPfxG8!cSx`PlZua-*%zF8AnRtp zteji@@}c4*K=~QcEH~kn+O4jb+=xSh^P)LjJh;u9?MubnTM1_e6h~-Aiauwj zG&$;PV^ard8OubkxUeM=X#>g+GuMAu+pzMgceb5i7n~Yb137A!+V`t4&pwkWnU+Nb zD1KH}SW3^irtRuT5))FO#wA7`dFo)BulI{s$mo(SONlLy6E&DPBw%bLqzJ*&@piy) z(4WPlNBagymKl`7$V?hqG^-M6=1dc16d7lkKLo)^Z46RST}?%_WkFB)$JA8n)jfQ$ zdQo4HV|XUQcZ`G?=;NEyi*CDf^prt%F(d$Du-qR5gMXo5Pwu?X7H5%FUPX&xJnGXr=mEN2J%|fB~%95B77|08lfl>_>ioB zkRvL0)+_-mZA*z#?S$CnNStaG$84^*3rFu7$*b4IoP*>9b>5g=qcDFCxRD1HU z#8JjY>J5;m0)qdkD*}fu*3BQEQqW8aJ=iv_o1A`Z+R~)&m!SRHE4Y1iV3xgamVF-Q z@w%<<&laAdkZLz=*`HM*Nt07sewV?;Z%D5M8$Tm-kkjWKyJka*>Gpt6U7KF&@GY1a z6~$thLSohG9QW*$Xu!dEGt3(pfmB5Sbw1JyWUGyngIcO1)P}SAqj-dJz=EraXzOT# zGk9xnH$KE=^haOI^fv?Raw`8s12TaUHE%$UE`Hq&S1j=E`T%n|!Fvr!G)2SAOu@n| zCN!gZjPeAZ$_s^k))K@z$VK&f|FK2@=Xn60H-nLpb@X@sry|*_w)(=M=BQ*&VkJ{( zMh!P<{&el)jQ>Grt{Oyrx^$T22<)fL8=496t;!Ttzl0ckY8#?WtXRo!o$Vr7X9HKt zUVr?3e7=gG7$4ut&bvLmm{-3xqg?-f+3RLHx^ze zi4KC8@TWc!#F&JE<H7fSHsX{E;zy&!xSEpAbTBtdb5JZ3 zDb3A)0Fa!7^`?}k&Pm9<>mZe6_C#GHHETz9>wNNYBCI^2inOY-Ji07=eFGr^Kd!(p zM}`Ky=isBqmu*cFlA5)tmBEL8$+#SG`{sob0URz@q|aI}M%Lx@bVvn9lklJVE+*{2 z==KxW1uEIZ286NXhPgdW_jtTks&G@AGDBe>Mr`&Sj`?ZeetLH~PkgVjoo+cKR0kZI z<~k)>8g#ZA?Er)Yn>+k-j+cBM4CdL94JZqyCSuha&6TEr6es+sxYrwVfhyEPWhkId zB7gFy4y0vY^i_2Uq-4m{dIsrj{O2u*DPx>v2^2y?A!U0+Ranta;J^sN5o1M$Mn^+lqTd zjk3SH2rbzZ0z%l&ro+BUb76bLGKHgCEEAR#xYQJk(%Ts%5JyGw{WHq$#P+s>pr6P4 zy}K@Be>0eOLNta`-j8$Rm3bGY%E`4 zLxA_-nReIfDm&>at8gLuXQAszQ%BP~&vi^}4z{0=u&bAlzAKNhS3WBPa>DTab{*uE zRk`^7e&h%Y?X_qBS_^PwFRCW6M8o|*(u-NY$`gkgBbi7hOP2B5K>JNN!M~xH%ClYm zgw*u0?zN%8sVX^CzcQrv8EW5`GkShI544~}3(KU#*J%4SVE#ldA5qeq3RiCfG*L!| zJ>0{^JXc5Hs-}OI&z$T{x{*O&3iq|ft2R*%$ zKKPT!umJfJxbOh=lgRJ@{S!D?OKBFtu^ZaLLZrC6Xd&EqmpDY4@xM6lBN6CWuZ7e=YU+KGIFHdcV2x-;J1%>xmS~`$#?s?*m0-z`;yB;Y%Wv z5bZ#6e|+?wmBj5p!IO>3TPtmVA*K*ZbS~~-eC*ybu0Y%y{s0s&f8qcIFMslY7%zY7 z3_u@#e7_WNujaRpo}rfrpngPdRzPJ27OrYKjh-!QPSVZDUiAu*pM;*mysj{Hj5>*H ze1ci*sAhr50_L5y5ww4z3h=xrn}fnFG2lHoZqkozId{&PX)g=wyL}wI{TSTUkFG0K zlNLLFM8^u1iLQHm?&^Hc{{SrxoQOO3yyW7XlL-0swA&#TIDEpdE2%9vl$VNa3QTy3 zxD_@YhgP3*(60r|(+)QZf1QO+Gxcv6wLp#)@ph)vq$3)E009OBOCMO zQiv1|FHRWkZl|2R>s{tBd^pO+dXc7N2BN%p?oh0@c4s;`0yt9d3k{^Gcq;^Ve8BUS za97Z}BJ-#iobM-@yB6jdap_6H6X)`#LBAVGio9xB9_C9zNHen{){x$%*)a~TN?AF(g45q~t$L@~_m(&4V}K4X*t3j42VIaahf4*1 zEg>RnQ_iM{br+`DWUG9CGYZyxlS6`8r5DfC!rtXXJ||)}uWYsZd*UqP;Op7u*_nS* zZV0;)enhjaN~r+IdAN~yxYX1NwjZ8daiSkTVk!lpxM?!}d@qggFjLFBsu5__2SVHb zf;9T<>0uvn42)ocD4USq8o_h%75Vs+R3z@=wqR*Ks#|JR!EA1(%8kIm8AsoIG#zrNet z&B2EOpz|^2e1Y^2wWSMK6Sbw3B~BP9jCLhD?4en}zSR(6>xaSFrH}xUH49h5S>y%s zF$DxNBb%*9@-dHo2=Hva1!#GhP;fGDHR&-L>@rNnaG#EA_7CfX+8O=yjMW^`ZAF97C(!mah=TZGa}L0dU#pPewK@ zixVGgyO*|yf?Rnr`0%wz!-djQ2^AJ3)L)yy0_;OTDA*YIA^^8atxJ>ni+u#|%7OTq zMDXHmCfcR2&*S%7`@6l>!$GfIX!eDu*+zNSZ0l<4uw?13LdvCXgPH8Fx8_5w5Dc#z z=mebTdPE8E?0B_~3Ji-uO-;#3T*jB!bEAz>Xvy(Uu8PT6?u)ETR`iU;osPhxj3926 z-%%*ET7A-(nMKz#OsMyHb4!hUoL64oEkE9l&+g;r_m_ZBf>#@S>~b4xJ9s?luqeNS zLml!w5o7f1^zg7uPdYwhfIb#PX z?5SdoaHlMvfC{g@@BTDW^!7X0H%X(1HS2e=$3UC8f*mHR`rxj(an(kC?})`$2+C}P zi9X(4TwpeWXX~83V~vpjWx}t?X1uuIu?Z1Z%TH*h2yJ9R24@agw-&~8edFj!=T1_i zMW)dX_BiBE1estnXZ|cCpGUA=?934vU2I9}1_N00I=IM~OhJ`oAcE+5Z=lAy(~;P0 z)!N9>!l_;WT1rzT#r#4{`K)xpquDNO$+J$g~(P_%|}%?AD`Vv#LM;eXRG7& zR>Mo+U**qPFp1k^{O5gOY2|&##G#z}T=>Rh z@GE}xE(K>|WC1W=j-}ukIFH)zD`HeshLaz;clCQ3EVm(w|DHr!nJ2n92b@#CCtSAX zshO?aj}&3YaYtEKlMb0meEgDamRbH<4~j1m&;p?>bl;*uQX6L64ELK>(-(e>uvW zzU^+0iHwbf?IWReo!ATh`CNhj<9+UAS}^{De+iMV+}ftkT8`mF)=C-FkWBcs+7U3| z>3jxE{KJ0d?mP~i!;{~kPqQZ75B-4iPIFR|Yf^4psy3}ynv<<4FpiwrVWA@jgWVuH znkzaQ*n}b4sYJF_$`K5{xAttIPOey8bVSWG$Tl~!fngeHM;=@loZibn9MR^Vnz6}y zZdD4b*ghD~0+VDSaCu-gwx&{xwfDc*1g9lJj8A?a9|=0dn%nEIH)q6-RGLo?+b23Z zImB~utU1VVwmD%$igGN`La>L|(L{vhCJCAjT zr2*D?E4K>kL_FOV$|5v4k+hMEG%nh?)wa!rS^||Q#e34FG*y+G5oqO-Vb5A`~P zo}P8Tr?VF;u7IGTd)8Jlc4Am7C9+jMe&X%<0}9sGOBTkMh8u_ApG5!YBQu(PHs)?G z6Ju??W2ur?1AZmNiaa}DG%7HsWTc_cp`t-$rN>xB;xIh|QsDT(9+?}y6X?r1Dt>oV zd}_w> zXR+=TPX;xh5u|^4RYd2ukE*2bSacEj20#vP~uiTm^z1B77k??twn9aY`Q65Q94`EC6p|F{%qZ>!__2DKH@Tj4Xh&0Ajj>ELMxlQ>G>77~Bk*Qy zrpteo9T<^N8!ew`ieAL2ws%?0?uB`~43o;m!IQ;!Q+4Go6;=ia%@7xx+qxou%Y}$k zbYv_E_ZrBbozYNwutz}Uxh0|NH>otHz;-bxz z9&HMdWPw%Sz^YsMDj7=HHE405py*g~yv7*haLJw?PaEdoNpq+Ml9A|;_p7h>ORxLq zZrN2s$-xhRz9tsEdL2uU*XNfj(-1=i@KA z)0r$k8y*9}sR3P@n}NT;fr0O(AS81?{PnLppAt+@Z52{joGf>1%9&-d}4 z>YwY^hM&Jb?m$A@{C*mNb6%)5%iGP{2+UX0&7aEw=byxZ%zCxuo%>{EMe`Ak+$?aZ zJS$h!O6G0ZiH8>tt$hF*6VmaFv5AE0LM#TOr^fte=z`~s*$uk!F#>3Ms_|1K$F+s4 z#PLaaA`*+v#QXG{0GZaH(b+2NW@mGV78B043^@hC93-lJNEq9@(^lckOu{bG_*pp% z^790RU5-!T*WP}7f6ds%b6aEbI2&k*j-5?tzIGVxl z?sy!NqaSY=jCJJMR24xAcM4MdJoH_&l|lipcaCmN?LFHYeF?Xvhrf6Wi_kVReKDH^ zA&f=DAAO|sn)HW{WsBoAWNV?k=WbJvD>IUETS`;4>H32GilISiZ-i8|9){5tkF}}? z2uK-lcr5DZE{HTB%Gr`Z)*O_f@k=bR-`jb_Uji!+{=i6Pya~`C*OM`7$wM(!RGn2^ zz6fb)I;fKtt(+^?EoW!ithWhds0Syk4K&X)j1x-;h23(Lc|KG8R#|hAh=Y zpb5lZ;?69VXv*p=dt`k)PAfu#t}->qKbeBb=m?hwi5@xb>TgufHpa?c=UxYQgxhQ| zS#_n*Oa6GYE^KCK-tZiBPk(EGP;2HlmQ`FY({R+ILefb#l+X)9h}H{JwYAF(3O^z? zNIbCr9^@_`C#y`XEFl$%+_X-+wdb3?8bW4tYJ!Q%xAV3xv5M8jGU_P-sFg`HU5qxR zikZ7-JpMP|U&-wWz9dmcO^_FlJN+Vzug=+Er!|2wfI~WZUb0P~AZ^u$?AN?(RLvt1 zP*J~j+(Ci$1CY;ST8Vn*-m6ZzuW42LyCy9MAC?4Ls8No8cz6On+h@%iWv}J!ycG)- z?rYp+W!*|*h2yI6hgU*?!5uw=88(bq5pG6-|Mo;y2<5m640yYOZH zYt~h4ijl;%&cx)wf?=Xx>3-cdQ6wkhq8d{+%o6mArnxbCNrdSYnm#G&9EmVkBhnmf zjB###d;2z2!}lf-jDlUozi_AjLSyIp?68KEaa-hVB_nzR&K#`GF@n&}yU5e$witp8 zS90jb#F|}*>rMNaZ&Gt&{P}a_>0ei_@>yY)it6Io;qg?TFe9utv}l{v|Io&U$*|1b zqc)5#1lUxx?!%BBJreg*rl zSsw3GU0ppvLV0V_;{^P7w^~ovyeokOK3W&)|e0awX#J4tmFgX zitA|Ik>5`;DE$w~e@0LCxWBi{f0Y{YOx#ru%UD?79}Rmbp}#0B&n((%R!#Yu%)kfx zv+%Ka5?i~l^6ZjW&HQjdMptDavRnI$lf2ggHrs!6#pUluP0e)NI}E%!LXGX2cBT z#q?TVV1~FMCMEykt(GqgMZ6}%;h?K69>Wnu9m3d;*2Jx7Z<(dP@Bj42fPlfvP>- zy{K}HE$wpNl=_CU^UIUFxz@F&)^*Rnw5<82=c5(?2ju6>4Gf(f&ww5|Az|BzFre-u zoV4Q1l()Ta1M4O_3VLZDETr~+?KjYrt&{!Xs*p2to(N2=9Ax)&-<4=uy_sd_viE_ku|Dv)_ zQK!&{PyF=@y&w7)rYC}oVBi#qZnsv0g1~LC*Tp@k7w+*X1r>?i+>aLrmrVIs>}8Nt zhY*Exd=Kh%FP53X!r#7g6UHGF+98({9yn>+CT}9I>b;`r87Qr>*<5{5IQ|0_Yf^RL zQ(3FxbgR0#L3riL_PQ+(qmb=SS**o6(|EI9bHk>tqDTwVbR{Kuj(*8{_poHrn7ev@ zHbAz{=!?M;`fv!Q19~GS9B+e%T`ij!ik!NEZ8ZZo9TxD5U6xH(97lVHg1WBlSaETj zqQY%+izl?`KVW5Det%8BHJ?j{TO@wbOUH%~vxNg9SKBwIt)p((;dqDxt|*@M znOf%c_)U}eti&NSF2!8fb37Afp(x!E+%ZE>vH@Jkx4O}p0P19Z(d45g$W8h5zLc8+ztttjs(p?VT>@oeqD-p4#U$nT`^ovF{2Z z4><+fFR%c_^)PoL6aDl^@o^D#sX{wpj?0rHUq4PCE`STGDm^|so|f1D6uVn|V^)}C zytU-MmuGCKECqirN;mOJuFfoqLVZ)=n>YQfb}KHAN8I!j;Sx!kxlEw(?KFr*f2J7s zH>e;!uSFH}e&Sy2eFvGzUIeBo-#R9JtQbbuLdpdBz>aQbYgG;Eb@|XDVpne9hKkKE z%C_XB=hmFGE4VBEM5uV)FO%v$P3E_MC}7=b71eVbXxpMs*bN&rUSQay^(h8VjJG!E3F-{4K*B+rk8Vq%hpCuZr#`u%coOvPk! zhRjKS)#1D>=Eval`jynf%q3R30)ytee~F$swq?(~rhqxXd03#Wz$e@!J;RONsK1bV zO}b|WWosyaBzsAT1>1DB9J!EFxO92(b=^&SY~>PG`f5tSYd&MGt1wNPtzMx#HYa%b z9MAXWk5*a@q0zI&tq)z<95qQ>dak$FGn0N$r<*IEb&4%{LBikM$tCXiCo@S7#D!X z8(B_(gYl=PDw5|&2RhL2v1|?hT8jkktqtlpjzRit_i)kIu&lT!8n&=noY9FYM0r2Q z7!HVm>RRzVy5fcQq8C{e1yHilDt|0lAUT0$3z0s{lJ{26vkk<vjp$YB7u0O)KpcRLd85ziNZKT2~`C*^;N(yr<}zSa9exCWIxg<5ZSkDhzwH z%na-r8i%Ut{M$GmQ9M_uL9#5Cns&(E;`nrOt}T>QD~MV1&IbnNyFc@G4azg@w17GC z(oQ`6g7|SZtdU8I^D=CJ5V3m?ikZ@`rMSPk1K&6@5Fqtnomi$FV=(nP%LA+=?D>=~ zB9v-bVz?n0HyvyyLec1!{}yZ+_vXosJd}K~V7P?6_tH&+giyQRgV33ZAJMY^8t+*m zIB(6y)ixa#fa*`}Zi4`wU+bKkc+Ij3$we?6shqf5$|6lSSGWZD$)Ep_R}>fTxRudb zFWn!t$qQI+A2u#_QO2-tb8zPHTverQE}0lyZGmT@v?i*SIl=s?#Bw*vilz(5UskJ9 z{@(AZTM4S{J&B9k_MYzG?@eGLC$J|e{HCb~FySP{d2^hInpqRh!<}qGvY(w4=O(a} zWhYP?qCD1xT@(9l(aV8vH?c68VLC5QP%N`Tnfd2FR4z)FjsR&0cF#&R7j#!Vg=onZ zT%fq1eG!yS$;bXNvlcZ(Vj&;Km6}zY^>h}$-QBsaUww7W?KPijG33;QF{|Md;aT8< zWZ{gPu**U^U?Myz&`{=Ca9bROzA59+b~Y0sO@euLV`Di4??Ee01S@ttS|(OXbv7Qx z%ASuB%i{b4iH>Vj{X(wX*`!RYl8XT&k3QcpA9ROLc72e^A$TDi7p~gP>>B63Wk`XWZmR5)B>6n~9f7k^`-lx}Ap)47rU zJ3FWfqWNEb;`UvG+PGjPzyfkg?hqNMV2DFA(X@u{`8E@;rNoVDSI{p7LPJCitbSSslKFtv1jvZ)@hERAzua zV4&aopJSwjqka)3i#;j2oAQ@b9WXcAM?2>gp;bEinZ(C}>GW~|*g&^$w))C7cblWK9E-yxb`?#q}52EA_&PTED?vcsM`Log4{48_Nn-EzI?lwa<k5#XH{ literal 0 HcmV?d00001 diff --git a/doc/root_transfer.monopic b/doc/root_transfer.monopic new file mode 100644 index 0000000000000000000000000000000000000000..032c0ba52af84b58f4a2c93d2f77e070d107b342 GIT binary patch literal 5033 zcmV;a6ISg1O;1iwP)S1pABzY8000000u$|B?T*{Xa($J7e#=2uRe$>5#f1%AAlY1a zj9>$=F_338wsL1AN0RsMW?>+2ke_*jJlK7b@Ix$88gW<6W{JXZ42;FmP_1UOSzTRq z&Z*xft55$izuj&ouYb!AUy;d=9u~{_&E0JC6$ht+!W zTBGw2l=4~Ax2xrLzTDnqO)T&7Pi)uUvJY&3{W`x{WWSo?!`UzSJCoPA>*Z$q>qGV{ zWqn&OJ}p`OC)p=wpNl@{-N@ek=j`k&pS}NewOMQztL4plexD7{hhl($Ap28! zgnUGNq$eM<%bw5fZkDUl-b~hfaawlz=G*#yc00exzNH?J@=~fRJaX}y z`RB*{PuZonc8l^ZY`%ReM`3r?$GX|=;+MzS*JgLfPI$yu_xGFmHv5a3s`}kU{?TkW ze$BeG8_;riHJ_3-JAcSNH>rEM-$Rr4>vsEPz54d~3*YG3c00TMl3#y$`QPi2%;wb7 zal2cri~gy`EeFW&R@TStJgugvCc9S9+q{+fM1Sm76g@87^aRd9Eu0IIfZvEA?V5U z_ggQfZ+Uz7zDrg2rtD$=qnh2g?DUog{Bd!%tbPNyd=aYx$(=6+E_SW*Qwswv84h?N(>G;l}YJ2X>E8HypD>sRHT3W0p zCZ)xoS9kEB&Al;LZ;lMicK7Da6kikfw-DM?N=(yKmcHX^$?X`=j)*H+1FtTd$j6o3^=q zmD#`4s>#NLs-Ky-1-jWV-yZ#B0&I6r#?wdaU_MpGL1VPZ#S={~WV5G}&9!!#S=wq* zK+0R${Cz$zZ{cE@efZ{KeqXlG=-9D`y*zunDnENi)!cK*v^`);+`UT4nCe8LNWjlLE3#9Ki| z?JX{$WwFYdFB`7<6sTpzgMg_k9%?7E;sw{z>EI*!49EIx?6aGU*Z=bVuj|$Ae6v}t zfhQwkM^7AvF!`AcATeLKRYnknFgk z?$ol_zTLn zW>;MDj?}wncZ2WOtH-}A7yGb0*EWbQc?^L}R8|u?2=&4z$(;_{n%RQDDI~>5Oy)ow zDznw>Ol)Qg^*J(IQO*ZhL9bmZgp1HI`((ou8XJ}uY-5gXY{fAlPj=)duZ)CN(b8eC zjg8JkbGop|mDj7ji{x15?bVOiMBLTKj6et;Dl$MBTff!}> zs);dDa!6wE*h3P8j`T|HV;q%;6 zZN<$XKkUes2Z2F-FqAYvqchRuEQE7N13;8C068hyEy3JatKIa;tV!sc9i!R}BqanZ z!5~MA1>F_RQP78Y*$F*hLcmE4Aa*2D8#(+aDLH+N4%Exj`QK4tdgCrFOmFlH0kKa4 zqCP$PZp;BiUy`vgF#`4~F0%o-dG-v?q$ij7g~<&G#aAI&B!i3=6EVcL+2 zs^p}GiOkoXDZ3CCnMe6NZk{ZPiHczlG8be8vz7MwsX}jZ>)zxSA-L9h1Ibz**7U&I z)lnf3xH!!Oc%B+eUv4A+CH1fXBXhxT426SjU zw(?0nnPg#vO4xvD4eps_r+}9#dT#TjZvrqI9lGC%ek>xXSRj zfl7JSJ<+l8IcMd=bI!!kETn?$*o{Q%AYIR!qRLc)yR_4xYau7Gc=GRrZe{E)8Mo3zzBUQO|8f>+bKn%q_Blv8u8d{nD2ac%ADfS;TCv6-+W z0)sAjTh8T;xgZ2f^DxPP^Ar^fgBj&4fLk4Kw6|)Rs+PG7I2R}9+T>iCmMhb8VOp+B zOI6EMwXCa_b=5NO(Rho-J2c*)>8fR2wX6#Z65*RXT@ruS=hzG58p%o{N)V>oTEf() z>#~!acnn%C#dj1`?UKTOV1OPhKk4VU^L_Kf`*;6-Ox3h2*rl1|ux-0&Ytm~PL+ zRz(yw`l#jYz~wr9{de7n4+@^$!n|EQ!R%s?)5jWwMy zOnEz#GRRI~f)q;~bdZpO(oHES zA~^~TxE>V#d^blx+fn6KO{|0+rxZA&zzGFAP{HQ9Cq6p2s^oL4HpEHVs~#vqXr3Pl z?ONA{({xJ{w{2-$@|K38szHOLi_0FrFcAjN9v?6f>>$x3!#OX*NiUX329`z1&y%xO)^im`-radm9Ty;#CtEnzbZb*e3-{TjArs@3^TA+cjg z?Bf#GuqCcxOJl2HOD@?Il9k%_13mx3f2gJ8*?gN`FcxaxiRI>8$4c*R3Z|~QBc<_e zwH)&cy6G`l*MlbZs3IEWDiM5lq7HkVi4}DS?hJCv!A8ZigOt>% zmQxlB9m_MJ94<>LCk;_C3{scIG$eJQOv9Zu>*%;677Up4JMM?os!w*_)gJATLLmot zZs%QbLQ*kURxw&uFP$FWWRxvYDeNaB|&8-=!2dLWtoJtj4I@23=x z8Q`jF#8uVE@*`@8!VK(nCKfYb&w&}RQJ4WTa#d3y*lt293Iv@Y*N5CWb`_&)Dz6(a z#l`Mg8HuK^>WUXijz8gru3Se|A}x4tm*kKZ#^u@hquI0RhEcxQE97#jH(D+-?2Ni8 z44{F*sWi@{aUzWuMhoL|M2j4FiXV#f{6f9gY_A=qvuDb5-dJSE?G)N#f6$6&0~oH%nX$#wOuCAf2Enqr9fkC%2Qf{wXQMl- zv(-Xa-hNOYudeQwA0T_Vdi!lz3|)43bq(1MWNOAPUp3yVPH&W`7Sv4dES`dmY<9qI z1V3&2D7~OtL*EpVnP;uw3rGiFl-jt*i1aR*Nbkl4Fo>@j;TcowYatoN)cP>c9;4Bj z5DzebGgOTTDr%2`ZK9Qk$)c6yXbcQt0HIiJ5K@ydT^E%+jLGr;IOM~nY5!q((f%78 zvy5S1{m;`NsAXj2T3)QUru|n(tTz_?*nkho@_+g0iFwDmdqEssio{Nu2RW~Z9*xgtu=DBdqG0{Q8l$6ZMQ02=*NW=n7rA6 zaYYT{$-&52s9b-jO0{wYivYvez5UKa+C41PTZ9v5IT$jA9E^RCWqn7tnQWtSMHI1< z3Rmu;HtD2a05^T^((l)+#}3Shvg%#4!1*9Tfpw+6x>R4IRv+^vNRMojPBs;C13@S= ziwb)XV>Mcg)s~HIH&$D#&HfJvZ0#2*K-n&ERagAtt>7q>|$>Lf55! z5BouKvWhy0HSJ7Cn#q_L*V#;Z)#mPp)+h%TrUede0|&QrhRrZhj=D2i#b*Xl-rENa zag1w0R-y5NY;K{9W}YKSuiDdr$9_6jQ%V$>ghbW+xN4d8}eZ= z!F!#F#ROwG111>bU=V^CG=SD}gOCg ztR0c}In1ZZ&b0+nLUJ6%NTK$kbcfJiT3|gdk@R9<2M?^HH-}u-Aw-9e0TIX;1Y|%2 zdYaUQwZ>K2-lqrFb!(Vdn{=T)Ns4`#(GSJ#|fveY&1SfF%XH> z{eji}LFs`ahmFp}7iuYrR!HNcl!?<(5zHw#xraJxb4hq{l?U;q@?h_q%Y1Jc2`WH1 z1QiS-xCk621SaqUvjKqF064blgP2~3)$~z_RY~dntF}7T*{fP%d4a!1Ye!{ay}jZliyj{G9oX-@pGqlkr*C(-Hvy!7uPm literal 0 HcmV?d00001 diff --git a/doc/smt_verifier_sm.monopic b/doc/smt_verifier_sm.monopic index 12e78c7278dd6c866b4c4355b97a316b273b1ec9..60551cb2a3b345a8a54ac7996b2b6a2dbb9a6ffe 100644 GIT binary patch delta 1706 zcmV;b237gt7~&YP%>{ouqW#J2gRPZJ-x?2dT<_tg4ZT{CBgrCJW5D4`#VdVT$QA|CJ2#)>NkxN} z%SoZ!%nTk=Gq@fIk84aucgEucIRPHWO}9k$wtRCR^zG$?a~NAWusZ|NIhjwEA-#P(s zodF1PAf>V~nXXF3rzv796;R!jio&XnqK7%C#!5~I9;!l$1aQ^AYOf!$3AV6WmZb0XTm>3IZnjP$oKbW}R%m&bGg> z1_hM#?oa^Q;8pbDDG(;`0zlA3V1mcs#w0MoV}{pE$YTl2Jl$JfLIu(Wc`3-m`wyoU zmn5cukyy|~Vnq{)E)C(AB`(1u=e@+G#Or$n(AM_Ex3lO4tQ`;m+}m!214Dq+Oswk? z0(G6NRAzrhCUcp*irix+pOd{sE>pv&p0ikh8bm7#_zVkJ5tElCYnkqCnQ}lBTJkWV zWmUS24H;bG_hF(>OoWW053wg9$7%?GHt>On7{~@(2a2L;Y2L{>Fk)=ZfuUD4Wgs*K z4BJFgm=DgK+B?t@IMK0g#YB(6M32GH3-b;P@11{Ag4i!j;UONBAl0itHzE_TuG;4s~E?k77jYKE2TaPY+sreP87z(7&VjHBm86xFF zM`Kz?V_L@;rj9X8eQ7aF-8+T}RTJl38T_<&QZdm7N>?%wJhpL`{i_NkVm}Lsg_p3y zn&Jb)OX4wfY&97^^XpoZvAZTiu)}gr_7{K6CdghBf}ADt{-UyG`_&Z&Rh ze-&MQ6Wox z7ZS5m9J9ze9|_dnpLw0lh~E^#iEGU^*_& z{CpL7cfLyHnVeS^xjS4igd^YxSsx0^3*v1USJhg&7l5WaS;3Nx&I%@1D;Tdhk{nPR zDPh|f9-=l;Zhea3K}iIu%dJ*NIE+up{#FMi0?#aB z*U)zz`j)Ms@0gPYF)0n$P(_*>lj$7#K1Gox>r|u(%ABihOx7H%`-=gNckoNq5Nh0^ z{tqMlbbv^I%|a*1MCetx&)&c~QZlRl%TDL3w|upvYpuqK40r zX6>sf_f4}Vh-U#1#HRY}Fig{Rip6QhkJp*bTn*6L05z=!sED=1A|@CMHjn|@m<;QF zGMG4l0V;SW1C$*a)^E1Mbj?#*AUD$c%p<0;3U{&2uaQVjxkMDY64A{z1TSibm+@jS z%R2QjkdaSu&a)WPG0!3q+!T5w$2_xRi;A~OqB@KFXY$SN&fDAn0oubR3TCPR0P+hO A?f?J) delta 1705 zcmV;a23Gmv7~vSO%>{q^%l>5c!PZKqZ;gjJuJ>@$24RupYkV1ggeW0Hf>Rlu(GNtO zozb7C>m6yuiW%=6x0T0mC?q>$glWDa4q#DxuBxJI!4h8BO-cpzvONQ?UL-m0letV@MeZ?^&&l2*m#N`X&si)$4Wg9=e1-+Ah{?;6wM_T6OgSJ5EqR#G zvMOE1h72z8`!LZbCPGHhhuD*lV>JXo8~8v(3}geY14YraH1Fgb7%?{Iz|bq2G7y>q zhHauL%m?RA?H%X{oak7$Vxq@jqQ_w9g?R^t_fCH)LF|{N@DLA5km^;S8<8s6*GVLx%Mzlzw-BX-<6$fc zt0N9UL|D`{QKL@OAgzfSBr+t43<+eQ^o;E(bW6{mr%2C$F6kMZV&$`Pea6LO>ijye z_`ZMk;q?q+9V=d2Sw@bKbaUt+nl(Ug7cN54MxvA1tw$HZ)cguk3shH>kr7M{T9@{v}{#At%v7d#+!b{j; zP4R)@CGi+Kwwer|`E{+y*j}wlWiL)EU z&;z8N#n6`y)`Je#unr)AR+nWJ`$XoR=Nupw_Gv&oxRYQtPBDnBF8C2zZEJPTNH2qP zPK@dXQ;n@HD@c8Xsc_Q5!y$%y<5kjZ=7X~dkOA;28C`j~J|8r8Es?QniPV3WhFA6O z)5?%qgGsy;Lx~rZFbu7=EWkm~i81GV{sZvVUbt=*XWzN+$CTkAX{lx&sJNTt)2sQ3d z|A&!&IzXg9=5;ACib%f_V@tC3C2-dy>)lD#Rw!VXyr^K&s$kHnpgez6P-L-SQN!m* zv-Z`L`=(hF#IpbhVpDx~7^dku#o{#M$LmaIt_EmrfSOhVRK!|h5fh9B8^{1{Oonwo z8BCnO02REG0m=>y>o?nBy5=b@kQ?cJ<`L6ag}Yei*GMF%Tp|ixiRfkar`Yu2L6gxqT#D-xd zda(t9yPVx+OpzOst7s$aH{>z@moLd&*fld;j>PWS<`5)b)+3ti>FMdN%c)aUp9hPp zf27yz)!^0V{Bp=;es#T=uhaQ@bTv!olXNn8wO&4?$>76clFml!^wWCqs`$1RgY47$ z)#z%moTSUq^SzQ>;{|36t^5*Ez7$$KAf$} z4`++(-}1-18P8VPJSL0l+F1EechkuvozoYt*LTas!|fe?a5c`RoqaT)jMk6$*#lwY zvvi(6W_5%0_;&Crd#L=oqiOazRx7l)xml(8!m@-7+ykzr|IP*-fJpM$tRAkiFK0i^ zCYe3KFYoEc+c$DAaBI-UA}m)sR%X5VaGu>gyZY(p@85kh{AN1&L{qw6Ea&-4fa)&A zPgm|0VD{C;a(X+>)@?B4m_YSBTk~-P?0E0Zm$;eL=4q$-uU6CbW3d(P7un@>F?Xv{ z%tGmW7Wsv77j|=@nY)0&d%DqNyt=EF@$=xmcu^0<-$nNKX?vk&jn&J4POD$Oq;f-u z{IxA_#@Fd6n`m{1a_2Xn(hXVLRMoM`-^eJPOxLy7yjhR0EFZlY{_JgU4#)FDwzZ?4 z$`u1H^0lGu3uf1$aW~Drn2Czf<|UW=wfN+Ik-foU13zsBR*-*v^{+H7*L^zAw#jIg z-mHs%x>sE6y5~16zr9|RzumDKrxp`sMwv^TFn65eg|=-?*EnLC7WQ^Cz54m&Lis zhQCY4PS`+gD!|-3D%bMm-x0F>>)FGkTZd({8MlNfeX->0Tp z+{|*de$15-ugfifWSC1bC$cvJ@vqtUzsY6GPN@Tm58PW2bR}~!Q@pnMVm&VRG46UP zUl0^ukd&+RHs8(JFD6@)*_y%*^-+`HAIA6f=@bHVw`$rcg^PtOmzD3*`firZ8LE6< z&$Q~ch2S=zz|)fwfB!=!Bz}CD&89cgY$y`6wsDAUi%`hqcKN_`_*K~NEN_uWV9`S& zv0V}gh0X{6;uzJhAb*k5eBB3DC&IWTu{w@elj^IJ%a?0Z+g++YU#!W3o7wnwRa;eg zk(i~#EKI=NBGWo^3@p$U4yt|GkMOKbhIQ*aszGVkzt+9qY`rq+k288UtyfRr**t#1=g~xT6bMluFlBz z(oonIJ1ws^!%I0Ei+olk`mwd@Gx4;vGIuAsp;bE1d)rykhMi^s2`5bgMzso@&PM~m z2jhq0^&At(pD*!IqWqil8w&E9ME3&n|7rT^hlkm(^PiT}kK=VZ{QXZ4SF`E$-iSXa z)`a{^Kk&eaKS=33HmT@J)0G)i2lT99{~Qnw!2N47tu!rm2qPsr%OVxiypY~wuU`{FXio0o-aNX8lm6$#?z@-I$y6TNR#VxuVw8p=DTb7c zAtjSpWc^^2jmh|8l*R^|&SGzj(ikt>xeOHSvU-K-D*FtNrVJ1xLJuXJxob_d?5cfB zB^G7gC}kLARbr6EZoAKSQ?|X>?*tmDq53Po^5E|0IdSFHu)ZHqP>8J!d;qkagYYF1 zxbv-jQ>7GgdLk&a`6H26+kSjChHNZl7k6 z>~Ix{>y~qdLYy)bksJfmGMWc!0|RkGvbW2%g%<8ip2HQq5PN3V<0vg00go+Spt+Yz|DDa zz}o5eZ5mTJg(;khl1^R9p0p)RDVvF>u9OE*mC{dBn!wZ-EfP-bWF-PESqTa7isO7n zr-AciC|XW~YPBB)1ylt^cLh<1gz3qCY)r=2ew6G0ab97)68TiTc#u6khRd5zm0DEs z5-CI^g8*W|B#41%h72?=AlrpxT*z3t9_ErX_%%L`ru;xn3D=r9I=Zif>&9e!<+RoZ zkkeZE@o@rSD=n*Y0y;22uX)V`LX791nRpna2(;X|NUF>psUmr5ES}5D!bCIh)@KIplP!!?H2nc7g2xlY+abAJq!i(*ah5{-u6vrXq zx+1jbV1Tk3MajTGsu$r!93A0BTnH~OOn51ohHoX>4cM8g(6-!(?Ya3n`|T9i_V;T)Ug7Z$^?6H6_ErP3oOkgBf)3F#v=8o zc#b8uro$lboVDTQdw@Q+EC5jEqMc)C=M6XdFX`j{>RH(>^$gI1epYA3@dw?V%J0$EM4ex}>!2 z)@7fJpVXe z?PRXKf5A}h)-f!#!v>%wpw z#AbIRqZ=9B$mm8!H!`}B(T$95WOO5=8yVfm+>OlL$efnJjm+K1+>OlL$lQ(0-N?LP z1bM`>pR1QIhN+ttTSQun;jwIxu$rEzPOqltaP-Q3P6*3Ol7uX~iWG#$ zbE*-Zc}V3t?O^-JR<;j`8z6ZDByfQD#ma0<#+U6Q*a5P7xF0JM19554iLg~2THD=u zu^3IBhdTF7E;U?wp}5on-ga)WvQ}#53fU{zQ)U19WW4LmA|9Z!f6i<5Vd+7{5{miA z%{aYKgzl-h-pBFmA@wMzhh zb1%Ky8jvD&0D70nMck?L2L-HlF4{nzvJiPy$YxW}B1#0KPE z7I0HW!HtPTG6-~SArjXua!Mb7MWAv+VV z@q#|H>p`r>yg^tR?1a^v5B7qf*&chp+1=VJ6^Rmp!C68Gp*oS?|2&-pgX)>}j8CjaZ z&dk0n;?$kWM2gUk&}eGq-7ma>4R4?|F|$mwaH$yXidd3T^u!yeO~$(nI~Hw{WAg^2 z^r8dlKoYi*b$db&dA(y}P9Q(E0EDAV(~i(Fyf$0++Ds(M zMcGqehn?(|w6&YsCgXXUzyd?TT-Pf*ootfhbV6NfxEHI&9$UJH(U(}(OUAN3?QNPH zvmMLop`@{K28?kCg>h(!aW=a-vlI{0Il}{Z81SjQJbig|sbfN)qNlIAI{HIVw&(Mf zCa+)b@92xBIKiZB4RL5sUsRR3h-XcW29bLEp*Xj^F=0D5goxEy4gw=o$|gcoSzoaV zl5-Q@lb#$xP_4v2sX7;9hZu1sfsMG5jYeT8TUhU1Jr$3Q7!F`h5@9wy^&v_p-@Sd~ z-H8aWK@i7H{O-_IQ>zk_RgKB2$YfPz63&bu4hUTpkPSrUv}&~Sh*v?|%I*wtDdO=V z{1R}A3K>Ub-!r^)TzJ`z3(Xqy`xdB1#1I&Ul5Q__n%Z5|O=+ZlPScCwB~ujXE< zC+66+r?wYbU|+OA)6C_^vQYhjwI!94qiS;6;WXO8H2TaGs_6>SEj;4p8=<`z2g(`x1t%ir6}+ zj3P!j*y2SxRN71KRB?h^J6J%ilNVJvgubdA)+Xa$TN=axYD)w6%a{uEL@lrNn*j*z zH&gGpX(N@lmolDo5f=@-(ZJApfGq_)Ed@Mn)mG2;bd+n8vEI74D0m-R7c=ISp-@IJ zcUhVR)2S2aU?PPF1dEpsfe~S%GODp_t&94EoveE66@K7HmsrV9HL|72WSZmKu*1egN4&+NJSx43( t5T6%30ZF6Cc&tTWI#N_RhLikMzPMbdd>(wvjFYFQ{{xlGRP>MB000kPMtlGO literal 0 HcmV?d00001 diff --git a/package.json b/package.json index 0a2aa37..83f8b9f 100644 --- a/package.json +++ b/package.json @@ -1,7 +1,7 @@ { - "name": "cirpedersen", - "version": "0.0.3", - "description": "Pesersen Circuit for Circom", + "name": "circomlib", + "version": "0.0.1", + "description": "Basic circuits library for Circom", "main": "index.js", "directories": { "test": "test" @@ -17,7 +17,11 @@ "circom", "zksnark" ], - "author": "Jordi Baylina", + "repository": { + "type": "git", + "url": "https://github.com/iden3/circomlib.git" + }, + "author": "0Kims", "license": "GPL-3.0", "dependencies": { "blake-hash": "^1.1.0", diff --git a/rolluptx.circom b/rolluptx.circom new file mode 100644 index 0000000..2652e51 --- /dev/null +++ b/rolluptx.circom @@ -0,0 +1,43 @@ +/* +fnc[0] fn[1] Function S1 S2 S3 S4 +0 0 NOP 0 0 0 0 +0 1 TRANSFER 0 1 0 1 +1 0 ENTRY 0 1 0 1 +1 1 EXIT 1 0 1 1 + +*/ + +template rollupTx(nLevels) { + signal input fromIdx; // 24 + signal input toIdx; // 24 + signal input fpTxAmount; // 24 + + signal input fnc[2]; // 2 + + signal oldRoot; + signal newRoot; + + signal input sigR8; + signal input sigS; + +// State 1 + signal input Ax1; + signal input Ay1; + signal input St1; + signal input siblings1[nlevels]; + + // Required for inserts and delete + signal input isOld0_1; // 1 + signal input oldKey; + signal input oldValue; + +// State 2 + signal input Ax2; + signal input Ay2; + signal input St2; + signal input siblings2[nlevels]; + signal input isOld0_1; // 1 + signal input oldKey; + signal input oldValue; + +}