From a926c072ecee37c76687ce01126d1fbbbdeddc20 Mon Sep 17 00:00:00 2001 From: kunxian xia Date: Wed, 18 Sep 2024 16:52:33 +0800 Subject: [PATCH] fmt --- ceno_zkvm/src/circuit_builder.rs | 4 +++- ceno_zkvm/src/scheme/tests.rs | 6 +----- 2 files changed, 4 insertions(+), 6 deletions(-) diff --git a/ceno_zkvm/src/circuit_builder.rs b/ceno_zkvm/src/circuit_builder.rs index 3d305dabf..8797e5c58 100644 --- a/ceno_zkvm/src/circuit_builder.rs +++ b/ceno_zkvm/src/circuit_builder.rs @@ -150,7 +150,9 @@ impl ConstraintSystem { let fixed_commit_wd = fixed_traces .as_ref() .map(|traces| PCS::batch_commit(pp, traces).unwrap()); - let fixed_commit = fixed_commit_wd.as_ref().map(|commit_wd| PCS::get_pure_commitment(commit_wd)); + let fixed_commit = fixed_commit_wd + .as_ref() + .map(|commit_wd| PCS::get_pure_commitment(commit_wd)); ProvingKey { fixed_traces, diff --git a/ceno_zkvm/src/scheme/tests.rs b/ceno_zkvm/src/scheme/tests.rs index 5465d442a..28fef8bc5 100644 --- a/ceno_zkvm/src/scheme/tests.rs +++ b/ceno_zkvm/src/scheme/tests.rs @@ -130,11 +130,7 @@ fn test_rw_lk_expression_combination() { let verifier = ZKVMVerifier::new(vk.clone()); let mut v_transcript = Transcript::new(b"test"); // write commitment into transcript and derive challenges from it - Pcs::write_commitment( - &proof.wits_commit, - &mut v_transcript, - ) - .unwrap(); + Pcs::write_commitment(&proof.wits_commit, &mut v_transcript).unwrap(); let challenges = [ transcript.read_challenge().elements, transcript.read_challenge().elements,