Merge branch 'main' into feat/zksolc-1.5.7

matter-labs · Nov 4, 2024 · 56602c8 · 56602c8
2 parents a5f80e3 + 883034d
commit 56602c8
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/crates/verify/src/zksync/standard_json.rs b/crates/verify/src/zksync/standard_json.rs
@@ -11,12 +11,15 @@ impl ZksyncSourceProvider for ZksyncStandardJsonSource {
         &self,
         context: &ZkVerificationContext,
     ) -> Result<(StandardJsonCompilerInput, String)> {
-        let input = foundry_compilers::zksync::project_standard_json_input(
+        let mut input = foundry_compilers::zksync::project_standard_json_input(
             &context.project,
             &context.target_path,
         )
         .wrap_err("failed to get zksolc standard json")?;
 
+        // Sanitize the input
+        input.settings = input.settings.clone().sanitized(&context.compiler_version.solc);
+
         let relative_path = context
             .target_path
             .strip_prefix(context.project.root())