From 483fd4244dbdba9c439b52489061df20d44243e8 Mon Sep 17 00:00:00 2001 From: Amirhossein Azarpour Date: Sat, 2 Aug 2025 23:36:22 +0330 Subject: [PATCH] feat(noir): add example of circuit and proof + vk --- noir/Nargo.toml | 6 ++++++ noir/Prover.toml | 2 ++ noir/proof/proof | Bin 0 -> 14084 bytes noir/src/main.nr | 3 +++ noir/target/noir_test.gz | Bin 0 -> 50 bytes noir/target/noir_test.json | 1 + noir/vk/vk | Bin 0 -> 1825 bytes 7 files changed, 12 insertions(+) create mode 100644 noir/Nargo.toml create mode 100644 noir/Prover.toml create mode 100644 noir/proof/proof create mode 100644 noir/src/main.nr create mode 100644 noir/target/noir_test.gz create mode 100644 noir/target/noir_test.json create mode 100644 noir/vk/vk diff --git a/noir/Nargo.toml b/noir/Nargo.toml new file mode 100644 index 0000000..e1e45b8 --- /dev/null +++ b/noir/Nargo.toml @@ -0,0 +1,6 @@ +[package] +name = "noir_test" +type = "bin" +authors = [""] + +[dependencies] \ No newline at end of file diff --git a/noir/Prover.toml b/noir/Prover.toml new file mode 100644 index 0000000..18680c8 --- /dev/null +++ b/noir/Prover.toml @@ -0,0 +1,2 @@ +x = "2" +y = "3" diff --git a/noir/proof/proof b/noir/proof/proof new file mode 100644 index 0000000000000000000000000000000000000000..c617d3ca31fc4539247955b8acd4edd5e3a325fd GIT binary patch literal 14084 zcmeI&S5On}8o==-L8^e#BSixNq$40zItr3d1R+#WL`vvIh=?>PiWCt+dY2MuN|z#C zkS+#As+53{P(_-+@%HR@amK4N^G$O1?C+V`%|GwtY5{H^)K74z08 z+AzB0egAnB$c?-qTRbf5Hi=dg`Rxr5D>aY<0Hrf$Qbh0l5AIf&K%4m(kVp8@GgPW7 zPQ2WmK;E(MBXocq0JwbpMP@@Q5Y$5pG@txaL4Lb9{!sqVw8RhTzTCW8m$L|R067eS89D$d?L&)%a{6*3(wJ0y7up&hBgo6=n4g<^j(>y{t_@BK3`JXWbC5L4fhda9ES8K3b1^GZY=h@f1 zTTONWQ)OpuEp|CU4gfUq$I^Pgs2_hK@V%+5;%0zyd3#u!NH4O$^)(Z`LYpV54+4BF zPnApX(4;~F#`tf^0A6_1uTd3*v+5dQ0%IRezjo;z}gESTQ)rZWoS1-~V3?Pusy ztqbLanY=ZgEj1$8)~ee>3(Q*lk9oR&YM?7Bxg)L-W+Xl)+*BBA;%e<9U8o`;TapYW z_X?RK_q7@ou~tS;=IIGvHfg^b%{JEViJ^qqCXes1igoF9Zc?0tyo#Nq9pjrDPkj)| zH$bOW)BTf~pQ>GcD{og_PgEVn)XqYl zH6emor*sDbMhX!4Z`eDOOJ^_Ld@|>&k#a>s>YPBkp|NDMy}Q^OS9~>p9!0)lb&#vF zLVk>}UZlIB!>8W63r|a;$9i-G)a*C}gG7vgY7CbBVEf+Bqp^eYd|lavWSt8=eoVo>{_;`M>VDSj8--Hr)bMLMN!p82$O{KYY#;$tZ zRw+#!nslGe<8IcIO8O4BPcnv3I7IFAx13{o#I#j`6P~4#ykC8p$4phOjN47Q zU&JO-3Vd2Wq&SUJFloUes79Ts#h<>bh;RQOOPAL!k6s8}xi?&pt^A8c1-i}4hohkX zIigBad9a08>3bNyTU?^@s5zWZ?=1bD>EmzIEdkbIZ8|slU91|U(wVy`PuRuH@NvuP z(9zBa?8FA2L;o;~*K?^6L6mvo`bN{>0uTlpHM9t@m@>gB9;3Azi3UTV7_ms8{fbvV?$u_G}gp|jqDv7??oFX&oAS{osJ#{zZAT_V>hz5 zsS&>zRVMquR`oQVnQO7rCUx_?H%ti6v1X4BkjMJnt~3gzBHN%g1sCFArc zjBt^=V!b8t&I5+pM6RW5W1&|gq>P0*1qV7q7i*?{BzkV#PlRyi45~-ODR1@qNjXxb z%jXKu{$UP{!p%YK!ZK5c?_S{7Stkg?m@TdKFe%lUvnhMl#P+1mQVQ)z*!P-hWoh>j zt0$f~PJEX1;%c0dgM%c| znZ0>Rt5x)(iL{Ppl10Wv%XuGIVrodY`o^0YW;@9@?IJ4uI|)MRHCW<4KTA)k6;Y#U zcDuPTtEa1ej!~!}1T%Mr%VF*PTz`O~#YLLkQ0%a`Vq+DoRS$}1KEb}-FUf^TZkkzt z4>*_0^x=ox@WT}9q=?SQWo?N;T3G(eEmLuTheEsA1IBw5l4}u~_-+=VoEEiEF4P{Q zFEZY=8pOy|o@x{GIEZbOr!;1mD@NsHo<0M?Jk;5Cf~sgVp;RkO`7w+|(k0NvKIblFp98;pIKuHG2~p*U}T(vB`Jmw1PRugt5lt~78-H(FUy7J}MBzjDIN zxQ9DvwB#V_U5mCRIYU!65-u>9=n+lb`42|D15tAOx+OOzg}ub?p%tON=wI~8`z97% zx8qZ781hiuYB-*UTzha6Y-PBjnw*k#UA?65p;MA*fxM@euvJa!uagA3Q~AR?ni%Hd z%w%iV9`weDX6MwrQS-+s1jB)qg+?d`;}^Q8n)#k6u9O~+zFwQixOP09&SBZmnX8?1 z`$k&}r={>L8Q~aK&&}C6f%eqOhyKdq`I&Qy!rmUa@*ac$tV`=%_{W+yd&)H)&k+mT z>#IcZS2=38=t!JY+;VC_@VEjkDyjRVZtIZe7B#6y!pG){r_|YZtxhRY&WPA|EB!%@%+P7g9v6-lXkq?4>E>$(PyBSv zB7!qaTjsML^0V6$(WeUiTO2}B3RW5+7sLZhy&Pq!Y5RvUp{e1EVUY1Dh@`S(ZASd1 zF%+L5k>sxoNWZwRZMEHdZGBaH!>g-*23JE zPm~%7GM-LUu8?SPbBdt&k)>&QJvX`7%-B}q1!cAkiNbKDO+ol|hCZP_)0{NV(=31q zxNkS`Ho!QlUJ+kBzD+Y5Q7V+pj`Kc2YRgjnZtmY}wSC|9t$Bd2$UfXHZl)S%W+^a< zpie~~#GMn3@QtH%++>@byP}w$m^WDY;nuj&q(AHtpS$zJCG67sX>FMu^*&Ykuc?COEb-y zsAyH9Z@Xq!m_>|9Sr^$&^N9Og-LAbaW?KvmE40?hgC~ z9WL-Iby}fOFU)vHKn?&RqpCYq6<@Ssk{d-|Pbh($cVQp-ZJqaXNap)KI;*co5+DZv zNL&PcOGMB18@r@-%@ zf!8U(7yfdF{N+A)oqT_Ak-wYC{r|2Pc$<9wz(xLUCZE5*>jmB>pFePsznjVD@9%nn zx5?)ZT;%U&^7;F_Uf}J2{rO|}x_Ob*9W+$LQ78VwW$3+uZR1CNO2W_g4H%pKjvyH2 zJTuLP`%x|TU}-iEa-a7NlA5d0GAaGoh+Yf$OJRp_!Y-ij)Us`NAX2O-bo0{`LyxTf&qpu`R={74P?9-ZPW@{jK- zkeq2WVfH&RdpZoq+1mtir2{+lq)stuCHkjE<4QL4T_6VlMk|`^${W-+6g&(3wj>P5 zZ+af;{=kjg9F@zQM`Sjzh=Cjc_~8Z<2@l{60Upte#X;XdPHg5v5^^e0zWElXiX{u^fiDT|RvA9~o@z`~Uy| literal 0 HcmV?d00001 diff --git a/noir/src/main.nr b/noir/src/main.nr new file mode 100644 index 0000000..388bed2 --- /dev/null +++ b/noir/src/main.nr @@ -0,0 +1,3 @@ +fn main(x: Field, y: Field) { + assert(x + y == 5); +} \ No newline at end of file diff --git a/noir/target/noir_test.gz b/noir/target/noir_test.gz new file mode 100644 index 0000000000000000000000000000000000000000..836f628344a927d8201f0edf91436566edab3de3 GIT binary patch literal 50 zcmb2|=3oE;rvGbu40#zCI1Wp6aY!84uO%n+W4qnk&>IieSIf$9-d)X>^yix08lXx5 DgOCxC literal 0 HcmV?d00001 diff --git a/noir/target/noir_test.json b/noir/target/noir_test.json new file mode 100644 index 0000000..6557a83 --- /dev/null +++ b/noir/target/noir_test.json @@ -0,0 +1 @@ +{"noir_version":"1.0.0-beta.7+24c053fba747770cf8d3f813d22cfa003714dfb6","hash":"3737669196968621015","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"private"}],"return_type":null,"error_types":{}},"bytecode":"H4sIAAAAAAAA/62QQQqAMAwEW/FBSZO0yc2vWE3//wRRe5CCJx1Y9jawG8NN7BmZei+94Rv4pys+XASZ2UtyJFwhWVUBlpoVFUVlT0rkylqsWgFDJscmRt4uttM1D5vDyycjB0jBXyFEAQAA","debug_symbols":"lZDBCoMwDIbfJece3NAdfJUxpNYohZCW2A6G+O6LopsedtgpTf5+f8g/QYdtHhrPfRihvk/QiifyQ0PB2eQD63SaDextkwRRR3DQlYpWkBPUnIkMPC3l9dMYLa81WVG1MIDcaVXD3hMur9l86eI3Wl42trx94Op/urqc6Id21nk5XQsF1Nd5MRNvW8ItgT6zOwSSXnFX9siiBIddFlzsVk0XvAE=","file_map":{"50":{"source":"fn main(x: Field, y: Field) {\n assert(x + y == 5);\n}","path":"/Users/amirhossein/temp/risc0-proof-verifier/noir_test/src/main.nr"}},"names":["main"],"brillig_names":[]} \ No newline at end of file diff --git a/noir/vk/vk b/noir/vk/vk new file mode 100644 index 0000000000000000000000000000000000000000..341c1a561c574383878365f7f823112919f9c8bf GIT binary patch literal 1825 zcmZ|QX*e5*76#ympfVYXNDx~~Y_&Ajx>|b^)Pz`CG`~Lv|{~gI6066~V->?CaVm$i4Uu*}% zdy=OHXq>z`74Y!scfQ}6auTJSL7I6IIP=kP{*K?lUJ2wAEVuExqs8i#B)gKqh_{ucPg8#-ezoE+|CY z*UGkz*kr8(VFUpO9`qnGtFo{vwgTj*^5VTPn5}$+4?3Nyf?xh<@>IL&Cc5iAd7!U9 zRLPOR!hM@9EfRp&K6BF3lHVQK%!Ru%gtqY0t!e7XIc1?mIYq{5W%AO=J?3-SPv|8R zaC4G42|GvrHs2y%@S8wb!UGxz#XCb%y;ZX?&Pc%mJkHdRBe-&fv2TJv(Rvey+_XkN za8znr+wIvzFRngCoVGibT}AU^4pp;DVq*qGr(Zh(oWyk6lUn)I|bdpU$esq1eI37G7OoWes^%KB%{{$Irirg`} zdSlM!nd8UD!HMV;X2o$lQh{pGo<_)OnUGq&p%iWIGR$NFTubaGXQD62(R=xUP;Y>5 zitFHH78`SG6A^+mdAWWP#Qwz?2;RxL>7cZe^eR2&ZVp=xl{Z&~##=b!C>%T*NkmbQ|BY7-F0YmC z9f{AK(&CNcT)P^Lhl=Y;=TlT#YYF*FHJq0GuFKacynkUjNXPA8LFm%g-G3@1dEGug zc4?hd&L-c_bASj1lo$w@@~Qr+#)Sk%)vS*99xj2Y%P$M(kPQi-)Ubpp_lHT$GLfu~ zn2F%|3d1i)+wI(2U3~#WoR;HEV%D8N)r!AH^?mDAjs+6DT?p|pYf$mp5s6j-?_w(k zSOIOyeL>vYf&QdR5LkCW`N2D@t$e%qukmTJH`Zw!EA7^DvvAMLH-}Oyul};p zC&+QwU3>IN%k`!r<;fq62Fs4&IM83%O z2}tKmrAg8x@4nYv0bA%?j-{+v>^qwYP!m42cimF-CYW^E6ldM1=^44@XWfE9lfkK7 z8|wDhBIk(I&=h zG%qt?C(YVcK^mwUX9k~^yzG{mjj?qaukSF zWOx4Cj(k+xBX#&--oKk~N*v^}^Hi(t`hY|es)2K)^^4|TZHF^1i9@VM{Cb;`n~D>& z&qhYfYJWm}o;G_MK}u`87P7lc?MfQ7aIU%}T{dBDKulDg%kM>K94csdY36TOs716^79 znL5n7xh>?q6WU>KYLP>2q8_ec!xWz0l->8!JP`z10|O9wIM1-lD%g3Zt74r0w9OUH zR~WuFPa?Rb1fuV@{=7mgR#vCTj$w>h-1^0qbx7%?&M<0x`?$}02$muZ=*E8j_G@~a z-5DFDn4v)xU5jzf9Gv*!iNU!;!2{y&x