diff options
Diffstat (limited to 'zkvms/sp1')
| -rw-r--r-- | zkvms/sp1/host/src/main.rs | 3 | ||||
| -rw-r--r-- | zkvms/sp1/wrapper_macro/src/lib.rs | 4 |
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>()); |
