diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-05-02 10:24:47 +0300 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-05-02 15:32:54 +0300 |
| commit | 1a2ad5528f7a61390c40c0b6f56fa507923d09f5 (patch) | |
| tree | 713b8e86674a34b3a6b6d65062709f192f5b894c /zkvms/sp1 | |
| parent | eefb57f2c035be1a398f630dd8cfed8b4ccbe348 (diff) | |
| download | zkVMs-benchmarks-1a2ad5528f7a61390c40c0b6f56fa507923d09f5.tar zkVMs-benchmarks-1a2ad5528f7a61390c40c0b6f56fa507923d09f5.tar.gz zkVMs-benchmarks-1a2ad5528f7a61390c40c0b6f56fa507923d09f5.zip | |
chore: cargo fmt
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>()); |