diff options
Diffstat (limited to 'zkvms/risc0')
| -rw-r--r-- | zkvms/risc0/host/src/main.rs | 3 | ||||
| -rw-r--r-- | zkvms/risc0/wrapper_macro/src/lib.rs | 4 |
2 files changed, 4 insertions, 3 deletions
diff --git a/zkvms/risc0/host/src/main.rs b/zkvms/risc0/host/src/main.rs index 78fd164..f010115 100644 --- a/zkvms/risc0/host/src/main.rs +++ b/zkvms/risc0/host/src/main.rs @@ -2,9 +2,8 @@ use hex::FromHex; use risc0_zkp::core::digest::Digest; use risc0_zkvm::{default_executor, default_prover, ExecutorEnv, Receipt}; use zkvms_host_io::{ - benchmarkable, foreach_input_field, read_args, Input, Output, + benchmarkable, foreach_input_field, output_proof_size, read_args, Input, Output, RunType::{Execute, Prove, Verify}, - output_proof_size, }; // https://github.com/risc0/risc0/blob/881e512732eca72849b2d0e263a1242aba3158af/risc0/build/src/lib.rs#L280-L284 diff --git a/zkvms/risc0/wrapper_macro/src/lib.rs b/zkvms/risc0/wrapper_macro/src/lib.rs index c43f5c1..42b8ca0 100644 --- a/zkvms/risc0/wrapper_macro/src/lib.rs +++ b/zkvms/risc0/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>()); |