From 8b831c6764ffabaca1c7f4129fa0ba787a68d91f Mon Sep 17 00:00:00 2001
From: Jaremy Creechley <creechley@gmail.com>
Date: Wed, 29 May 2024 13:47:35 +0100
Subject: [PATCH] example for cli

---
 benchmarks/circomcompat_cli.nim               |   7 +-
 .../expected/inputs.json                      |   1 +
 .../expected/multiply_0000.zkey               | Bin 0 -> 3308 bytes
 .../expected/multiply_0001.zkey               | Bin 0 -> 3722 bytes
 .../expected/proof.json                       |  28 ++++++
 .../expected/public.json                      |   3 +
 .../expected/verification_key.json            |  94 ++++++++++++++++++
 .../expected/witness.json                     |   8 ++
 .../expected/witness.wtns                     | Bin 0 -> 268 bytes
 .../example_circomcompat_cli/inputs.json      |   1 +
 .../example_circomcompat_cli/multiply.circom  |  14 +++
 .../example_circomcompat_cli/multiply.r1cs    | Bin 0 -> 400 bytes
 .../example_circomcompat_cli/multiply.wasm    | Bin 0 -> 34328 bytes
 .../example_circomcompat_cli/multiply.zkey    | Bin 0 -> 3722 bytes
 .../example_circomcompat_cli/witness.wtns     | Bin 0 -> 268 bytes
 15 files changed, 153 insertions(+), 3 deletions(-)
 create mode 100644 benchmarks/example_circomcompat_cli/expected/inputs.json
 create mode 100644 benchmarks/example_circomcompat_cli/expected/multiply_0000.zkey
 create mode 100644 benchmarks/example_circomcompat_cli/expected/multiply_0001.zkey
 create mode 100644 benchmarks/example_circomcompat_cli/expected/proof.json
 create mode 100644 benchmarks/example_circomcompat_cli/expected/public.json
 create mode 100644 benchmarks/example_circomcompat_cli/expected/verification_key.json
 create mode 100644 benchmarks/example_circomcompat_cli/expected/witness.json
 create mode 100644 benchmarks/example_circomcompat_cli/expected/witness.wtns
 create mode 100644 benchmarks/example_circomcompat_cli/inputs.json
 create mode 100644 benchmarks/example_circomcompat_cli/multiply.circom
 create mode 100644 benchmarks/example_circomcompat_cli/multiply.r1cs
 create mode 100644 benchmarks/example_circomcompat_cli/multiply.wasm
 create mode 100644 benchmarks/example_circomcompat_cli/multiply.zkey
 create mode 100644 benchmarks/example_circomcompat_cli/witness.wtns

diff --git a/benchmarks/circomcompat_cli.nim b/benchmarks/circomcompat_cli.nim
index 43c9e042..f3ffcf86 100644
--- a/benchmarks/circomcompat_cli.nim
+++ b/benchmarks/circomcompat_cli.nim
@@ -182,7 +182,8 @@ proc parseCliOptions(self: var CircomCircuit) =
       "--name:proof_main"
     ]
 
-  for kind, key, value in getOpt(params):
+  # for kind, key, value in getOpt(params):
+  for kind, key, value in getOpt():
     case kind
 
     # Positional arguments
@@ -239,7 +240,7 @@ proc run*() =
       self.zkeyPath = dir / fmt"{self.circName}.zkey"
 
   if self.inputsPath == "":
-    self.inputsPath = dir / fmt"input.json"
+    self.inputsPath = dir / fmt"inputs.json"
 
   echo "Got file args: ", self
 
@@ -249,7 +250,7 @@ proc run*() =
       echo "\nERROR: must provide `" & name & "` file"
       fileErrors = true
 
-  checkFile self.inputsPath, "inputs.json"
+  checkFile self.inputsPath, "input json"
   checkFile self.r1csPath, "r1cs"
   checkFile self.wasmPath, "wasm"
   checkFile self.zkeyPath, "zkey"
