aboutsummaryrefslogtreecommitdiff
path: root/zkvms/sp1
diff options
context:
space:
mode:
Diffstat (limited to 'zkvms/sp1')
-rw-r--r--zkvms/sp1/host/src/main.rs3
-rw-r--r--zkvms/sp1/wrapper_macro/src/lib.rs4
2 files changed, 4 insertions, 3 deletions
diff --git a/zkvms/sp1/host/src/main.rs b/zkvms/sp1/host/src/main.rs
index a395247..5403a53 100644
--- a/zkvms/sp1/host/src/main.rs
+++ b/zkvms/sp1/host/src/main.rs
@@ -1,8 +1,7 @@
use sp1_sdk::{EnvProver, ProverClient, SP1ProofWithPublicValues, SP1Stdin, SP1VerifyingKey};
use zkvms_host_io::{
- benchmarkable, foreach_input_field, read_args, Input,
+ benchmarkable, foreach_input_field, output_proof_size, read_args, Input,
RunType::{Execute, Prove, Verify},
- output_proof_size,
};
/// The ELF (executable and linkable format) file for the Succinct RISC-V zkVM.
diff --git a/zkvms/sp1/wrapper_macro/src/lib.rs b/zkvms/sp1/wrapper_macro/src/lib.rs
index 53965c2..070a09b 100644
--- a/zkvms/sp1/wrapper_macro/src/lib.rs
+++ b/zkvms/sp1/wrapper_macro/src/lib.rs
@@ -51,7 +51,9 @@ pub fn make_wrapper(item: TokenStream) -> TokenStream {
.collect::<String>();
out.extend(commits.parse::<TokenStream>());
- out.extend(format!("commit(&zkp::{}({}));", fd.name, fd.grouped_patterns()).parse::<TokenStream>());
+ out.extend(
+ format!("commit(&zkp::{}({}));", fd.name, fd.grouped_patterns()).parse::<TokenStream>(),
+ );
let mut block = TokenStream::new();
block.extend(format!("{{ {} }}", out).parse::<TokenStream>());