From 6936a52bb4de2170b6e4c41afd9cf4327d4fbeb1 Mon Sep 17 00:00:00 2001
From: Tom French <15848336+TomAFrench@users.noreply.github.com>
Date: Fri, 28 Jun 2024 21:34:39 +0100
Subject: [PATCH] chore: fix examples (#5357)

# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*

Some minor fixes to the `examples` folder I noticed while debugging a
user issue.


## Additional Context



## Documentation\*

Check one:
- [ ] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [ ] I have tested the changes locally.
- [ ] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.
---
 examples/.gitignore                           |   2 ++
 examples/codegen_verifier/.gitignore          |   1 -
 examples/prove_and_verify/proofs/proof        | Bin 2176 -> 0 bytes
 examples/prove_and_verify/prove_and_verify.sh |   2 +-
 4 files changed, 3 insertions(+), 2 deletions(-)
 create mode 100644 examples/.gitignore
 delete mode 100644 examples/prove_and_verify/proofs/proof

diff --git a/examples/.gitignore b/examples/.gitignore
new file mode 100644
index 00000000000..c4fdcad6719
--- /dev/null
+++ b/examples/.gitignore
@@ -0,0 +1,2 @@
+target
+proofs
\ No newline at end of file
diff --git a/examples/codegen_verifier/.gitignore b/examples/codegen_verifier/.gitignore
index c0d62c447d3..ae13a24752c 100644
--- a/examples/codegen_verifier/.gitignore
+++ b/examples/codegen_verifier/.gitignore
@@ -1,4 +1,3 @@
 out
 cache
-target
 src/contract.sol
\ No newline at end of file
diff --git a/examples/prove_and_verify/proofs/proof b/examples/prove_and_verify/proofs/proof
deleted file mode 100644
index 01d5ad276865ced1d94c7e1be9a84e09e0d6cb50..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 2176
zcmV-`2!Hng000000000000000000000000000000000000006J0S8cdAa>aDI1er`
zD|x|5vMZ?MQTBMo$;s!NqkKRF(GdPwXbO6bc<rdOr-RQYc!>BHP4(CLcGZ{3r7QLt
zaWO0Zhf%!!=``aT_Ngbft_>T+6XBD6%_RL2=Nb|XZKh8$=o?+MNSMEld2+}qL|YqH
zLv37TBiqvfn7o4__bhJ|M<8>FmMP<3Sen_18u;R<?_DFXp{Sv#RK0j6vbl=OYBe1k
zv{7wB0M{25o>yI*DdwZ_hvTws2jpcP8bGBZ^e3)Jn6=g9>4a&jMY3YvROW7@1uygo
z;5@Y@!u0*#UO#;c$)lIBLj70Kd<IW48|MJ)2Vpp9fbGT!0PKF)vN@iHl1D=sZ5%K&
z?L3TtB{o8>l)i$`9uWor`4HW4^9?RD2x4cYsS-=KY2m(_GRbXxLd`oyO*Z)%l*L|x
zv-CZ8>9svulPJHe7Fxx>8C!H#UbE;2(0fM-gegT@y=e-H?)xt_#D9X$wMVOf>DFaK
z0%<E{OqX^Hx2vOEyRm;cK*|L-6I5fCkYV{qZK^_|3O95Ho|LQ>FYk?xNKLWKuV8By
z9xl$MPJ!&4KjFIO(;;Z(vbJ*pWgkp2C<&#9&3u_v<SJ(Bl$oW!OmPboIW0pvJ7LBb
zpd~ZFDX{Tf%#MAZUditXFx!REYq_9a^b&G_h3oeLRHq6~aWs+n54O7XHkL<o>oM;b
zOtM%%_fQ{^&wAJfZ;GiN0p9qKBout>sXkPL)2W#Jx`<}s)UUqDwXxO`peHgLbtXEi
zA}QV2A5Y-kA}enoMo<vFyiLU^%vpaOd9-Tjn*uhMRvIA=-qr5fv|ljlOrXYId=om2
zWGVjx&_<w(-spSQyOP)~kTbvhgvy3t^b`E`fVCZH?c}Kr%nEu?tSzUx%Ik)6YFqkU
zD|ux)I%4J(+K!yW{(g@fm{>M3VRp`w6Y)0a8ZZH@O!Ts}z*}woW#imU_!aB{?Y1w4
zd~iKsf)fzvxs8$Gq6iEr7lL!+cc7iQiE*bBVf0JiH2S;)RXw_%l4}P~<Dk)g7!*DA
zHD8bA3>Q)<W2Ujq%z`(!)V(&JW1s}|ew|Z7V=zXj#G&;b`E3Uie=UbDVx{D<1LKqP
z0uLP64X3x0JL4H9_)*6{bbxXa1??hhZ}8h=RGO#rD+B11k;X_}s4wgfn{2qwP2dS9
zPo;?ImK}>PHJu_p4<qtLyuYO19;+~&PCIGTGB>{*Ru_1m9Dp8)*zYD$!A&?i2<dur
z1XM=Z4B`7ue+D5CJLuJ6^5$2NUGR}f#9elr_@n22U!P*#aY^Twftx`l1fT8}bI&#v
zZBAc#k@aU2^W9>~NJxFh-<d&sC{QyjXmxZs;+1%1csbv^bs(7By+-4uZsxs?>eka_
z5&@JLG^IL)kaSba{Rl?wehG5T^4158geGzaxi$V!E+Cd58w*SZEJDPnAuDv|2SQ2v
zD6U<H-l7}1?=|TJwc(EgK}eqw<>)1Jf#xchKQNmnPi0fe{GsY<!$)T9tx=&Kqmko<
zvgIDHjl2u}aV*!Ge${1=+4sewJjZx^yoHe#ivIF#)PA}GXfXh@*mdadxYyDw-Y1tP
zGoa)A(hKMsv^z-Ja)r?xlsXIm5mLMuF_P&`G1e_0v~#e`%8?NPBGq$i3}j#JN0Gw_
z9-!-;{LS`RJ*@9m_p8(R7NhzwBF7jR4F+1x%g$`}8ZjKgouyaoK>(T|4-SxmAGRYR
z!;|O<+&dyFTcx>!{NBfR7#ofvKxi;V`O!!mxJ=Y6>I+}AZGrHbn%qc<GmP%oXKNfS
zPo|O>>U<W=1z+$cn%BFxr-~T%4$o~N%C`P{MMBk5#J}~}#%|nY=7QcYQ<)CD#PUq0
zwFvk+Gc@Z8)7HOi=ev9s>|YtSq617FqhC6+)VddC>J;Cq)J1og5Luo@<-Q12xSbLa
zp4H7G58tL4;|ZpwE*GX6ePf%~(6m1I<@^({r+s^J%rvkGB@5*3ayuiQ!Fasr&xbP)
zK^aV+8fDOXvjj{o^OVgaZxq-wLO0uf;Uit)e{PD7iO70nerlMaHatF2o1>d1co%5j
zw_sTKrNcmFmNe2Vd}^mZ>`6X298oXo2{Ic8E_?0a`h_++3w<c|hm?4M;s&XLwJ)sA
zh*MT9DL0`k3X?U=s=UiABkUj8*Ko)MxXjI3SgmYZ?<s=60+GcU5puz+<>IRNg(+kP
zb-A39b^ZaJVA~p0gnqqRfL<9O+WIHv)7i5Wx6|)VbSDHDJAecE!UA?Iom+~24j~r_
z0o~7H^Q};cpVA~TpTksRgysp2c=}a06gZg`WJGKS3~JRg-RURs=LMFuX7>T#u|qq@
zqW7q6c{6l)ehj4=`-R~qJstJS6W?>-Ks(wKT*z4TN_7gwYUa}5Y-@}e^2-u#-0`N8
zhrUI9DFl3KIvt{UlC9G^Sb2>`aAU|Hah48r%uVBMRlEXl>FO?W8eBWSIGd$9k32Gi
zv#M(<)#fWe=Xb3LG@0zy4oWefBzX1!I!VPV*gt~=P#t9w^~deLGAGQZA07Pf|Mif}
zddk93$K#e}$j;HZ1L|la>frfIP|MwU9zkTl7mWdCoVt=%Lg1jKVgDRgntNg{1!LxB
z5V7Ku@3Sc}26&B|D4S8BB)h7jOK-f&6j@IS-K*efFN6G$90iBbvClb1UX_J6;X{d)
z4b5cs8uKU`K;Eh0C;UB?yTPS{8b-r#20xH2mHtQTX?08lgJ97bm3F-#stFrS(n0h9
z4CA}n2txgxH+HlnLO#AneCmV&#-b9mZ@<ok$kGy?e8&YU>nAn!i#}(}^jL#=8#xmc
C5)-Ka

diff --git a/examples/prove_and_verify/prove_and_verify.sh b/examples/prove_and_verify/prove_and_verify.sh
index 01ee6c70738..df3ec3ff97a 100755
--- a/examples/prove_and_verify/prove_and_verify.sh
+++ b/examples/prove_and_verify/prove_and_verify.sh
@@ -11,4 +11,4 @@ $BACKEND prove -b ./target/hello_world.json -w ./target/witness.gz
 
 # TODO: backend should automatically generate vk if necessary.
 $BACKEND write_vk -b ./target/hello_world.json
-$BACKEND verify -v ./target/vk -p ./proofs/proof
\ No newline at end of file
+$BACKEND verify -k ./target/vk -p ./proofs/proof
\ No newline at end of file