diff --git a/benchmarks/example_circomcompat_cli/expected/inputs.json b/benchmarks/example_circomcompat_cli/expected/inputs.json
new file mode 100644
index 00000000..f69db28b
--- /dev/null
+++ b/benchmarks/example_circomcompat_cli/expected/inputs.json
@@ -0,0 +1 @@
+{"a": "2","b": "3","c": "5"}
diff --git a/benchmarks/example_circomcompat_cli/expected/multiply_0000.zkey b/benchmarks/example_circomcompat_cli/expected/multiply_0000.zkey
new file mode 100644
index 0000000000000000000000000000000000000000..474bfcab898bd3127a7a0d340c9ed0470edd4f4c
GIT binary patch
literal 3308
zcmeHKc{G&!8@G(9u?)l5in#_CGm*%UHG2%B30a2ewv3&UZ7|lx(9KSW3@Te!5lxmt
z_9<Z`DH7qvt;tg8+FkGc)j7ZO`=`$D+;jTpe$IK`_x<DZJm2U0JfG(|=MDF93*+SA
z;Naac;0@X_0Khlbj$H;GJCND2BbyN~#gb(7lDp4)rhCWc5S?OUYt8WWs3NtA02|T)
zfV1PbkhwfzlJ4ISX7R^CrT^uC|HJwF9C0WN-B8@i+3r(u#Bl!x>)o8yo(b5P9_xgw
z;1w=57?B7a8dtVb)4YQsh#UW|7s?g&<Tp$-EW=ILX5^ST_=@4GSw9Ft_b$@O$vfI}
zgBIGEJzkf$UvrSiqJC7CKwl@68Psj`7TyyDn|pt<KmQ2)vs#4D1g+gAe(sJ4=#8QW
z2lj^NAU__&$ZbW1d6GTKwqilcQHVe=A!HHlWZ?doBsFkwZy_7%h2nVh&|7?XTHY|=
zAx(f&HLV+^nGR={QO~CK3Z2xNPuK{MU(;A&3U?KcOxRt!c_~;_!(!!TxPZJwdGN(&
z8-}$FtKBYgNzTqHOI<w`+%s)x1(`;!r}wBS0h|;|j3j$>d{1o75rz77U3_+x(IH1k
z!&BDfk%5e=j+b0cgx4k~<5i1nH}LNuK9u)5)P*hh=XX9A>1*^;p;rr*a|WWfwj%e+
zo!(Qh4K^;QWJhf(%{fRg9b6!!2YQj}va61xAwrmg&6w5W7f73#(?!Jsbb-{)WE0{u
zeLm*05<8Sv**q-t+>NvDs^h!zTFJanoxO;}y$SbADPk$?V?!U|PD!5@#>`*$oM;x*
zpw7dkesunTR`~&;?f}r$R{)YFWQ-Zv2%?lK#faJ2w=sh+UUaI2wSkr6T&7O7M&kB=
zapU0L;g<O!E6t|s_f9#xPF3q{+0kMi*y&R(lS)i&qO1GG{+<AU&-0ye0WOf+_r(1&
zUf;z9as^_4D=xr`*)ah0kho`XS7n<4N}Q3LrS!F-vXHn$K5m8fy9Jj!)LK;!FSrm8
zF9l5F=NahhxK{1Hbc>_1k*||4tc}=p<nf4|8Y+Ou<f@GI>*H=^=6LxL+UmSqi#;i<
z1Ga+1N`k~NI``H4RS$5$Pi8B=NmPphm37vUUsFlZYA@E^+DQlqki?f_i&}fiN_|M^
z84)T9Y)}?4*e9WVhULYZ*scfDKE71OTUuJ8rC=2lRO>kGFEu+)nPG(c;ewn@+z;S~
zepNkzNUQ24lUw+BFTZiTMxSx(*Af&ElF)^S9e%Nmz%?HE*?vk_x-iI%I5=9E+~Y%a
ztjwyiVEP&QF|vzRKO+aFV{dBQHFlyf$IK*Puh=2&`2$c<>#H>b<DhpuyM^;5Y)$L#
z?~3Aj%wl0xl$k;$l16kUp^!g&4OZQ{M4U#k^xqDN>U)$B(={)p4)NI4iB&rK>Yh0%
z0+&n-nCnuib>iIai_0&mso<Eri)aBI?K0b!P7897PirP0{b((;`@d?Dks{58T({o_
zlO2Zgg!!AhMaosAtt&5pbu$Ft+8$F<myGx`mOoR@ms}GxmyWE*K8``<fc5P2Cmul;
zDq`S!Wc(+u**AVjo+RI7k8Iwd*ZVG7hR+WxHqU!yHse*FnO+@Cy#2O_61;f!dgE}P
zyNG;~W8L}P#k74Xm;8*8ANQmZTDE=p(bN$~MZzjf7n>Qa-@t<})LH7nVU;B4?1j*t
zgcMraMAH4WFm<CDJ8edRVNvIj-P8mXWyU4te$u-}cq8ukwgaDQKa$zxmVsNpbPJbI
z8lkI@86!~VR(ksOpwZ=kxw;O|gxNP^^)VWU3R%He+1qkG&TgW>EX91$1rbwitIk6S
za*=~}>|<yOI;C}bX_sm8H2T4uA>(*X#nxx#PslgDVEGttK6hnT%4osDsZB%}=tG4#
zNtVW^4VCofUNk#>s|8NYszleuCml11hqKzD=gb9rS$~2~8z$NMC#bz@ADhk33g666
zcTrh4eKfXP{|08}GvlOuwW{dslBM-&JTGqwK3!>xG~|I)u%BDmxMwBfCqxuap!bFQ
zcy$+dMtmZf`$8CR+}E-$KxqweO|8?6)O-Zc)*p$5lCuvi6i0Mpj;mL`<#f=ATuSd<
z*$m|>Ny^h2-Gqt+W*Bwmb{^NVjX8sk3@GskyoBw(-1pm=b$j0aWVvD$V0V7)#gDwl
zKXLZAdfD<zC9y)*A%}^J=C;}*Pepu;XCKshvQ<2JZmp@A3Hw$p2fcMgBD=alx>%?I
zeC3tu`(DjDB)P<Xzm+2FExP6FI{&|~vJ3D87WlvT;T2err2kQ@cBN;jxu!;%)?0N;
zil36$-63F7(u2k-f#v-@^-X;IEl|$~R;`@V(qyZD7dFSYN7yQbyNGs?@;HUqD9{~m
z$ob@T(!0i(w%Z(}zO$I|8>*#jN&cKU6%Lz$Lm2Hrlcvo$1A`zqTX6Y2q81tbWF{gD
zJFeI~j6zkcywR?BTx?J^J(|+PlDe-`mf2e0ghXCl(5rrWkB1mMOT)P&7#ruz=rKcR
z;z&r|34t)bN1GLEV&z-8TnNIs;Q6+khrJIQp6)hscs^-P5Pl!jHH05LtZWr%$aO4l
z{rYnoPiYOW<=Lo%G;YQszp6%nw+pr(Q`fKNEc&Ax0Q{4fen|py1*I-`)Q&i>hqFA?
zD&TY?n{Q<j)c=c0TU3o~^r5F&DTSz&1Ca?og*BVk9=<<%hD=+`%|&*XH(oTu4|KZ%
GVg3Sas~MpH

literal 0
HcmV?d00001

diff --git a/benchmarks/example_circomcompat_cli/expected/multiply_0001.zkey b/benchmarks/example_circomcompat_cli/expected/multiply_0001.zkey
new file mode 100644
index 0000000000000000000000000000000000000000..522cbb46bcd9fe2a0e3b5214d93d346e49e7cfeb
GIT binary patch
literal 3722
zcmeHKXHZk=8V(R5Na!Vi80nDEL=4h}AV^t|UJ?R=L3&3iA@qQ|6zLJ9sZ^1sRHZi&
zr7BH&5mcl|aYG4Sve%utbN}qly?4ex_nCRlIX~X_{oeM>IVaf7F^CEP0GvJ{<qkX{
z1(av%6Q)rvC*VKfRdUD#S3JK;LZ6RwvTFnpV-*omr)AUt%a>j7HN>8$*qr!nrS2_g
zCVMvq>3ozE|92bEKW+Xv2g1Y(Z!GAi>U1l+sxEyr_-R9*cY$?QWzg1!`5yHe2pY#U
zHYcesD_;deL6FNTfz+X|A0xt8Qyi5I-y3U#?y2u<4FRD!uK7yDtZQ!`5dyn2=IXPg
z<=<fjqrOUV!ylrG)#{J>^J+Ok+OFGXKD{6j*$}q{LMJ+Aqlz6kFXjZ$d*u8MYy_;y
zY=;Fo2RIcUM*#Oip?)CL?H#z4+Ray3z7e@Id238AFhFmsD`av-Slzdkz(^&N)CZGK
z=2$C^^1R#6a{ba~?2)hV!9~(bww{9b3#JcBf4jwbQHN9-%qYxVa_i39BlWt*{XVo%
zytTE|ZqJ)Cn$-@tD1Q_6aBWngFBMJ~!Lv3!#~VSsD%x<UY?M){p<v0QZvRUO-mj*z
zYl7MeHKTbwMke3n$mkQj8}74G)YdV_w@+?&at?Cr1MlbV5l6y~kMU=O9C&lTgOIru
zYoTQE4GZp<7HE3x3l;nY!F|i=+bjsV7R0`JB$k}Il3&2+*-!nNl*)uCVIH#^#(33R
z=2w{$t+>+g2Jv{MQXU!_TO`{8?J%=7Rv7FiYc?0@Wr>IDWKXgJ&0;x|7unCU$2q#+
z-)2rj7Shi{8P;=AnS(k^lXr(IaW(vQY=GMilUk-Fv$$t2qvR5U9a?WWQBT(IgZ1MI
z%d-=$O^it~OpZykFJgHv*Ri_$a|%6+Fq$}?)nz4SrBnc!SvVkKk|gt8JJHPDjs!sr
z-`)AAQ!46ff$5=_uYqip8mVYbb}9UX6y)5Fe#>DaX*hz5))3M?`(Uj2c61yAjcDhy
z+_Wy)cA3jtXcTmU@k-2Q4g8@&yW&8y&NV^&OhV+rd(*BgS}yysTzdXYso5b_gD0s(
z7Y|fNy^BqOGj8y_2{Wbw#XSknocg@)1oAznMRJdi(#e%N9K8DLU2K@__@QGb7D~|#
zm?D}JP<H%JP~?M3nbk04hKW~jVKOqx5%0#wyQP9UK$6kuCHr=~f%FeI0HvN{4}l7;
zm4-7*);3GkO2?*z@E4}4QM&PkR}90dhq(SwBgLNfZ^otAQgZt{aeqktZ`o3ErNsWL
zxRgA@e-wy8RGVC&#rdO!n7Slt<e9CKx?L2D<!PHdSgq;jjHtxg-<G@%D0N}YMz}KE
zl(fN3=Wf}Pp+UeeWe}_&fkBap$CYMB%i&2IM^t(Rye=l*STlxWu#?G4o4J4Rcc6oM
zyoq<L>{RFMdUkp+IXf9Gb$F$BmQM8%V)a|ib>V6m&h=g0UmT21pH4JN7C*+0ISGiG
zZIF&?_4z$mFp$`sfnYb6zJl(MZLGFCea-yMgY-xyLSuAu`%2B-Z0JcTKNVYro-cI7
z-YbWjU#R#%Wub)MP3|X=1E~w+vo1}Onb`eOG`cgp%`cgR-+<$N3!VIa)9Xtcczol~
z?DSBAP=OR>FaMmyPc7tsaQI)%vdyjnQzmFZd}$CyqkkN*6!JA@P43d`<AO!6gXWf(
ztbf(Zcdp9p_?|wXvL2Hf2Wd*?bH9AOKtQ3Hw7wYY2YB0`Qu&W7IYsfLi0J?L=^fbO
z$@y3yd+*I|%hRW43H_B%_`tZhzAi@1!Z&a|ageaLv#O?>w+?J{WMAJpDM_$;nN8cM
zGsHwZ7|q#(&7xvig8{2t>3tFov7eg4JIVpr0Z+u-BblN#9x!o33Sc;*fKYs=*-VaB
zQ}gFoW8U+D)(M2YUJXgtn-go9gu%*4^NMA!3e+lBrW4-`@;z57PHk^!77)0<rBXdy
zON+U+PB1{nB9X*Zm6x{(5CQruTgD)dUUJz1SIKcEH5BD_YqNvc+TYqZOs8Qnx~Pp}
z`|RH{X7ui|q`sdzwQ<(r!%;)$vlm_V)<fk8G&MV5nTx)zXuTms{gA9R=g%Gh9VLMu
z?+Em{%ywruQx{)H<~hB{rL+`F+AYDm7M$5^5bAN8UYR(Aao&y_(dWD>!!?nsMYeIx
zH^0m_t`-VlJMB)z3`)!o>}`CpSh2H-{)Le)Renr+dWri+a&X#<?V`Br9$Ne{)or!1
z^F4t>LgZd4ZPC$~hpWy*ZmZw=kn;jni&JoOn_d9a;&GL)x|mJH)V3E`fi}ew*&KPw
z<c<#7PhLWW!-<Q<i@hSW^BVU;#vG{pe!i=dL@4-icB9AuS)E}s&w>WMTIn(dS14IP
zH6wW12)umwGqwlw%Vz-2V21h@yLuN!9q5$0!seO|YDLFKB;*Fkxbeu`hM^^NP?Y{(
zdhs4nYY)9@{Yp$M!6?B%=rXert*7)Jyv!zRItZ4MO7}p2Pco#c&Eu_5iB5a)t8-e)
zXLQv9*1ixw(l*G1euP@o2Iv`zVqLl6%fZH?iF^b@tnter%q&~WQxmh&Q;_eZ@D(C@
zU$}B2uM-j@0~(Xq+)D*E%0@_oZ9g<WXRRzrX4?@bdg3CxtZAc!x*Hx)*%r8|t>*B!
zlCiVJA_|ZI(A!ONw^tkst0G}R3~Ln>GsFMYSi}9RaP=Aj5&+G@C9VE`g!I;QA06qg
zx$d;Jj>&PrjaznwA$d&Bo-J}@f#6E3ma4beIlSV*{WEU}l_HHE$2p18{1A06%0J2C
zkG-J32fHA2%@nh#VxX(g&S+(u!9ZFB4%ta{ggzAvQy5N9%!856<73YSwP@E}em;F8
zfUuL9DbQEabVti*q|b&D=D+>k1skiHi_s(sjy44@*1@U)Gdc6sdmpUIeL6N<^X@<8
z+V=8aMxFKrw|*%Ai;tC(`v4912bPB~eVRm_vnX2P&j+Yf`E7BVQz7H2SWGrBettZk
zr5y>%ZPKLIbVgsO<0keya*lW{J+x=iD&9*q0hw{$kBrNEw1eiPBUh~$46hiQx+m`7
z%Cp=>xnxRLrL+&9D_GOm|EhZ2sjx0Wj}PnoBylf$cSTMNHS4IKXlc2P*O0t{tXT{$
zKipOZedq;0L{HaCG@W`3;pQ_rHKK}?c%D3NL#J!esz`SeK2NMF(rF&ZaA_>Mqw13G
zc)*P6dgANdmJn}_P<(Vp)Z^Qx9NclJqrhTg_t`8j@KBb6H^E`XS0Y1sFnah`n!O!Y
z;d+lO5By5wM%gV>q|3t>QV`a1jER{>TC0!sN6Kn*osfz{*3X|`)63J}*TvzMzn3q+
Jp}mLWKLCpG%x(Yx

literal 0
HcmV?d00001

diff --git a/benchmarks/example_circomcompat_cli/expected/proof.json b/benchmarks/example_circomcompat_cli/expected/proof.json
new file mode 100644
index 00000000..bba4ce9a
--- /dev/null
+++ b/benchmarks/example_circomcompat_cli/expected/proof.json
@@ -0,0 +1,28 @@
+{
+ "pi_a": [
+  "9394338185732305719806011065134446911108323018457588286456961882986219363865",
+  "15746759809874621985987780715821363746217179062284140706010953533743322353143",
+  "1"
+ ],
+ "pi_b": [
+  [
+   "11767400320831182291836719976706808438069844656325769591942922679870302275961",
+   "6655555805282541293507766019114818732448651987649641056472193412793000608658"
+  ],
+  [
+   "165573447069789874882691451778743648261064383235713444940861981449848990224",
+   "19988792931394998924065924688231640113706338141254618060579448296980590803938"
+  ],
+  [
+   "1",
+   "0"
+  ]
+ ],
+ "pi_c": [
+  "17909441321969125567799631222722899785743377975760647946061723535215534382510",
+  "11283272754750438996756092628724960121502710178397142080911723324462149051123",
+  "1"
+ ],
+ "protocol": "groth16",
+ "curve": "bn128"
+}
\ No newline at end of file
diff --git a/benchmarks/example_circomcompat_cli/expected/public.json b/benchmarks/example_circomcompat_cli/expected/public.json
new file mode 100644
index 00000000..2f4b78be
--- /dev/null
+++ b/benchmarks/example_circomcompat_cli/expected/public.json
@@ -0,0 +1,3 @@
+[
+ "30"
+]
\ No newline at end of file
diff --git a/benchmarks/example_circomcompat_cli/expected/verification_key.json b/benchmarks/example_circomcompat_cli/expected/verification_key.json
new file mode 100644
index 00000000..834fdc28
--- /dev/null
+++ b/benchmarks/example_circomcompat_cli/expected/verification_key.json
@@ -0,0 +1,94 @@
+{
+ "protocol": "groth16",
+ "curve": "bn128",
+ "nPublic": 1,
+ "vk_alpha_1": [
+  "20491192805390485299153009773594534940189261866228447918068658471970481763042",
+  "9383485363053290200918347156157836566562967994039712273449902621266178545958",
+  "1"
+ ],
+ "vk_beta_2": [
+  [
+   "6375614351688725206403948262868962793625744043794305715222011528459656738731",
+   "4252822878758300859123897981450591353533073413197771768651442665752259397132"
+  ],
+  [
+   "10505242626370262277552901082094356697409835680220590971873171140371331206856",
+   "21847035105528745403288232691147584728191162732299865338377159692350059136679"
+  ],
+  [
+   "1",
+   "0"
+  ]
+ ],
+ "vk_gamma_2": [
+  [
+   "10857046999023057135944570762232829481370756359578518086990519993285655852781",
+   "11559732032986387107991004021392285783925812861821192530917403151452391805634"
+  ],
+  [
+   "8495653923123431417604973247489272438418190587263600148770280649306958101930",
+   "4082367875863433681332203403145435568316851327593401208105741076214120093531"
+  ],
+  [
+   "1",
+   "0"
+  ]
+ ],
+ "vk_delta_2": [
+  [
+   "1747014100310549185786267801742033865627943574729348577592584345594030059513",
+   "16711809229852947806112024364434572651070644366787595318945698594033698101166"
+  ],
+  [
+   "7959627701669666787676714778866583924558661647097841159638803895395285779619",
+   "5745710440443182690267071684942290668945011932415467031714706685148557703570"
+  ],
+  [
+   "1",
+   "0"
+  ]
+ ],
+ "vk_alphabeta_12": [
+  [
+   [
+    "2029413683389138792403550203267699914886160938906632433982220835551125967885",
+    "21072700047562757817161031222997517981543347628379360635925549008442030252106"
+   ],
+   [
+    "5940354580057074848093997050200682056184807770593307860589430076672439820312",
+    "12156638873931618554171829126792193045421052652279363021382169897324752428276"
+   ],
+   [
+    "7898200236362823042373859371574133993780991612861777490112507062703164551277",
+    "7074218545237549455313236346927434013100842096812539264420499035217050630853"
+   ]
+  ],
+  [
+   [
+    "7077479683546002997211712695946002074877511277312570035766170199895071832130",
+    "10093483419865920389913245021038182291233451549023025229112148274109565435465"
+   ],
+   [
+    "4595479056700221319381530156280926371456704509942304414423590385166031118820",
+    "19831328484489333784475432780421641293929726139240675179672856274388269393268"
+   ],
+   [
+    "11934129596455521040620786944827826205713621633706285934057045369193958244500",
+    "8037395052364110730298837004334506829870972346962140206007064471173334027475"
+   ]
+  ]
+ ],
+ "IC": [
+  [
+   "7208961304015467505974244928798294369663146566375946727480874978378963231594",
+   "21614551618839849099527790288527978962977478454444004954197553865077104731641",
+   "1"
+  ],
+  [
+   "20307339771029451491474674032727372515507048888836318967504414849042064633937",
+   "9401931764668861050170218745300289496263152524845401471688659460238598401815",
+   "1"
+  ]
+ ]
+}
\ No newline at end of file
diff --git a/benchmarks/example_circomcompat_cli/expected/witness.json b/benchmarks/example_circomcompat_cli/expected/witness.json
new file mode 100644
index 00000000..52d0a1f1
--- /dev/null
+++ b/benchmarks/example_circomcompat_cli/expected/witness.json
@@ -0,0 +1,8 @@
+[
+ "1",
+ "30",
+ "2",
+ "3",
+ "5",
+ "6"
+]
\ No newline at end of file
diff --git a/benchmarks/example_circomcompat_cli/expected/witness.wtns b/benchmarks/example_circomcompat_cli/expected/witness.wtns
new file mode 100644
index 0000000000000000000000000000000000000000..1be4485e24f749d0699da3a611cd78a15c0d9618
GIT binary patch
literal 268
zcmXRf$tz}JU|;}YMj+MzVh~UOVj%y+<gX8%Cl>6i^mt*c5gXCixXm?ShvovqheduV
n25dkzAbkgb7z9B2@c}t}l0Z3-S@-}mK1rY)D*<_sd+`APWZV%|

literal 0
HcmV?d00001

diff --git a/benchmarks/example_circomcompat_cli/inputs.json b/benchmarks/example_circomcompat_cli/inputs.json
new file mode 100644
index 00000000..f69db28b
--- /dev/null
+++ b/benchmarks/example_circomcompat_cli/inputs.json
@@ -0,0 +1 @@
+{"a": "2","b": "3","c": "5"}
diff --git a/benchmarks/example_circomcompat_cli/multiply.circom b/benchmarks/example_circomcompat_cli/multiply.circom
new file mode 100644
index 00000000..7da042aa
--- /dev/null
+++ b/benchmarks/example_circomcompat_cli/multiply.circom
@@ -0,0 +1,14 @@
+pragma circom 2.1.6;
+
+template Multiply() {
+  signal input a;
+  signal input b;
+  signal input c;
+  signal s1;
+  signal output out;
+  
+  s1 <== a * b;
+  out <== s1 * c;
+}
+
+component main = Multiply();
diff --git a/benchmarks/example_circomcompat_cli/multiply.r1cs b/benchmarks/example_circomcompat_cli/multiply.r1cs
new file mode 100644
index 0000000000000000000000000000000000000000..1454ce3051e652bb83ede72470d9799a7c28424a
GIT binary patch
literal 400
zcmXRiOfF_*U|?VdVkRK|0K^~w5(Dvp;KSsv51l6#?5y;7VXP4w(b%}nHDHJ40>g(z
zeklepy&xJN0LimL6c99zSamEw^N6t*s)nGw4iNV-C_v1`tDX&_2CM@Vb|5|ofWi#K
ZHvn;v0L-1xFa@gtNrU_V0#H9Q002a$N|68n

literal 0
HcmV?d00001

diff --git a/benchmarks/example_circomcompat_cli/multiply.wasm b/benchmarks/example_circomcompat_cli/multiply.wasm
new file mode 100644
index 0000000000000000000000000000000000000000..fe482053fea07f3cc7574a78e9309abda52a53c6
GIT binary patch
literal 34328
zcmeHwdypK*dEfNR>~r=pxA)-Q6SGS|1W1BB91Z|Q^MN@KASnVM2#BOeJ%GEt1+a&G
z-0d!aI~56>0*RCoy2>uou`5=EP$U)ehZvPpE|n5jl8chKoJw3#QmGUxQDUf+_z}x7
z<H#xbQAU1W&tvD+dk2UGmlYg|neP6&zy7}8_jOOdc1D`-G?*kw?Cjtf`RY~a4CDXU
zRf^%NTy<{}B3D3_uU?VPs7R;ql`HHD&wAyIB%P5^!ezj&SX`)t!%C9dYNCCy*{wCI
zdUdr@UGCOe&1dGDi}h+-$~vTh<#w&vJ=|`$+Q+J$&iuKmq&c+0<#w%Gox6DUY&C+|
zIp4Z`>im4Wx_I*CW7S5hy(VeOg(Zo}Oi>h7jY(2Gk&MM~$N!QfODvX5;uez=j4@e~
z<ycHnkiq(sVzE>z9g8t1ftQR)0~!3~^jtQdD-37|XS3Oip3UXd7+VITn8G0P-;(us
zgG(Vx>2uZYOVxG<`bsb55jj?Cw%Sh0%an3rzFRr(q<mroDSlN>b?4h%>6JpeI=|?r
zNUsiZSOTe^RBO#zSNe3WQ|&(6T)x;nRXf+5uS;hN;O$8`Rr_pJn%9tca{ls(HjE=J
z=!hMuRqKn#FE)-=n|o)ZN)Aac*SbxZgqNshdThX8kyNzl(pk!E8}ASdBGpm}CYh4P
z8tFgy4qLikGMFLlQltZl9ZDWhl2)32K+&yG@qkj)rX)j}<N5e4X~lHwR@C-_yh|yb
zP!G~wx9>^&E}h87OewGRE)?S|8C4z0@@b2u!NB(gn=eIlI|4a(DM>p5@u9{GQPsTe
z;q!6zAZm_rSvljEkie`2Xba|^99DuShgG8|hn3*TVTtilUgLkH<ejhmRZs2z5v|~g
zA?=eP7%s1s6hk(YClE!NN@?nAhB9Y-(WR(FfnK--C@}dxIYX38fRZ5!(847^fq(3i
zhlny1pbQbENR(oLQY6X*Q6>VE2`=ip+FP<utJf{9=5FFIf6b@d>r~=RTRAs_N5|+4
z9#x|=cr=dA;88p}gGc}93?3MwGjKHCd{_I!JS$v*o|gIqo>Yzzd{Q}ng;ZB<3#*Rp
zRT!MoogzH9T23N2@*>^x2bT_(YB^yLH!oc_)F<FX<UW+{<CZL^19iLfgh3T~#d1lg
zC|OSNioA60vPmviNbF2G6A;T4J7JIvUWr{&ipvm5f()6m7OiY1T3NlE6KRw%NIb7H
zuCggEUL;BD3z1&VMnj}WLo`&@MK~l3k~|WJ6qh`bq=|ve_62sRoR0=}C>q#exgbI>
zVUSXh=%u()kt9uQj;z=m`M%~TmItEEQH(anM0rSrdBPxlBQZ~LeIrSl*oaxN5%Xdr
z4)itRM0qgUh*tOP?FteGsTygC6jwEpq=`+N6`M9MHtm4ew1Xkj^3KKxnJ&du5#TSh
zT2^eeyx3|3Vyg{?tj2rc?V<LgiJ{Mmq0ft<9}q)77=oUIxHAM|Rt#cZ?D_*@5C=mb
zayT9g!I2lkF(8IxFa!rzY&xXafLO7?kYZfK*^r2XArX0Hk2sa_VvlM6cYtNC%t<8~
z|1g@fpSpAGjS{lsh9rA9=RA=4h#=0}EV8(CX2>*FQqW-efFKrPYQ$+Yfk!_YvA5(_
zDs>*Uo{~n4`T|}p+R<j!Ci!^eR;x`IB4MGVHA0G(D7m>rnQ}@1gkg<oZdKU+5@E2h
z8AduEWkppBiA2KobCo3T4kH=%7gpa~*rBo}hL1*Sk<}(|OOO7-VzjXtvPC|ujFc#0
z2=z$v-Z`pNKhRS`6*uwO;^ulxl(Qmat)Xd@utrj>qBUxbD%DTL{`SDYp^rThhERnh
zfAB;JW2A&C^pi6!G~gztF#4*H6suqjvm;eV-<Asfp~gU=57a5KoM|D{{qWR;Dr|!1
z&c1S{#d2CB{3ty8$=M$?3@7@4rU`}VS7Szq=O)NZ_Z22{Tf+2LA43(f`u%jw3WeE3
z$45LhV!(i9hR3ut)~xU!)3e&Q>{TrZ(JM3v!jcxk(mn}GTC^0>ThBrYlCho@NTwAY
z35!{QWLnpeu#y!>rqvt?%UFSATEmgBh80Mrl^Y2QSb^jT?YK<K@dl0Clzk+;{mdib
zY1CGd<%7yWLq3sZhGMEqPChx5FC$@r@$buudQ~QlGL}c>QY>a}uu@Dj6hvXNn0bSh
zRLzhKRR=KUb%t9^kD2Q-F560R{7X=cpcsjz-H;+-Do5I=Jz=s7r3BSt(M;t61fGMy
z7$M9tEV|BN&31iEqvBj>)rfNraWla=#EC<kIAHxLzGNmY?2@Ds9(6`?9k;lVxL~Rm
zN@-p=HMfqx<!dL5v?(25fdHww<QI`GZL+0OnsZ6fTCz$?qz`B1IaW%UQYp>lOPSYY
z9g82h8R-kqHZx|#jP#O`(g!$FUy+%1)!dLv3NFxHDrx2o00vNQ$hvB-11((i1SlEv
zx&kdF+(6k-0MiYnlrT3`TiB!?hk!9WB%y>}z!haxJ!@zXFoX5vb&PKHv>h<gkOpkC
zF_;t-9%ZF0*1{<t;@X(W<8E0i%`HN#JY^}}DGJV16c{T2ONGCr(Na?-bk-$wOQnnv
zLwXX5CZJNvvM866(L?}}K`Pu;O?!|xE`&)7*}Q?pLQbY2m%vR!b@w=#p{|oz8v{Wy
z*D+^6BOTU$d4MTb_>enSlKEVP<{^e`rRA?dP@ceBD=HzPim{4<^1T)69#!>H?G@Y}
z6{~~2vi9<AkDBpPGgL3etJF*Idf_>}vi8Dlk2>U~+N-ubD%N;<W$h)~9(BS?oiJ}C
zc&(UqId}kNKOS%iS1unOA&q@_gf#Zy5z^R)M@VBI9wCi=c!V_e;W0r-V`SuN<io@0
z;h{QsB!hThTIQDa;Sti<het?bA08o%eRza4_TdrI*oQ|*V;>#{;j!JLkq?jUJv@>Q
z9+@B>)(W)cw>~^V8vF1FY3#!zq_Gc=kj6edLK^$<2x;uYV>{u2k)CT|A09h<cw`(r
z^dKJIcI?9=q_Gc=kj6edLK^$<2x;uYBc!npkC4VbJa!Tu*4mY2VILk3_VCahJcfdJ
zSPSV9{t?pHhet?bA08o%eRza4_TdrI*oQ|*V;>$55*`@uM*GKf504=Sk75uHOp)Ev
zKK}@5?876Zu@8@s#y&hk8vF1FY3#!zq_Gc=X~M%=IE?U**&ZH62aky$9@ZLtgnxuI
z_TdrI*oQ|*V;>$NjeU58H1^>U(%6T`Ea8E<f@@)4dwHaX#{>l>(^$gDWJvq7DR!?j
zGQs#KuuRG~PH7P_a&IE$KCbD>WGyI~km81leaqm!W^kW1PP?)yUk0P0U-Uj}ny+9+
z(W##Qu43~~xKZ1a4i<3q3UA~QU>JTm@?!)Gxsv6)NNH;!A`%aXlq~1C$dPnw11gF{
z+Wel1y|W-{u2?;7sF%05x2=6JFT+TbGvz^O6NRFYHb~J(QjRZIM3NwFrd$x(#^|%t
zBi_y-41TDVhqq!;w2K}F!5zd%i|XZj#1<uZyePT==Quo(qymR0k_1Kc@<=~F5bgw8
z+dGk5heI1nj+lhp2WokAE8auT0M~np0lg!=XQ(_ba*?z_phmh#&Jg-sLF{uQeSL1I
zJl4<WNSjDm`fNxIi?`E8Io?qW3GW}N<;kshDth4_-V*@{BR#cP-iB<EE|50J6p^GH
zH$^0=z)cZJ8WH>VSYQ7xmZ$ppHz^uf;eZkJIoBPBLtB0>X*9I;=#nP;wu&FC<<eGK
z1<lLcR$&B$k8Bka<$IAW$~(}fk^v)0Ic~s6QbF97M#ODtOx%{H`nIKsa=BkyA`BwM
z958}T?E3dGw{2vpQSp}Wq__o^`nJHoP|G{E(gL@8Tj2J9UcnZaHpr}zuAAd#jU*Ms
z?Q%riF2}^}a!TAT%i?yKHAuZk2?vazSGx{B%q<#OYE;}>C&jI`ByO!cLamjSt7)-|
zMq!Y_X@xm%he%&4h@01lxOt6<o7a@Md6mV@Yk-3tDd8{&JCZaiZa$OZ=2H?kpB<s*
z!;eOw^1!&ZAolDLv1gBoJ$p***=4b34~u<tRP3XZVjnGueRN02N4d9Qx)$)Z5wW+8
ziM?$~>}_SSw~dPZW>V}oC9&V^2>A{70BdoKI&r5>jfp*AO6&n;u?I|wZCMiAa!1IP
z+$xv|2dpwBwn|xSm690W9U*)<Qr0q&7pbxssU0Dmx%8NdTheomSXg+sw;4bi3z0hq
z*Gg>CnR~~vN@48`Y~?@^2A~oSAq$W9#62@}haZhv-I+OrcF#Wb+0ZnwQb4nG(TS9P
z8=g*I?m5e19eVN#geiQ6Kg7KPIT>(D%l2Jt;JAt5!wj1$kQ5&L=%>K#oPTho%<#u_
zlvZR1%=N8vv{4y6YUjLa)9GYy{!P`+@Uza|BCdGiLj(N~+0>*)hMz%<tTNvh5zPDx
zTXBQ|FCqiCiiplvLL$XW^9N}ZsUIS@v#akKA!7s;a7osI*eGcXYvCb^WUm8QD=1MJ
zJf4Nca_6~Vo#yrC-_)~)$|C{jU2bXq?DukWN!GGZ6saG?TX8yCPl@7d<i!vd#I8Er
z*Htm~FK)$E@9{!R3ng9&H-)%Z9t{+6aZDRR^s_?r`$4P=ecv6Cd!+aG;%M?g-CRMf
zgT`L9T~a}8m|?MDihT`(+5Y%e3^V36%vb>BO${?qrWtUgQfWhIv#i)=`fb^4E6pOP
zn~Q#4Y_kF%G)Jm8EVfxuY_svcHp47_YAZII^xAAPV1Rx$OY`Aoq&``(xpbkq`n97$
zp(VG}j)H1=%q6s>wQLlrp0%JBNh*phIWD%OwW8!@$TmMVpB3Y;i}4@4E&Mlc6L~`j
za={RSJS=W5MR9W(7lS+%0+}O;$r`31d?pd`0|Z@+<e(7Ae(pLV1bGYYS`Z^SEJm^@
zMsi$?<WvYr4i|PE`@l6QhHK=u;M&}~hQ*i^#h8qXF_{Ws!WGBdzK`M~LdE+z!>ACG
zEjU9_toXQCacc!B)SqC3vyXPx3Yxc&(@pl%Zgbm>i&dBkslcs(bpx@S{e+ni8fXhp
zPle><!eC#|6~;OxJYmFW5dx<=ao&|5U!)*EzUZdml%ji-xQG*r22Oh7AgEr{hADhQ
zqw}B{91^{uA@v@uz;k5u3G;epr!1Ll#XkP1<A|?S(I9GP`nZ-talBgq$0`36V=9j2
zf{TH}mpJgtkGZ0n=dw6DY8ppyI&>qWZ^MaQoHwN_>c=5Z#BLx+YbQARr2}ppTEHSP
ziY%34{2VMZjb&2%uzE0$Q>-MZREl%{IEi`${NskQTaq4?z(S$(vx<SkxJ&k7Tv6rV
z6sldDz)?=fvYyoqT<AUyh}N?>-&)kZE;AX2na%5294l7zZH8P@xfm)P{e=Mxl}-dh
ze;jw#N1?+ydmh%I`-M^r<v4-#w&@#^Mc<I3>4rr%qN%z?)uX9Ni<*q4sumRolB493
zEvg(%wUr9!q#n*Pe)jl3Go}D0Jx-3P$6&LGl5Aebfnvf9XeLaYgv{z?gf}R>p3}>O
zBNE|GdNK<y%bM47`l!h)M?%D*AVd_~&{QG#nj1N=Mt^aETf#C5<Uu--MsZ-7EX3VO
zfiRSu1$$J3!jPp1At-e{rx!U-1SaV~a}Fwuz<_kep<x`=<%;1I8VH-$<D?42$At^1
z%_0MTGY5am2Zi_xMtB;3!3Yo03r4Jb#sS699w)${sv*IPux4lOti$=a7HA3N;YhY$
zTB4fCCCWuNh2y;qRqmD&aIzI3E`gxO50iM*c%`Sc6R2`ddXZ>`@Z}>IiWuzm66==-
zG)W)Pw3l(G3O6KFNUsv{)=uZzU)wK}p_5CNG~>v^BeSxk<8V}ufH37(ksrO(9xvZ8
z*Hu5)36yx&E@7+g3T5*Rl?Vz#l~X27+u`S=-_OM~*YkSHh4LBgb9h(J6@&Hk<w1^v
zT_vebwYZ$oWjZ*FaF7AQ>zG-}bKBm8#g!9SyJxSRXmj)M->1T80VZ4)^o~2Baw#n6
zPB}?dfVt7uB#rz*e-O@_#C^93xb=rFPzL=WPXC4yP(qH>ho=Trv$T<2m4>kDt?%;a
z9?GC0N6#*-e`YUoVNPJ>!F!W>y{t@}qP2XFjDZ-rAkM`(vRUqPdt!nc<GiVo9xfy+
zl6k$fU8|6}@en(Kr@w1%>(sx%+zL0h_F-CUcr$AaJBV0z?{6(|>-l-mTEhhHmaXMu
z6>Tlf(Br9FwpNgLgtbU**IM*)o!hq7m+0M2f#$@$3l)%aSd}B(>mPbusTVKaNm3C#
ziI$8PHu1Mfp$%Id6X)h7`O#*gY-BPLBf!`-mZu}N#pd}XtM&BEji-yJQTKw8+)=4W
zo}XN7>h=tV3ym;soG>Pkw0DqxtEPaM96IVg5u$5Pqg1Z~+ZsHF^)@XRRZp(lLG{Cz
zzy;`IJ^496W55l)_Y5gHM*{=ciNEkn(|ja)2O5zmi>5u`EoG62%iahs{=8NVTgw~d
z>ldLv-$34Peuz)IA~heU<ysB8*X0-C%brfDPez9eA13i`!NbMeAhI)Lz<li%x>3m2
zdn)q5PmnvYyPZxHoO=(0XwIH4lzyUm+g<1~9L()O#oZ>g)1D^KiZHXE@|eKkj}Pns
z2=$mwJYY0a*9+Pms?ZsB6tr_&)DRlcbep_E$Bf(C%aT6sDBE!v-RGa0R-kbnh9LUm
zG;)UlAJvZ1ZPzUV=l4_7up}yLgJ3qdA-zh!jio`d!QO~S`=V9^#Z;fA9)j?%FJUT^
z*XAUx5o1^B2g3BvgrH{p(gkuInykU1@6A1Vt)!v`Lwy}TN|mhN?ivY`Px|S%yWoXB
zOu=t?^*Q_s_8=no<tIhry7_sUg5h_)OV+PIwIxq&ye_LM%(QN!D$`rl!C+N<7KqnE
z8hrbe4xK)E4HG>MoU=YdW_8V*!EZ_5#PWiFa=~5Keq6(hhwvOd>~Uslll(!oh34Wu
z#v=L1=G1dA&sN%9e@50Q>b*C9k`6%oMFu}{b%K(fF%QIl>O+9Q&qFp1+dFA6Az#{$
z7qg-gOv5Ca<<oQwGcU}eWj?Q(#(lS$G^fq?CH)aIi9)t-PwNlsPot<F!>^t3)6QT9
z6nt1eVrAGeLp#5ip<SbfCWSQ+db=rKfq=)^aqF#}h(jd)wo;<&h-1pqdow8FMeUmE
z$KEx=htm@Wo<|?^n3A0PRy_Jv9srwG+k29DJns&v%$@4aR|`9HZ^vZ?j^6Y0pdazh
zjr)n^M~M6U2yveuA%3U*=;&XKABC&EbAA+2_m&?9KS9$8SL^Ykc3(gGLZClF+~-G#
z`}_#;JMBlu|7!dwT<x9nqlmiigdc^g_4rXI;79vG<IlCZtK5lrB*`P_lK2yiN3ayf
zA7?yL)DENA7N1}I0l^2_Cju^@O@fPlAD-Oz@#XcvOu0wpE4TqFjePa{_|(`xEgh1~
zFV7g#67|3s8`mkIsgfzvh0!Ic#U%4L^IDFskjc)Y_o4=)@yQ|V9hfx7FEP@7sU*`#
z8k8p`Q}1FNhFuXF+wskjn>Q6Ke_lE$nOAAKB&O5bYMAx}_O;9p9yS#eGk^4OiSexm
zEK*I=-UH(UArf<`#CLeiw`R<ro1wh_a$2vCX)p2po_EcgY=wldUg~3hkT+yg$3_MQ
z^fV-qUVsz|<_Q$Tt8HjO3pv;lFNXzjgON-~<r^@NjAXGe(td-nIEhGlf*-a5O<AWw
z+Iw@x8wPvt^ZIAXv_WVxO2zr?opJ_ySZ17}h@hicD#uLuf_@sQ3Z=%d%VK_c8ry`}
zE!@cK50`M(8cHEX13ug^?TT46S|h=`Z$ea?yn}W!uR>EuXb^~&gg-Z<H_BMPGm?Ze
z{~G`fJ&_?Kwr0)id6*cxOWf+XC=`loI~Zm~>-a&qDR;>~9C@*;m4{pHAfX@7?zbF*
ztnr(9E;;VBjFYtQx_vK_E1{(1l$<91*JlV)NQHMK5ny;%y!kcq%-s?MLjVQ>Z@zKx
zcV+DHnqR|@(9I7R3@an2y+8N%tRa)Hpx>fBEZPgiv`l?ef-lkx4BkgKzF~!+K?ExW
zw;y8b))W1GfAoL(qyNJnebiUf=*3LD7>c`b%uLsvZRm8}+Eca&mXMe-HqGg!UP&~g
z*m8+>t<z0Ub_JS~ii+uxfV=AT8Qwy)Mcxidj9`(e3KOs}-h>Di@>`S#6jT=@JP_mP
z5F0KNAmx?FRwX?uY++UM5Vh5}xYd~3G!5>tj2dtfM5JfPYG~T4Y{>2&$j#9`B+MU6
z`lnDcx)ky%SW$&%p?zSkEG?PLikP$siA4QTo(!KM|8sNMMNB1>i}y-ce%1bX$C!lq
zkCyyP$^OF*C3+htCc0xz%yWJ43xD$cLqEU#kJg^~y}dg>{fW<g?pudXe0$gRJ>PF1
zUz~=!;<aCYe)Hz@6SIH&8@qn%%san$=`Z#_bYyL{_0{IthkrZqcmDb1H2nQKa=qIq
z{e#25^X>5;yz;3Z{OY5BdFl)6zkcfRYtO#*^{0+s{nhV|py6yF*Fou@{o426fBQ4v
z{??yQ{L?Q#bN?UyyLY~__#2OX>9y*=z53iMKhDrehpp7O9><h%vp;Mc^ISjv*MIiG
zSDyLy_a58+qtUk?`o_k=|5D!hy`k^^^72RTn<+vr<N{us<hp@ezjO2EJAazXjz9VH
z_kZ=P=l}8l{8IeCzJKWt-hcXE{Q935FDAb`47?JW@#HJpo)}8~(yzSv`6sUZhc65l
z&wo<=!mr3<gAe`gQ*ni4#xA{PeEIQzzy4yUS@};l4{z`Op9lWl`^rC@+PMGlOTYW4
zm0fTD(HW8pxvqaBzwK{+{@?u8p}BX=-~UcJ^J}~R#&?dfpH2Nzr+kgu7<;E%(Gicm
zp>bX{vZLT8X5YwbNgLgDbVGS<-LRu~Z+8*6i@;q3?jmp(fx8IYMc}Uu0&o40y>aw=
zm2b+Bn2((P+DQJ>Dd^Y#H|+7-m2c9B_^v&EI&FMctGfvN|AN3D{}KAL|5o{?3Wa|v
z`!g((;*5!{9X&;<=O%4q_=kn|X>BJ3@VCCH{#cgB>MQ+W#Z7asUz^n?`G;YRTGQxO
z8_V_iZq+z;vEHpM*Vj%@Bjelqk^P@csm=LDmHj|#N}(^!vhW9H<%sXfDuwXpWL51*
z`!qgId%DtEUW+-A&sN*5c-E%WI<F#{NZZj?vzkoV;p$4t37+ewogC-7Rm};{FD_=B
zaOdJe)(JN*)^kn;ot2CD!fjr+nOf23>x+8EPC1R-dj{MXc<w1Uj23H`1_$hXwdN&!
zk+yoQwKzoNBYPUBk$2b$qy7;m+^n9vCuiqroUAThtaOVG4YiGuY*gM7W{hO(MIqbx
zpq<if9cwka=UR<wdu?LaPCVOgHG0XDBp;Qob&glh&39{;s#8wgw#eI@x`D1iR-o+l
z*8F0r;M9Y!*mh1;=IitAvXi;Gx_qybxwF#lZqK_Fo#L48z!wC#Wj~U%1I_!m!8#vr
zU##vVCEN3t55e@OW{&Qn(q47$C*IxG@m9MrUw^=&9&I(xSqTqv^SK)Bjw3TreTWL-
zTe(L&3wviCrfR#bXPez=B9r0h4nxe)y}EL8FWt{|PtL}8d>=)d)s_7eJ=Z<JsnwN7
zC|d7+l%n<O%A<6Lm41fQtHA>v;|Z<B$LS78pP)O^pQQV8>+(So>TGSbith~9O;4mf
zM}`0fkhpUGV)Mcw!WQw)`Fi~+H{7ltCOgb8E?w+&=W5N9)ec(d5rWdn`?MQuKSOn*
z__Nl%{V}QzxfbZF(9e;?6gq12UTC%J$0#QP$DN$3NPM2>MCgQ*+H7^}FYr`^PEw!_
zMyIH7z199WPXOgb`q1+8XV20%lAk|yap6#_u?(;3zU290GygoZ_k+!!2!5~m6~X74
zUyb-$^CzP|*8HhlyV|L?FIDlC=gNg6?N9S>H-Ban!g;>bd~AOCM5|MyuV$YfuAHw{
zE<AhILq1jQo(X*Hc|PJ>&kNp9Jy$|sdS3K>*SQ+_?DJXAXP(cEP&c@Drq=X-dHVb?
zr5|a}_>*gak3ugM7B1H6i@uL}U&!;cqpfrH*Q4tL$K2libOqnOMz5dqB;j-7@_YJ%
zDogV6DwCJnF@{h(PS@204<{YkTFMQj-4Gr#Y?ZM!nY9&G$@pT~;T}z{OsjHbPfT8&
zj>~J)33+u-QeNAWl2>Qa^4g3hukOvrYkRZu>TFJ4o6XCs`*eA2-+;WjzaX#eACy-Q
z49RN;ayibjErXu|ermijeY#a&jKwQ^=pF}ui}&gbc<)VvA9(M}fDd>d$m5&k5Vx(X
zTw%x!Z6Wx8D|khL<^|1>yrQtSD!1D)xl)PC)lVek>MKdP11vhLX}MY%%-P5_EKXfj
zZB{RLW2_yQS5^}8N;^pj?Ud5FyqspMTC9W5h<7tdx>3$7PgosNoEqE1y&$%AxVZPk
zB-Vx4vf5nUI|F%D)+m0&EdeAfbUE3=U~M`nH>Oka$}}+8qXFxT+}M+qSN7z9c^;VS
za${ydUYRKXr$JypBscaB%PV_FfZ08;K~ZkZj>;>uW5915wwRC``zGa;eN(`48*F08
zjr}EgWq%pC-V57omm3Fm$SVg%w^>39ZN#O7l>!nrAmIumT%E~5vOFZyA=v<=DnKfD
zz$_%3g@m(^aNj+UrU+?9A<Y;h8HXejkYo~4OhJk<8@h4(K4IS{8Kj%CBip!#8wn}i
z;SW2OvhMh1J9p@1mDOXc7RM$hcMv<9+{*^{D90srVZKvk4mIO4IoCZ;{=;f9ws0?O
z*d!aWhQewpTiOmunmec^wbAlcKN5FBGHWWVqq4<VtW%%wbnoM>5xbo7@=3-n?V{+(
z`}y?&etnRx=5F%olVD|%?8z2}Cui%e%MWql!~8lObF;|Hb0nIZZI75VLp7UVJh#^k
z%_?3_`+Twez8KC+IbwmsBfi*2eX&QyBK(Xm<72+q;}$Rw@d+`5Cw)Z@!v6D&EtvLw
z&eDt34kcY-VT45M<yL#KgI=aJSL=56#O#EbxRo%IV6~@ixx`^^iX%N)$=n`GJlzwO
zHJ|B4fZnsd*vBZw?Sj7N<a0jSQ6KG?k9OQgd)`Mo;aK?O3ofiDeK}6~Vjp*Ny@>O}
z6+Hf#QfqZyg>Nr^66h|&VLzox@#ex>x7uOJTC>)nXSAF|=eN+QeYUD-jcTLSUgMEZ
zqwhmUSCiuy;<j7u&%me8H^H)5lUYqs<}a?EW|GpWEuTqA>iI@zfvM-~odsE0Zgmv7
z*-_=ja*XJ46_-Xry@dHj(&jb~5qo9MTH;mCk*w$GQp2UP6qi_ovAQf*8;ZQp0LMy9
zS>7{!0bM|YAyr1Ig4DVqWvCmUuebOJh{dhDBYb06vQt>RVri{e`4MS%l{ki`mBzA~
zw(c|nkHu@PTJvlxuGTNjw-a#;x}kDXrO8@KMQ}Pz*F73tXEKRO>teH8ZD&)RZVOL$
zP;zc?Ca=*z!p@>6(Zkh=>ws<z1nRBUvQ=}zlVYhbIMB;uGZ?Z#RNs^bCG9j6IbFlx
zW$z42IuSYJgxW|~@=gp9N>B@)1UoI3^QXmo@%^*Nljzm7e>OSb&kTCXt^}F)&$jU|
z?XPwJtd=<4J$<QFTg*^^<jBSmz&)3??v$42VPdg&Mo(Gk2o7Z3AW;e#H;Py+&7=fI
MP@Ts7a?%t2f4`j)g8%>k

literal 0
HcmV?d00001

diff --git a/benchmarks/example_circomcompat_cli/multiply.zkey b/benchmarks/example_circomcompat_cli/multiply.zkey
new file mode 100644
index 0000000000000000000000000000000000000000..522cbb46bcd9fe2a0e3b5214d93d346e49e7cfeb
GIT binary patch
literal 3722
zcmeHKXHZk=8V(R5Na!Vi80nDEL=4h}AV^t|UJ?R=L3&3iA@qQ|6zLJ9sZ^1sRHZi&
zr7BH&5mcl|aYG4Sve%utbN}qly?4ex_nCRlIX~X_{oeM>IVaf7F^CEP0GvJ{<qkX{
z1(av%6Q)rvC*VKfRdUD#S3JK;LZ6RwvTFnpV-*omr)AUt%a>j7HN>8$*qr!nrS2_g
zCVMvq>3ozE|92bEKW+Xv2g1Y(Z!GAi>U1l+sxEyr_-R9*cY$?QWzg1!`5yHe2pY#U
zHYcesD_;deL6FNTfz+X|A0xt8Qyi5I-y3U#?y2u<4FRD!uK7yDtZQ!`5dyn2=IXPg
z<=<fjqrOUV!ylrG)#{J>^J+Ok+OFGXKD{6j*$}q{LMJ+Aqlz6kFXjZ$d*u8MYy_;y
zY=;Fo2RIcUM*#Oip?)CL?H#z4+Ray3z7e@Id238AFhFmsD`av-Slzdkz(^&N)CZGK
z=2$C^^1R#6a{ba~?2)hV!9~(bww{9b3#JcBf4jwbQHN9-%qYxVa_i39BlWt*{XVo%
zytTE|ZqJ)Cn$-@tD1Q_6aBWngFBMJ~!Lv3!#~VSsD%x<UY?M){p<v0QZvRUO-mj*z
zYl7MeHKTbwMke3n$mkQj8}74G)YdV_w@+?&at?Cr1MlbV5l6y~kMU=O9C&lTgOIru
zYoTQE4GZp<7HE3x3l;nY!F|i=+bjsV7R0`JB$k}Il3&2+*-!nNl*)uCVIH#^#(33R
z=2w{$t+>+g2Jv{MQXU!_TO`{8?J%=7Rv7FiYc?0@Wr>IDWKXgJ&0;x|7unCU$2q#+
z-)2rj7Shi{8P;=AnS(k^lXr(IaW(vQY=GMilUk-Fv$$t2qvR5U9a?WWQBT(IgZ1MI
z%d-=$O^it~OpZykFJgHv*Ri_$a|%6+Fq$}?)nz4SrBnc!SvVkKk|gt8JJHPDjs!sr
z-`)AAQ!46ff$5=_uYqip8mVYbb}9UX6y)5Fe#>DaX*hz5))3M?`(Uj2c61yAjcDhy
z+_Wy)cA3jtXcTmU@k-2Q4g8@&yW&8y&NV^&OhV+rd(*BgS}yysTzdXYso5b_gD0s(
z7Y|fNy^BqOGj8y_2{Wbw#XSknocg@)1oAznMRJdi(#e%N9K8DLU2K@__@QGb7D~|#
zm?D}JP<H%JP~?M3nbk04hKW~jVKOqx5%0#wyQP9UK$6kuCHr=~f%FeI0HvN{4}l7;
zm4-7*);3GkO2?*z@E4}4QM&PkR}90dhq(SwBgLNfZ^otAQgZt{aeqktZ`o3ErNsWL
zxRgA@e-wy8RGVC&#rdO!n7Slt<e9CKx?L2D<!PHdSgq;jjHtxg-<G@%D0N}YMz}KE
zl(fN3=Wf}Pp+UeeWe}_&fkBap$CYMB%i&2IM^t(Rye=l*STlxWu#?G4o4J4Rcc6oM
zyoq<L>{RFMdUkp+IXf9Gb$F$BmQM8%V)a|ib>V6m&h=g0UmT21pH4JN7C*+0ISGiG
zZIF&?_4z$mFp$`sfnYb6zJl(MZLGFCea-yMgY-xyLSuAu`%2B-Z0JcTKNVYro-cI7
z-YbWjU#R#%Wub)MP3|X=1E~w+vo1}Onb`eOG`cgp%`cgR-+<$N3!VIa)9Xtcczol~
z?DSBAP=OR>FaMmyPc7tsaQI)%vdyjnQzmFZd}$CyqkkN*6!JA@P43d`<AO!6gXWf(
ztbf(Zcdp9p_?|wXvL2Hf2Wd*?bH9AOKtQ3Hw7wYY2YB0`Qu&W7IYsfLi0J?L=^fbO
z$@y3yd+*I|%hRW43H_B%_`tZhzAi@1!Z&a|ageaLv#O?>w+?J{WMAJpDM_$;nN8cM
zGsHwZ7|q#(&7xvig8{2t>3tFov7eg4JIVpr0Z+u-BblN#9x!o33Sc;*fKYs=*-VaB
zQ}gFoW8U+D)(M2YUJXgtn-go9gu%*4^NMA!3e+lBrW4-`@;z57PHk^!77)0<rBXdy
zON+U+PB1{nB9X*Zm6x{(5CQruTgD)dUUJz1SIKcEH5BD_YqNvc+TYqZOs8Qnx~Pp}
z`|RH{X7ui|q`sdzwQ<(r!%;)$vlm_V)<fk8G&MV5nTx)zXuTms{gA9R=g%Gh9VLMu
z?+Em{%ywruQx{)H<~hB{rL+`F+AYDm7M$5^5bAN8UYR(Aao&y_(dWD>!!?nsMYeIx
zH^0m_t`-VlJMB)z3`)!o>}`CpSh2H-{)Le)Renr+dWri+a&X#<?V`Br9$Ne{)or!1
z^F4t>LgZd4ZPC$~hpWy*ZmZw=kn;jni&JoOn_d9a;&GL)x|mJH)V3E`fi}ew*&KPw
z<c<#7PhLWW!-<Q<i@hSW^BVU;#vG{pe!i=dL@4-icB9AuS)E}s&w>WMTIn(dS14IP
zH6wW12)umwGqwlw%Vz-2V21h@yLuN!9q5$0!seO|YDLFKB;*Fkxbeu`hM^^NP?Y{(
zdhs4nYY)9@{Yp$M!6?B%=rXert*7)Jyv!zRItZ4MO7}p2Pco#c&Eu_5iB5a)t8-e)
zXLQv9*1ixw(l*G1euP@o2Iv`zVqLl6%fZH?iF^b@tnter%q&~WQxmh&Q;_eZ@D(C@
zU$}B2uM-j@0~(Xq+)D*E%0@_oZ9g<WXRRzrX4?@bdg3CxtZAc!x*Hx)*%r8|t>*B!
zlCiVJA_|ZI(A!ONw^tkst0G}R3~Ln>GsFMYSi}9RaP=Aj5&+G@C9VE`g!I;QA06qg
zx$d;Jj>&PrjaznwA$d&Bo-J}@f#6E3ma4beIlSV*{WEU}l_HHE$2p18{1A06%0J2C
zkG-J32fHA2%@nh#VxX(g&S+(u!9ZFB4%ta{ggzAvQy5N9%!856<73YSwP@E}em;F8
zfUuL9DbQEabVti*q|b&D=D+>k1skiHi_s(sjy44@*1@U)Gdc6sdmpUIeL6N<^X@<8
z+V=8aMxFKrw|*%Ai;tC(`v4912bPB~eVRm_vnX2P&j+Yf`E7BVQz7H2SWGrBettZk
zr5y>%ZPKLIbVgsO<0keya*lW{J+x=iD&9*q0hw{$kBrNEw1eiPBUh~$46hiQx+m`7
z%Cp=>xnxRLrL+&9D_GOm|EhZ2sjx0Wj}PnoBylf$cSTMNHS4IKXlc2P*O0t{tXT{$
zKipOZedq;0L{HaCG@W`3;pQ_rHKK}?c%D3NL#J!esz`SeK2NMF(rF&ZaA_>Mqw13G
zc)*P6dgANdmJn}_P<(Vp)Z^Qx9NclJqrhTg_t`8j@KBb6H^E`XS0Y1sFnah`n!O!Y
z;d+lO5By5wM%gV>q|3t>QV`a1jER{>TC0!sN6Kn*osfz{*3X|`)63J}*TvzMzn3q+
Jp}mLWKLCpG%x(Yx

literal 0
HcmV?d00001

diff --git a/benchmarks/example_circomcompat_cli/witness.wtns b/benchmarks/example_circomcompat_cli/witness.wtns
new file mode 100644
index 0000000000000000000000000000000000000000..1be4485e24f749d0699da3a611cd78a15c0d9618
GIT binary patch
literal 268
zcmXRf$tz}JU|;}YMj+MzVh~UOVj%y+<gX8%Cl>6i^mt*c5gXCixXm?ShvovqheduV
n25dkzAbkgb7z9B2@c}t}l0Z3-S@-}mK1rY)D*<_sd+`APWZV%|

literal 0
HcmV?d00001