Skip to content

Commit 339e6c7

Browse files
eigmaxUbuntu
eigmax
and
Ubuntu
authored
fix: change rename to copy (#69)
* fix: change rename to copy * fix: deps * fix: deps * fix: change rename to copy * fix: clippy * fix: run prover sh * chore: stash * fix: composite proof --------- Co-authored-by: Ubuntu <ubuntu@ip-10-0-102-174.us-west-2.compute.internal>
1 parent 6d878d0 commit 339e6c7

16 files changed

Lines changed: 68 additions & 56 deletions

File tree

‎Cargo.toml‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,17 @@ members = [
99
]
1010
resolver = "2"
1111

12+
[workspace.dependencies]
13+
zkm-prover = { git = "https://github.com/zkMIPS/zkm", branch = "main", default-features = false }
14+
zkm-emulator = { git = "https://github.com/zkMIPS/zkm", branch = "main", default-features = false }
15+
zkm-recursion = { git = "https://github.com/zkMIPS/zkm", branch = "main", default-features = false }
16+
zkm-build = { git = "https://github.com/zkMIPS/zkm", branch = "main", default-features = false }
17+
18+
#zkm-prover = { path = "../zkm/prover", default-features = false }
19+
#zkm-emulator = { path = "../zkm/emulator", default-features = false }
20+
#zkm-recursion = { path = "../zkm/recursion", default-features = false }
21+
#zkm-build = { path = "../zkm/build", default-features = false }
22+
1223
[profile.release]
1324
opt-level = 3
1425

‎contracts/verifier/public_inputs.json‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
{"roots_before":{"root":[1520004774,3121205016,3928823765,3984044795,4189791008,2695951123,1653901234,873746115]},"roots_after":{"root":[2516396279,2445484608,390252443,1584308213,4024382435,1334582959,2148796663,3129331213]},"userdata":[1,2,3,4,5,6,7,8,9,10,17,255,34,17,255,255,51,34,17,0,255,255,255,255,85,68,51,34,17,0,0,0,255,255,255,255,255,255,255,255,32,0,0,0,0,0,0,0,113,30,150,9,51,158,146,176,61,220,10,33,24,39,219,164,33,243,143,158,216,185,216,6,225,255,221,140,21,255,160,61,2,0,0,0,6,0,0,0,0,0,0,0,119,111,114,108,100,33]}
1+
{"roots_before":{"root":[4177737736,1583386682,1427489605,4107737434,3953205452,3074429497,3314931297,1343458984]},"roots_after":{"root":[3451324422,2870547594,2932546516,3936660359,308390579,775478659,760692949,3809329682]},"userdata":[210,10,0,0,0,0,0,0,123,34,95,105,110,102,111,34,58,110,117,108,108,44,34,99,104,97,105,110,95,105,100,34,58,51,50,51,56,50,44,34,101,110,118,34,58,123,34,99,117,114,114,101,110,116,67,111,105,110,98,97,115,101,34,58,34,48,120,57,49,51,57,101,101,53,52,53,48,102,100,51,98,48,100,48,55,101,51,97,54,50,51,101,101,53,101,51,100,102,48,49,51,98,102,100,101,97,55,34,44,34,99,117,114,114,101,110,116,68,105,102,102,105,99,117,108,116,121,34,58,34,48,120,48,34,44,34,99,117,114,114,101,110,116,71,97,115,76,105,109,105,116,34,58,34,48,120,49,99,57,99,51,56,48,34,44,34,99,117,114,114,101,110,116,78,117,109,98,101,114,34,58,34,48,120,51,48,99,48,100,34,44,34,99,117,114,114,101,110,116,84,105,109,101,115,116,97,109,112,34,58,34,48,120,54,54,101,102,51,101,52,101,34,44,34,99,117,114,114,101,110,116,66,97,115,101,70,101,101,34,58,34,48,120,55,34,44,34,112,114,101,118,105,111,117,115,72,97,115,104,34,58,34,48,120,54,102,99,99,56,51,54,50,55,49,100,100,55,101,49,54,49,97,55,53,57,97,50,102,50,102,49,54,99,55,48,57,100,52,49,49,50,101,52,101,53,56,51,53,55,98,99,97,98,52,49,55,102,54,54,54,102,102,56,55,53,55,51,57,34,44,34,99,117,114,114,101,110,116,82,97,110,100,111,109,34,58,34,48,120,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,34,44,34,99,117,114,114,101,110,116,66,101,97,99,111,110,82,111,111,116,34,58,34,48,120,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,34,44,34,99,117,114,114,101,110,116,87,105,116,104,100,114,97,119,97,108,115,82,111,111,116,34,58,34,48,120,53,54,101,56,49,102,49,55,49,98,99,99,53,53,97,54,102,102,56,51,52,53,101,54,57,50,99,48,102,56,54,101,53,98,52,56,101,48,49,98,57,57,54,99,97,100,99,48,48,49,54,50,50,102,98,53,101,51,54,51,98,52,50,49,34,44,34,112,97,114,101,110,116,66,108,111,98,71,97,115,85,115,101,100,34,58,34,48,120,53,50,48,56,34,44,34,112,97,114,101,110,116,69,120,99,101,115,115,66,108,111,98,71,97,115,34,58,34,48,120,53,50,48,56,34,125,44,34,112,114,101,34,58,123,34,48,120,49,56,100,98,55,100,102,53,102,51,48,97,97,102,54,98,52,102,49,53,98,50,52,50,99,48,55,99,101,54,50,102,102,97,50,102,51,51,49,49,34,58,123,34,98,97,108,97,110,99,101,34,58,34,48,120,49,99,57,100,49,50,48,49,48,53,54,48,48,48,34,44,34,99,111,100,101,34,58,34,48,120,34,44,34,110,111,110,99,101,34,58,34,48,120,48,34,44,34,115,116,111,114,97,103,101,34,58,123,125,125,44,34,48,120,57,49,51,57,101,101,53,52,53,48,102,100,51,98,48,100,48,55,101,51,97,54,50,51,101,101,53,101,51,100,102,48,49,51,98,102,100,101,97,55,34,58,123,34,98,97,108,97,110,99,101,34,58,34,48,120,50,98,48,55,55,101,98,97,99,53,102,50,53,50,100,49,101,99,99,34,44,34,99,111,100,101,34,58,34,48,120,34,44,34,110,111,110,99,101,34,58,34,48,120,102,34,44,34,115,116,111,114,97,103,101,34,58,123,125,125,44,34,48,120,97,52,56,50,97,101,55,100,55,53,51,98,51,51,99,98,48,54,102,100,54,56,55,50,52,52,51,101,57,48,50,99,98,54,98,101,101,53,57,50,34,58,123,34,98,97,108,97,110,99,101,34,58,34,48,120,49,48,57,56,51,100,54,101,48,97,48,102,57,51,52,56,99,53,48,34,44,34,99,111,100,101,34,58,34,48,120,34,44,34,110,111,110,99,101,34,58,34,48,120,49,97,34,44,34,115,116,111,114,97,103,101,34,58,123,125,125,125,44,34,112,111,115,116,34,58,123,34,83,104,97,110,103,104,97,105,34,58,91,123,34,101,120,112,101,99,116,69,120,99,101,112,116,105,111,110,34,58,110,117,108,108,44,34,105,110,100,101,120,101,115,34,58,123,34,100,97,116,97,34,58,48,44,34,103,97,115,34,58,48,44,34,118,97,108,117,101,34,58,48,125,44,34,104,97,115,104,34,58,34,48,120,99,102,48,54,54,53,99,98,102,97,50,56,57,48,97,57,102,101,48,53,100,101,99,48,50,55,102,102,99,97,53,48,102,50,50,57,97,52,49,52,99,54,49,48,51,48,48,52,97,49,49,55,102,49,100,102,101,57,53,50,99,52,53,98,34,44,34,112,111,115,116,83,116,97,116,101,34,58,123,34,48,120,49,56,100,98,55,100,102,53,102,51,48,97,97,102,54,98,52,102,49,53,98,50,52,50,99,48,55,99,101,54,50,102,102,97,50,102,51,51,49,49,34,58,123,34,98,97,108,97,110,99,101,34,58,34,48,120,49,100,53,101,99,97,101,101,53,98,98,48,48,48,34,44,34,99,111,100,101,34,58,34,48,120,34,44,34,110,111,110,99,101,34,58,34,48,120,48,34,44,34,115,116,111,114,97,103,101,34,58,123,125,125,44,34,48,120,97,52,56,50,97,101,55,100,55,53,51,98,51,51,99,98,48,54,102,100,54,56,55,50,52,52,51,101,57,48,50,99,98,54,98,101,101,53,57,50,34,58,123,34,98,97,108,97,110,99,101,34,58,34,48,120,49,48,57,56,51,100,53,102,56,98,53,50,56,99,55,53,101,49,56,34,44,34,99,111,100,101,34,58,34,48,120,34,44,34,110,111,110,99,101,34,58,34,48,120,49,98,34,44,34,115,116,111,114,97,103,101,34,58,123,125,125,44,34,48,120,57,49,51,57,101,101,53,52,53,48,102,100,51,98,48,100,48,55,101,51,97,54,50,51,101,101,53,101,51,100,102,48,49,51,98,102,100,101,97,55,34,58,123,34,98,97,108,97,110,99,101,34,58,34,48,120,50,98,48,55,55,101,98,100,50,57,50,48,56,52,49,98,101,99,99,34,44,34,99,111,100,101,34,58,34,48,120,34,44,34,110,111,110,99,101,34,58,34,48,120,102,34,44,34,115,116,111,114,97,103,101,34,58,123,125,125,125,44,34,108,111,103,115,34,58,34,48,120,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,34,44,34,116,120,98,121,116,101,115,34,58,34,48,120,55,98,50,50,54,51,54,49,54,99,54,99,54,53,55,50,50,50,51,97,50,50,51,48,55,56,54,49,51,52,51,56,51,50,54,49,54,53,51,55,54,52,51,55,51,53,51,51,54,50,51,51,51,51,54,51,54,50,51,48,51,54,54,54,54,52,51,54,51,56,51,55,51,50,51,52,51,52,51,51,54,53,51,57,51,48,51,50,54,51,54,50,51,54,54,50,54,53,54,53,51,53,51,57,51,50,50,50,50,99,50,50,54,55,54,49,55,51,53,102,54,99,54,57,54,100,54,57,55,52,50,50,51,97,51,50,51,49,51,48,51,48,51,48,50,99,50,50,54,55,54,49,55,51,53,102,55,48,55,50,54,57,54,51,54,53,50,50,51,97,50,50,51,48,55,56,51,55,51,55,51,51,51,53,51,57,51,52,51,48,51,55,50,50,50,99,50,50,55,52,55,50,54,49,54,101,55,51,54,49,54,51,55,52,53,102,55,52,54,102,50,50,51,97,50,50,51,48,55,56,51,49,51,56,54,52,54,50,51,55,54,52,54,54,51,53,54,54,51,51,51,48,54,49,54,49,54,54,51,54,54,50,51,52,54,54,51,49,51,53,54,50,51,50,51,52,51,50,54,51,51,48,51,55,54,51,54,53,51,54,51,50,54,54,54,54,54,49,51,50,54,54,51,51,51,51,51,49,51,49,50,50,50,99,50,50,55,54,54,49,54,99,55,53,54,53,50,50,51,97,50,50,51,48,55,56,54,51,51,49,54,50,51,56,54,53,54,52,51,53,51,54,51,53,51,48,51,48,51,48,50,50,50,99,50,50,54,52,54,49,55,52,54,49,50,50,51,97,50,50,51,48,55,56,50,50,50,99,50,50,54,101,54,102,54,101,54,51,54,53,50,50,51,97,51,50,51,54,50,99,50,50,54,51,54,56,54,49,54,57,54,101,53,102,54,57,54,52,50,50,51,97,51,51,51,50,51,51,51,56,51,50,50,99,50,50,54,49,54,51,54,51,54,53,55,51,55,51,53,102,54,99,54,57,55,51,55,52,50,50,51,97,53,98,53,100,50,99,50,50,54,55,54,49,55,51,53,102,55,48,55,50,54,57,54,102,55,50,54,57,55,52,55,57,53,102,54,54,54,53,54,53,50,50,51,97,50,50,51,48,55,56,51,55,51,55,51,51,51,53,51,57,51,52,51,48,51,48,50,50,50,99,50,50,54,50,54,99,54,102,54,50,53,102,54,56,54,49,55,51,54,56,54,53,55,51,50,50,51,97,53,98,53,100,50,99,50,50,54,100,54,49,55,56,53,102,54,54,54,53,54,53,53,102,55,48,54,53,55,50,53,102,54,50,54,99,54,102,54,50,53,102,54,55,54,49,55,51,50,50,51,97,54,101,55,53,54,99,54,99,50,99,50,50,54,49,55,53,55,52,54,56,54,102,55,50,54,57,55,97,54,49,55,52,54,57,54,102,54,101,53,102,54,99,54,57,55,51,55,52,50,50,51,97,54,101,55,53,54,99,54,99,55,100,34,125,93,125,44,34,116,114,97,110,115,97,99,116,105,111,110,34,58,123,34,100,97,116,97,34,58,91,34,48,120,34,93,44,34,103,97,115,76,105,109,105,116,34,58,91,34,48,120,53,50,48,56,34,93,44,34,103,97,115,80,114,105,99,101,34,58,34,48,120,55,55,51,53,57,52,48,55,34,44,34,110,111,110,99,101,34,58,34,48,120,49,97,34,44,34,115,101,99,114,101,116,75,101,121,34,58,34,48,120,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,34,44,34,115,101,110,100,101,114,34,58,34,48,120,97,52,56,50,97,101,55,100,55,53,51,98,51,51,99,98,48,54,102,100,54,56,55,50,52,52,51,101,57,48,50,99,98,54,98,101,101,53,57,50,34,44,34,116,111,34,58,34,48,120,49,56,100,98,55,100,102,53,102,51,48,97,97,102,54,98,52,102,49,53,98,50,52,50,99,48,55,99,101,54,50,102,102,97,50,102,51,51,49,49,34,44,34,118,97,108,117,101,34,58,91,34,48,120,99,49,98,56,101,100,53,54,53,48,48,48,34,93,44,34,109,97,120,70,101,101,80,101,114,71,97,115,34,58,34,48,120,49,55,52,56,55,54,101,56,48,48,34,44,34,109,97,120,80,114,105,111,114,105,116,121,70,101,101,80,101,114,71,97,115,34,58,34,48,120,55,55,51,53,57,52,48,48,34,44,34,97,99,99,101,115,115,76,105,115,116,115,34,58,91,91,93,93,44,34,98,108,111,98,86,101,114,115,105,111,110,101,100,72,97,115,104,101,115,34,58,91,93,44,34,109,97,120,70,101,101,80,101,114,66,108,111,98,71,97,115,34,58,110,117,108,108,125,44,34,111,117,116,34,58,110,117,108,108,125]}

‎contracts/verifier/snark_proof_with_public_inputs.json‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
{"Proof":{"Ar":{"X":"5994796414855330279065706512461940173003535436454272510371884944778183220302","Y":"9979836589617051287237964220027676158651659880361307070031011222574442197333"},"Krs":{"X":"16425790600371440879048973447442289896128617218437946182899147455494672154327","Y":"16793774841009774311478607962388436195173668336718362390104170978699859140336"},"Bs":{"X":{"A0":"21266426073961229419279095443642077380427558788991791627794984405608358447969","A1":"4215462658323739035539772293752009147404279262137887490779576475050096740793"},"Y":{"A0":"9734149779616818867124275749828029321793592106575872495296116896240194651571","A1":"805855292067123296655616051327210961447690494844642826581054334651142896334"}},"Commitments":[{"X":"14999526371232172328720781148880234212128075630755076155226146277253242268926","Y":"12533709697540749719271196349170692011621445086961136148015304778551632957662"}],"CommitmentPok":{"X":"16944420262394583326227442952980175766915086863156341226871919788821408053792","Y":"18856406134740883110051279191817661923647044766596119316665934586625582461803"}},"PublicWitness":["9109048324632521390150885285073287124501684821785031893029558487799656969399","941471420695846506503662682553547735673473641949479646471617379358248217516"]}
1+
{"Proof":{"Ar":{"X":"7186135276781249953931971807395359553738737396369189978676972828559687911050","Y":"6776111346024315997821287495949922597726155092789789208003025319371823177400"},"Krs":{"X":"17398800956160994907078359132216798650859961828843674974927386003572659527838","Y":"1505753620672236196431768128669190710184238907929163097685743852141359019007"},"Bs":{"X":{"A0":"10650615044762938302061696279898581608963349589763710441057765801243763048243","A1":"11189134750592344803219573267046095337454691719242987107124878677577931319856"},"Y":{"A0":"2687067041070760377199920706157787639487384326434022448892647057902768607419","A1":"14918422751760630375672422742799788072692812873888191360334544635211429592250"}},"Commitments":[{"X":"17365480174302383356356494751168588120111172298808973213182488169702023435208","Y":"627671046180786515772153557009475879810453157208863447742007435475494954980"}],"CommitmentPok":{"X":"5330253961486900306551184358204112276831458336949354696790033919165388110258","Y":"7679640774794238346990272381479595686217688288804536601769854742252419631956"}},"PublicWitness":["9635573105798256693026048210833316991432188496049671991666612092009219263205","14859581352550533749554115174090027224340371419832752855055304807458264476834"]}

‎guest-program/sha2-composition/Cargo.toml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,4 +6,5 @@ edition = "2021"
66

77
[dependencies]
88
zkm-runtime = { git = "https://github.com/zkMIPS/zkm.git"}
9+
#zkm-runtime = { path = "../../../zkm/runtime/entrypoint" }
910
sha2 = { version = "0.10.8", default-features = false }

‎host-program/mem-alloc-vec/Cargo.toml‎

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,16 +7,15 @@ edition = "2021"
77

88
[dependencies]
99
zkm-sdk = { path = "../../sdk", features = ["snark"] }
10-
zkm-recursion = {git = "https://github.com/zkMIPS/zkm", branch = "main", default-features = false }
10+
zkm-recursion = { workspace = true, default-features = false }
1111

12-
#tonic = "0.8.1"
1312
tokio = { version = "1.21.0", features = ["macros", "rt-multi-thread", "signal"] }
1413
log = { version = "0.4.14", default-features = false }
1514
env_logger = "0.10.0"
1615
anyhow = "1.0.75"
1716
[build-dependencies]
1817
tonic-build = "0.8.0"
19-
zkm-build = { git = "https://github.com/zkMIPS/zkm", branch = "main", default-features = false }
18+
zkm-build = { workspace = true, default-features = false }
2019

2120
[features]
2221
test = []

‎host-program/revme/Cargo.toml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,16 +7,16 @@ edition = "2021"
77

88
[dependencies]
99
zkm-sdk = { path = "../../sdk", features = ["snark"] }
10-
zkm-recursion = {git = "https://github.com/zkMIPS/zkm", branch = "main", default-features = false }
10+
zkm-recursion = { workspace = true, default-features = false }
1111

1212
tokio = { version = "1.21.0", features = ["macros", "rt-multi-thread", "signal"] }
13-
#ethers = "2.0.14"
1413
log = { version = "0.4.14", default-features = false }
1514
env_logger = "0.10.0"
1615
anyhow = "1.0.75"
16+
1717
[build-dependencies]
1818
tonic-build = "0.8.0"
19-
zkm-build = { git = "https://github.com/zkMIPS/zkm", branch = "main", default-features = false }
19+
zkm-build = { workspace = true, default-features = false }
2020

2121
[features]
2222
test = []

‎host-program/run-proving.sh‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
set -e
1+
set -xe
22
if [ $# -lt 1 ]; then
33
echo "usage: ./run_proving revme or sha2-rust or sha2-go or mem-alloc-vec"
44
exit 1
@@ -14,7 +14,7 @@ export ARGS="711e9609339e92b03ddc0a211827dba421f38f9ed8b9d806e1ffdd8c15ffa03d wo
1414
export JSON_PATH=${BASEDIR}/test-vectors/test.json
1515
export PROOF_RESULTS_PATH=${BASEDIR}/../contracts
1616
export EXECUTE_ONLY=false
17-
export KEY_PATH=${BASEDIR}/../keys
17+
export KEY_PATH=${KEY_PATH-"${BASEDIR}/../keys"}
1818
export SNARK_SETUP=${SNARK_SETUP-false}
1919

2020
##network proving
@@ -41,6 +41,7 @@ echo "SEG_SIZE:$SEG_SIZE"
4141
echo "BASEDIR:$BASEDIR"
4242
echo "ZKM_PROVER:$ZKM_PROVER"
4343

44+
#$BASEDIR/../target/release/$program
4445
nohup $BASEDIR/../target/release/$program >./$program-$ZKM_PROVER-proving.log 2>&1 &
4546

4647
echo "Check out the log: tail -f $program-$ZKM_PROVER-proving.log"

‎host-program/sha2-composition/Cargo.toml‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,15 +10,14 @@ bincode = "1.3.3"
1010
sha2 = { version = "0.10.8", default-features = false }
1111

1212
tokio = { version = "1.21.0", features = ["macros", "rt-multi-thread", "signal"] }
13-
#ethers = "2.0.14"
1413

1514
log = { version = "0.4.14", default-features = false }
1615
anyhow = "1.0.75"
1716
env_logger = "0.10.0"
1817

1918
[build-dependencies]
2019
tonic-build = "0.8.0"
21-
zkm-build = { git = "https://github.com/zkMIPS/zkm", branch = "main", default-features = false }
20+
zkm-build = { workspace = true, default-features = false }
2221

2322
[features]
2423
test = []

‎host-program/sha2-composition/src/main.rs‎

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -14,10 +14,10 @@ async fn main() -> Result<()> {
1414
let elf_path = std::env::var("ELF_PATH").unwrap_or(env!("GUEST_TARGET_PATH").to_string());
1515
std::env::set_var("ELF_PATH", elf_path);
1616

17+
// Here we can not run the groth16 setup, since we only have one segment.
1718
let (client_config, mut inner_prover_input) = ClientCfg::from_env(set_pre_guest_input);
18-
log::info!("new prover client:");
19+
log::info!("create prover client");
1920
let prover_client = ProverClient::new(&client_config).await;
20-
log::info!("new prover client,ok.");
2121
let outer_seg_size = inner_prover_input.seg_size;
2222
let outer_elf = inner_prover_input.elf;
2323
inner_prover_input.seg_size = 0;
@@ -38,8 +38,7 @@ async fn main() -> Result<()> {
3838
log::info!("pre_elf_id: {:?}", pre_elf_id);
3939
}
4040
Ok(None) => {
41-
log::info!("Failed to generate proof.The result is None.");
42-
bail!("Failed to generate proof.");
41+
bail!("Failed to generate proof due to void result.");
4342
}
4443
Err(e) => {
4544
log::info!("Failed to generate proof. error: {}", e);
@@ -56,6 +55,8 @@ async fn main() -> Result<()> {
5655
seg_size: outer_seg_size,
5756
execute_only: inner_prover_input.execute_only,
5857
receipts,
58+
snark_setup: inner_prover_input.snark_setup,
59+
proof_results_path: inner_prover_input.proof_results_path,
5960
..Default::default()
6061
};
6162

‎host-program/sha2-go/Cargo.toml‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,10 +8,9 @@ edition = "2021"
88
[dependencies]
99
zkm-sdk = { path = "../../sdk", features = ["snark"] }
1010
bincode = "1.3.3"
11-
zkm-recursion = {git = "https://github.com/zkMIPS/zkm", branch = "main", default-features = false }
11+
zkm-recursion = { workspace = true, default-features = false }
1212

1313
tokio = { version = "1.21.0", features = ["macros", "rt-multi-thread", "signal"] }
14-
#ethers = "2.0.14"
1514

1615
itertools = "0.11.0"
1716
log = { version = "0.4.14", default-features = false }

0 commit comments

Comments
 (0)