From b2d8b577f748f13811648da6ffa99636a1c5bc80 Mon Sep 17 00:00:00 2001 From: Balazs Komuves Date: Wed, 15 Oct 2025 13:31:44 +0200 Subject: [PATCH] remove .o object files --- reference/.gitignore | 4 ++++ reference/README.md | 4 ++-- reference/src/cbits/goldilocks.o | Bin 5184 -> 0 bytes reference/src/cbits/monolith.o | Bin 9784 -> 0 bytes 4 files changed, 6 insertions(+), 2 deletions(-) delete mode 100644 reference/src/cbits/goldilocks.o delete mode 100644 reference/src/cbits/monolith.o diff --git a/reference/.gitignore b/reference/.gitignore index 12c1a12..c61f03d 100644 --- a/reference/.gitignore +++ b/reference/.gitignore @@ -1 +1,5 @@ +.DS_Store .ghc.environment.* +*.o +*.hi +testMain diff --git a/reference/README.md b/reference/README.md index aa470a6..b3b4891 100644 --- a/reference/README.md +++ b/reference/README.md @@ -20,13 +20,13 @@ transform. - [x] FRI prover - [x] FRI verifier -- [ ] proof serialization +- [x] proof serialization - [ ] serious testing of the FRI verifier - [ ] full outsourcing protocol - [ ] command line interface - [x] faster Goldilocks field operations via C FFI - [ ] quadratic field extension in C too -- [ ] faster hashing via C FFI +- [x] faster hashing via C FFI - [ ] faster NTT via C FFI ### References diff --git a/reference/src/cbits/goldilocks.o b/reference/src/cbits/goldilocks.o deleted file mode 100644 index 3f202973f7053814fdd35ff8772d3731add222a6..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 5184 zcmb_gZ%kX)6+hPx$g_=+VAjDcWM zs(>)tG-WbLV2QNsQ3*En1AmfiidJdbmoiP2l6o}R(DrE`*f$p^S(+skbfN5b-n%cs zI9B$jSGw=qbAI=n`@8qtd*8EfeSY_gQX)Yp{3u4f!3{4e%68Ox12xpV$2K@~$;dvI zz6Ca}3WF$`mS`VHm~B%JedkE%scyA?t(q;4XXB=uXe-MiO0uwurbYV_r#j=ur9snj z<5_Vc62I)QJWXlD-e5w!?yjClG@a-a!iezn1}YaGn(IrbUQ~+$n*VXh{4jjo zLuz*E>yta?745IAtAf%VqEDBUvpU;UO1=;vn)3@awY+a~M|L=Ty-_%`*`H1BI3XOB znxI}P|4Ck7@|iY{X(y3of2w4)7XyQ+ zO}?~)xxueWI8vP$FN?7-PS!4*DSsW}!oCc?9^uG(M+*B_qTfOIFF)~jq`dIw`TH>z zb2a#3JO?-)@NsN#-5h(6CIW-=6P0V>#j2t3VrNqz?Sv0FVQ%0AzfX)cc7UT@a&-RR zah`IW$N1nNY;&qme&+xWCwO!;`3)Ybu>V&)RK&7>3G-1A!*1{r;N|%ec>QnjtaZvL zqS8J@6Y9|XgahkyK&Z$s*5*0+)rxQ~iYPP;IR%*+j$HRs@&V`6CTQQXVw-J#+_dOK zjbXogDEJ^OM)gDMTlXpkuFOV(RY|-NctqldNI{N7HimtXs!QoHvZbquve%$5)Sc5c zQnEhpIlbBU13l^;)x*A|&V0gT@)3{ML#z{x82h#nZErD!aDM;H{FcGB5?uL=2ynTh zh*=+axKOWQ|1;Mqab9l$SEqqHXHTvHM>TK}d@wEXUF1x=aBo=L;y52$1!eDp>(<>D z^hR=KRo?}D#5ba!^qtqIz?JzJT#M;b=E`~#xMviaT~gFpK5HJ>BCrK0*;++Z!5D!* zpUW)xSAjoccc9}u?z;;=75r*YZ{d73g5ynbL4O@{C^hiX*->C_%#m@PV=9=_^aLpNO={u)i z6B_Mm4a_d9a1N*A>OYL?`~6d zdRnM+F8DHcRk*V*#GA%_#x|bU^vGGgYe>8}Tui-L#WmaUuk{eGKl5ez3Dz3x{D3** z)mwpeZ_OyqSC7W1H>`iY9$H*qe`#G2fBNiA zG4t?ywwbjv%FNmyX#Afzs}GT=7cJs_F*zUhr?fanWA{+kM#Hf~^>~a@bVv*R-OpH81*0X_aHFo%vv9O`&m58TBR=3VFQL zJ5oX+zl?nVvHgf0*bw^wV*3$0up#yV#P%b$1F@?IY5coM8qXk4H&G8^tU1V!N|LRA zEKauGDoVEEyP~24wu7jg&t)6VoJh9*1MRz5vwK*(t0K6174usVv|8QKy;9Q=tN$4D zTiCvE@%4eKm8y=|%C3$R^`n?ysyu!1@IYWC&~aiV01gKS{3~l`em~7~%~R?XmW*_IRRiL)V%p)l&85f-!Omf0LnX{wy@U)fm9O;F5>$ zH0`v@lzF)I4Ohs&P5KwY2PD3~K>XiGJXipKDDm0?_)a8%OF{k;$NuAzH^0jguP=b# zmbhGpJb$mW6pG&=@k0Lmt;{88JoEXjNW2igTKO@3rGWq6BrexkMl(C}bF9d0&zm9- ze}jKep~!X0!!so&o`AqmGMZ`Q=Ue)`3e09N@34L5A-ST`;` zjH6n=Q-{s|MOMC|=)?GjvVTPOzc2M8QeTt$J5smeonRdavVONVgA2af$l7n?Qr~H? z!9t)vu?b?bbbknybZge5Tit@AM?ahQ#A4^Lw}*tz^g;?{lf z1#FC4=l71pt^1}@>SczvkrOkXJa6wy+`1ntq;B1J-;(pS?#J75Jlo(z}ZFsr$bibXWcg9cW=xv?Qd;0O3+vxSY zS7J=lv}678sHW9y80&dn&l=&?x~K2mJ)7UWF%5sr=u*TbuVeVf*@zYJHJoxyJVXXsoj> zr(b8^>BweVq%F4(CZuh)fnZJ?jF+Qhn(R}zyFSm1ua|yIVeg(C1fBW2<{5|_z5vQA q_0%t>)gT=;dq_53rC6e?XSb!I0ktk?;OFd!nkc@)YU&KfTKYE~p~&d~ diff --git a/reference/src/cbits/monolith.o b/reference/src/cbits/monolith.o deleted file mode 100644 index ec72cdbc29edc2a2f0ec1487f885fc209b6aac1a..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 9784 zcmds7eOy#k-aq%=fq7woK?Ve5Wk65{1tn>tk{rOdgv1xJo-Mn)st67OgIS`C_>wjB zSuuAXd*E5Av>cKrH*Hs2YjL%;nwB!mwU@^o(+b5h4Rdfop6{7^E;0i=e)jYH_nZ&s ze$V-Rf4|>(xxahPxp(;Z=J&U>gm46jUVMC#$r5vs zC}z))If{l5spe#ckB*l5mp7IW6lwBsc^3q9YNg@$Lm3$<30a367DdQ5AT^?Tdr>z6 zQ)6(!P4ENEN2ZCEX{JMnMphyJt4Y;6yF+!9Y*)K#JB*(zx2rgHi@JAKhY>POPi@Cs z$R31D(>JSQE@TrSD}`(Yr)i1j;-6D-8f5aJx^K4IMg?94-oU9^+63`5QJ7kJ#Z%?u zE|45WZhFpp-zjtIBF~!@il@tGp?*Aak9ii#&!GG*$`hbF1!d*f^X4g#UqyM!*gfW} zD34m4o-=c7g}E-WU|vS#_<5#CgPHm!&@n~6V&=y#gFJ3tdStXY2J&dg(;>&awbH(H z=e%q0Tg%z|GD*Wv0%;-frk?yHQxE2BM_v-?$=fo+?k*>w?90mIsXSAX$51&dkEQYq zNghGvtQ<<^>5_aDm9ugHm765FhRRvlm-O_lO}BUF{ADlgqbk;9*QiWAs*7tojL375 zCvqxVDW|cOVs0_-j^&)nkzgS9<(%3PuOdBz?fkB<@0f)A5c1X#l|#k(J4!;-Hapdg zr8ZiJDnv8H?sa0_u3hKXn24N({H(v)*5a?R8RKE&ud;c!L*w8wZ{6;{PTQD--0q{Y zwX4xLwaPIk8Zz{6uUhR;`DljNW}&UF{wvoeVO;eX*JVNLFedvo8sT#;a4wLxt3sK^ zlic>tkGzX{;_OihQsJj0xhi7)^rAo#5}vBvKG8rLE(;omKYagydy6$oU%n>ZrSc&S zt;p>@Bq)kgcbR-hZj_2t)De=agMA<}mL`1=D^po4=WmNc-@X<6S`LsPza7Zc0c{Zn z+R2#T1bh&2@Kg1eMQ5s9xo0e{6Q^qJ&wWqYHeHHp8wUGwqv6knL4YYx|J+ z*!B=#M>4N))Fbwuhuv{bXY(b3?F3QSHi4Vfy}siBasVITSVf3~@By}hP~LG&?_+z9 z1UtS(>;?OF$0qdaidtu@_t8085qmnUi}blO5ru;%O4~*vIEskc=0v}ZoZz^ESh)hemG`%u z=XhITZ$<~TOXhVpCGmHBhk7#FNa5AC9k((%R`43f0ir?N``PND_rAZ%Vdk}t_P&gc zar22iDU!3d6P-;3-T~gsDQuLZ&%s>I$DzaXqJy6#6K|hK0^N2-F34eoPExF3w{yfs z%k^BatsXcjR$+gZ___Hx9M%KKj0PV(N4Mjv|Cn&HJI5buV}QMHqu^c}v6pO9aaf0t z_ih~Pa<5D4Oxsm`c^wmhm)`KT8&U3j4bN$8x?SVJDH+Fs%kbh-cz|C}XQa}9cv`QO`Q(mkdg(+1V+(OlHq z?zNsLJ)M4xyWfk$+T0n)xanRT*6_|?#$|eOSnE4SGj6sQhdrTl4CAuAIP4vrQH;y+ z;;_ebj$_;+FAjTA=LE(*;>E>)o5;Awytwh;CNoa-;u643Wn7^bhrM#|#wT2A#E22` zLGyG@)%6nA)V{Uz5L*w~5mOEB{U3Ah9ber7*FyK-|IaZt2Qg+uj6KKWe8Fi(jJE+j zUoSnc*c;H(c;>Ch%q)gA(zjB(9?VRzSsSPir;@;q zBG=kq>tp}AR$+Gv()#XHnp*RGN$be#(j2Tyv+Zc>_PR8rUH*>kk_)8VDe&m~|D|2U z$=-55`^{xqyG!)PIWGWx3&i+!7{8*yb6t$U-b)rl#gXKTK_r*X&CdegaviZmV@lPQ z6Qts%1WEl;pkD$q-`bf;dgAeV80Oy=aRX=Ma3!hu-k0Rwytb~x7qNx8ckhd*`3T#+ z;0QP;_Lrk{y^{9Mo?X7Aq7CO*C-#=3bbX@o38ZJ22KrQvedQ=!kEnbi6@)CW2C zl%sV0q4LR)k0KS;UdXYZ9Hr|Gl~08{6#j88c4ALHO4k=EzX$RN_@{F0$4BXULgn{E zJ{JCOLXN%oC|y6Od^+j*8_vtBTKyP1ugXg0^nOtoPpLq1)i}#v!hMPwM=HkgBsYr- zb<}d))ngpEs&(7Dz?E(w4IkB!hVKP+i`A#Lwa))9`|^CIw-)%fyb!!vNrI+x`ce)2()LV$GvfRflBH6U1uEEZ(Ne6$ z<7|rem4^7wQ(bg!Cqf_humSh7p&9eOVT;K{$JD%qxNi7LZOiw`smx&U{i`ASZaVz* zt(}h;%0Vp6Lrgt{*vhu|mS-W}6$9~3efJ;pLF@&A9|gT&=<8t@g4hei+0Une#+Ey- zJkEdNt|%R;$ip1$iXj#Gh{N+r(sL2d(pElWApQ&-o@w12X zx@63vdpT9sIVCw9FK~Vl{+~x&7xW1tjY-^>NX*M)eq_NE8d;*Hk*2_n@KO?>-R4)yEe4xSg|5? zVo5^kT*MajwGrHd?$`=1y#)Ree3*{X*a~pR76&~#_D;x+m_zjk_obdgS)N16$#F*K zwi|P09W;+t%;Q^foUwUyPH0Q(M49se;>?T>iC9zrZAi>TyJK!KV&`GRP%dI=5n^f~ zVr~J>em)*C*SGf1Sl8TrrJuGM@a=0GzE?HiJKnZJU`(iWA?@p(^fDqOJ?N5;S8o3% zH13Tft5=V0FMaL3d9N@2)4OrAt^axcv0p`hD7GavZ+U&+1xvxXz|`Z%zUtd=ZNF9f z_y1U3^L|bIx}Xo9aNYC#%xvzly65kI;_vehX@AlD$9EJb-d^y>slnxIPi;)Ux_<4J zH_vCTUZ9UYn{aa4rI5tji!VHVwXkD$=iB3HF4fh=)lORU*^&tezo>fk#8;{R=vteYT)%wbwO0&VPrCkeW6r{+Q+1gyuDKEUasAXosiU(p z>-R3Zf5Xnq`L_-SyUtEt{8VSd)tBFVVcF7C+}W73&y=b^Px*7gwLR_KAKp~(OTIf9 zpS-NRtf-`{ys)%NTv=`|FDtPu7nc^7S*paMl4ZsCU@S|M3Q2rrzNOgkK$;=hXc#}< zAXTTO8B&d8I5!1PS&9eTNXltxh7_ZrriR&~3R{nqC)Ma@S&x**YV{Hh;V(0OHxO}; zFSwp*8-z5aN-)I!{X6jT*X1cA*iT^|r;WguG2S!+zmM^BV-gH;=(wG^RK{Rg{C}s9&Y}Ma9E zuS3VbiScW|59h!44!lMB{7-7oe|+j65+6SXN)1~^;EUMrBRK2PG{nCC4*Y)b(S#)K z1>&1&_HGH&nt^bZ-6Ub!P9SbY_6`ZtwgRc06^P%OvTGzvTLYwa775c<0TBY(WfG?4 z0Wp-s$AK}xNx*T0l*LQ9L<;_Ul+kn*1av=48BtWX~W?0YA!tim1GZ;={sAt%V`$_%o z1k(0)NVsGbkoIRjlV>yeG$7U2Gr5k*U5Fd1e+EeXoRV|CJ$qB9h0k=ycfnOCUygVLZb~hB}4{hHbq2Ir430Xl0nk(8SQdkT7(@9)G@V44WBR z8RjuGF*GnF44qiiQ1oqM*v!z%Fpr^$p@AX5ZKn{9=-PD0bqZmpwn^KpRS5e-4~8BJ zRS3O0YtW`3CEpur9j)ZsMjs!o5Ke`k3I8e_y5UXX&A^W$K8ZLLp%Au3?1G{rUJx+899 z9Nw)+00tzdm!-NwUdJ7*F0b3up%?&}{JZs9*wXr8_B-~AR3G^`t3S{5|H10dF`lsB zsb8RV+#C6Kb-X8g_)nm9Ea39*+B4B!AaWk-u*m9{S-liUd3m1_7%%U8Gtd_0<$b)F z)#ZKr7tCJX2k~Cv)|dCy|7LZ0pMIIui?B%0RL%U!`+ObaC6tJ z8PDwHb4Uf_<#X9WR+rCVKQVn8-!y%}>hd}3D67loDm3M8Pd-PbGk@~A=wm2Q9XaV? zKe%4tRj2(J%y0AJ55v)5{+5@%7VQt_iCA4?w)`?hH0PJBE*1+*DhsR2@+;|oWvnLR zaK~qlQ+Syuic71_g`${rN8Mq)c^t;?;LSsKus7P-;!2AsDOk$Ir6t8>MPhMT@ycSe zrHb5sg|H;wC03SKeq zhLnj(_*a$T8>qs6u#^>x@G(5UsODzKexJ5(;Q2S*|8~^lD&s2S0>K Wg?Lv^8bNXJGb1a~2BxqD=YIg;i@3D_