Auto-format Python files with black

Author: theoddden

src/mandala/core/zk/circuits.py

@@ -28,6 +28,7 @@
         zk_generate_cold_chain_proof,
         zk_load_proving_key,
     )
+
     RUST_BACKEND_AVAILABLE = True
     log.info("zk.rust_backend.enabled")
 except ImportError:
@@ -116,7 +117,7 @@ def _generate_sync():
                     breach_ts,
                     pk_path,
                 )
-                
+
                 # Convert Rust proof to Python format
                 return ColdChainBreachProof(
                     proof=proof.proof,

src/mandala/core/zk/verifier.py

@@ -23,6 +23,7 @@
         zk_verify_cold_chain_proof,
         zk_verify_cold_chain_proof_with_timestamp_check,
     )
+
     RUST_BACKEND_AVAILABLE = True
     log.info("zk.rust_backend.enabled")
 except ImportError:
@@ -74,6 +75,7 @@ def _verify_sync():
 
             # Convert public inputs to JSON
             import json
+
             public_inputs_json = json.dumps(proof.public_inputs)
 
             # Call Rust verification

tests/test_zk_integration.py

@@ -21,6 +21,7 @@
         zk_load_proving_key,
         zk_load_verification_key,
     )
+
     RUST_BACKEND_AVAILABLE = True
 except ImportError:
     RUST_BACKEND_AVAILABLE = False
@@ -63,15 +64,16 @@ def test_generate_keys_breach_scenario(self, tmp_path):
         """Test generating keys for a breach scenario."""
         pk_path = str(tmp_path / "test.pk")
         vk_path = str(tmp_path / "test.vk")
-        
+
         # Generate keys
         zk_generate_keys_breach_scenario(pk_path, vk_path)
-        
+
         # Verify files were created
         import os
+
         assert os.path.exists(pk_path)
         assert os.path.exists(vk_path)
-        
+
         # Verify files are not empty
         assert os.path.getsize(pk_path) > 0
         assert os.path.getsize(vk_path) > 0
@@ -80,14 +82,14 @@ def test_load_generated_keys(self, tmp_path):
         """Test loading generated keys."""
         pk_path = str(tmp_path / "test.pk")
         vk_path = str(tmp_path / "test.vk")
-        
+
         # Generate keys
         zk_generate_keys_breach_scenario(pk_path, vk_path)
-        
+
         # Load keys
         pk_bytes = zk_load_proving_key(pk_path)
         vk_bytes = zk_load_verification_key(vk_path)
-        
+
         assert len(pk_bytes) > 0
         assert len(vk_bytes) > 0
 
@@ -102,7 +104,7 @@ def test_proof_generation_with_mock_keys(self, tmp_path):
         pk_path = str(tmp_path / "test.pk")
         vk_path = str(tmp_path / "test.vk")
         zk_generate_keys_breach_scenario(pk_path, vk_path)
-        
+
         # Create mock event
         event = MandalaEvent(
             id="test-event-123",
@@ -112,10 +114,10 @@ def test_proof_generation_with_mock_keys(self, tmp_path):
             time=datetime(2024, 1, 1, 12, 0, 0, tzinfo=UTC),
             data={"temperature_c": -5.0},
         )
-        
+
         # Create circuit
         circuit = ZKCircuit(event)
-        
+
         # Generate proof
         try:
             proof = circuit.build_cold_chain_circuit(
@@ -124,7 +126,7 @@ def test_proof_generation_with_mock_keys(self, tmp_path):
                 breach_timestamp=datetime(2024, 1, 1, 12, 5, 0, tzinfo=UTC),
                 pk_path=pk_path,
             )
-            
+
             # Verify proof structure
             assert isinstance(proof, ColdChainBreachProof)
             assert len(proof.proof) > 0
@@ -146,13 +148,13 @@ def test_verification_with_mock_proof(self, tmp_path):
         pk_path = str(tmp_path / "test.pk")
         vk_path = str(tmp_path / "test.vk")
         zk_generate_keys_breach_scenario(pk_path, vk_path)
-        
+
         # Load verification key
         vk_bytes = zk_load_verification_key(vk_path)
-        
+
         # Create verifier
         verifier = ZKVerifier(verification_key_path=vk_path)
-        
+
         # Create mock proof (this would normally come from proof generation)
         # For now, we just test that the verifier can be instantiated
         assert verifier is not None
@@ -167,7 +169,7 @@ def test_verifier_fallback_on_error(self):
         """Test that verifier falls back to subprocess on Rust error."""
         # Create verifier with invalid key path
         verifier = ZKVerifier(verification_key_path="/nonexistent/path.vk")
-        
+
         # Create mock proof
         proof = ColdChainBreachProof(
             proof=b"mock_proof",
@@ -176,7 +178,7 @@ def test_verifier_fallback_on_error(self):
             proof_id="test-proof-123",
             generated_at=datetime.now(UTC),
         )
-        
+
         # Try to verify (should fail gracefully)
         try:
             result = verifier._verify_with_rust(proof, None)
@@ -196,17 +198,17 @@ def test_full_pipeline_with_mock(self, tmp_path):
         pk_path = str(tmp_path / "test.pk")
         vk_path = str(tmp_path / "test.vk")
         zk_generate_keys_breach_scenario(pk_path, vk_path)
-        
+
         # Load keys
         pk_bytes = zk_load_proving_key(pk_path)
         vk_bytes = zk_load_verification_key(vk_path)
-        
+
         # Create verifier
         verifier = ZKVerifier(verification_key_path=vk_path)
-        
+
         # Verify verifier is using Rust backend
         assert verifier._vk_path == vk_path
-        
+
         # Note: Full proof generation test is skipped until circuit is fully implemented
         # This is a placeholder for the end-to-end test