fmt

scroll-tech · Sep 18, 2024 · a926c07 · a926c07
1 parent 4936d54
commit a926c07
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 6 deletions.
diff --git a/ceno_zkvm/src/circuit_builder.rs b/ceno_zkvm/src/circuit_builder.rs
@@ -150,7 +150,9 @@ impl<E: ExtensionField> ConstraintSystem<E> {
         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
@@ -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,