chore: fmt

Author: ashpect

provekit/common/src/prefix_covector.rs

@@ -167,7 +167,8 @@ pub fn expand_powers<const D: usize>(values: &[FieldElement]) -> Vec<FieldElemen
 
 /// Create a public weight [`PrefixCovector`] from Fiat-Shamir randomness `x`.
 ///
-/// Builds the vector `[1, x, x², …, x^{n-1}]` where `n = num_public_inputs + 1`.
+/// Builds the vector `[1, x, x², …, x^{n-1}]` where `n = num_public_inputs +
+/// 1`.
 #[must_use]
 pub fn make_public_weight(x: FieldElement, num_public_inputs: usize, m: usize) -> PrefixCovector {
     let n = num_public_inputs + 1;

tooling/provekit-bench/tests/compiler.rs

@@ -86,7 +86,8 @@ fn case_noir(path: &str) {
     test_noir_compiler(path);
 }
 
-/// Verify that the verifier rejects a proof whose public inputs have been tampered with. 
+/// Verify that the verifier rejects a proof whose public inputs have been
+/// tampered with.
 #[test]
 fn test_public_input_binding_exploit() {
     use provekit_common::{witness::PublicInputs, FieldElement, HashConfig};
@@ -121,7 +122,8 @@ fn test_public_input_binding_exploit() {
             .expect("Honest proof should verify");
     }
 
-    // Tamper: the committed polynomial encodes result=16 at position 1, but we claim result=42. The verifier should reject this.
+    // Tamper: the committed polynomial encodes result=16 at position 1, but we
+    // claim result=42. The verifier should reject this.
     proof.public_inputs = PublicInputs::from_vec(vec![FieldElement::from(42u64)]);
 
     let result = verifier.verify(&proof);