diff --git a/DynamoDbEncryption/runtimes/rust/Cargo.toml b/DynamoDbEncryption/runtimes/rust/Cargo.toml
index f1da0d79e..beedebb42 100644
--- a/DynamoDbEncryption/runtimes/rust/Cargo.toml
+++ b/DynamoDbEncryption/runtimes/rust/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "aws-db-esdk"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 rust-version = "1.80.0"
 keywords = ["cryptography", "security", "dynamodb", "encryption", "client-side"]
diff --git a/releases/rust/db_esdk/Cargo.toml b/releases/rust/db_esdk/Cargo.toml
index f1da0d79e..beedebb42 100644
--- a/releases/rust/db_esdk/Cargo.toml
+++ b/releases/rust/db_esdk/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "aws-db-esdk"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 rust-version = "1.80.0"
 keywords = ["cryptography", "security", "dynamodb", "encryption", "client-side"]
diff --git a/releases/rust/db_esdk/src/aes_kdf_ctr.rs b/releases/rust/db_esdk/src/aes_kdf_ctr.rs
index f5b996ba3..36f17bbea 100644
--- a/releases/rust/db_esdk/src/aes_kdf_ctr.rs
+++ b/releases/rust/db_esdk/src/aes_kdf_ctr.rs
@@ -14,9 +14,6 @@ pub mod AesKdfCtr {
     use dafny_runtime::Sequence;
     use std::rc::Rc;
 
-    #[allow(non_camel_case_types)]
-    // pub struct _default {}
-
     fn error(s: &str) -> Rc<DafnyError> {
         Rc::new(DafnyError::AwsCryptographicPrimitivesError {
             message:
diff --git a/releases/rust/db_esdk/src/lib.rs b/releases/rust/db_esdk/src/lib.rs
index eeea2b4b4..9832c4c17 100644
--- a/releases/rust/db_esdk/src/lib.rs
+++ b/releases/rust/db_esdk/src/lib.rs
@@ -3,6 +3,8 @@
 
 #![allow(warnings, unconditional_panic)]
 #![allow(nonstandard_style)]
+#![allow(clippy::never_loop)]
+#![allow(clippy::absurd_extreme_comparisons)]
 
 pub mod client;
 pub mod conversions;
@@ -30,7 +32,7 @@ pub use crate::deps::aws_cryptography_materialProviders;
 pub use crate::deps::aws_cryptography_primitives;
 
 pub(crate) mod implementation_from_dafny;
-pub(crate) use crate::implementation_from_dafny::r#_Wrappers_Compile;
+pub(crate) use crate::implementation_from_dafny::_Wrappers_Compile;
 pub(crate) use crate::implementation_from_dafny::software;
 pub(crate) use crate::implementation_from_dafny::AesKdfCtr;
 pub(crate) use crate::implementation_from_dafny::ConcurrentCall;
diff --git a/releases/rust/db_esdk/src/standard_library_conversions.rs b/releases/rust/db_esdk/src/standard_library_conversions.rs
index 6bf8297d8..5c0004901 100644
--- a/releases/rust/db_esdk/src/standard_library_conversions.rs
+++ b/releases/rust/db_esdk/src/standard_library_conversions.rs
@@ -1,3 +1,6 @@
+// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+// SPDX-License-Identifier: Apache-2.0
+
 pub fn ostring_to_dafny(
     input: &Option<String>,
 ) -> ::std::rc::Rc<
diff --git a/releases/rust/db_esdk/src/standard_library_externs.rs b/releases/rust/db_esdk/src/standard_library_externs.rs
index f5f0f35fb..54198eafa 100644
--- a/releases/rust/db_esdk/src/standard_library_externs.rs
+++ b/releases/rust/db_esdk/src/standard_library_externs.rs
@@ -1,3 +1,6 @@
+// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+// SPDX-License-Identifier: Apache-2.0
+
 // Annotation to ignore the case of this module
 use crate::r#_Wrappers_Compile;
 use crate::implementation_from_dafny::UTF8;
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
index 370be9c25..b5c3522da 160000
--- a/submodules/MaterialProviders
+++ b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit 370be9c25900681687b36f022f0e3ba740c933b9
+Subproject commit b5c3522da3cfafddd2b180e5fe110e1cf1fc1129
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
index c06e2c0fb..99d3dd9d1 160000
--- a/submodules/smithy-dafny
+++ b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit c06e2c0fba84fdfa630b518b184cf4d6826b7622
+Subproject commit 99d3dd9d1902b54e0cb1f659379c8db43aec29b9