m

Author: ajewellamz

DynamoDbEncryption/runtimes/rust/Cargo.toml

@@ -16,18 +16,18 @@ readme = "README.md"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-aws-config = "1.5.8"
-aws-lc-rs = "1.10.0"
-aws-lc-sys = "0.22.0"
-aws-sdk-dynamodb = "1.50.0"
-aws-sdk-kms = "1.47.0"
-aws-smithy-runtime-api = {version = "1.7.2", features = ["client"] }
-aws-smithy-types = "1.2.8"
+aws-config = "1.5.10"
+aws-lc-rs = "1.11.1"
+aws-lc-sys = "0.23.1"
+aws-sdk-dynamodb = "1.54.0"
+aws-sdk-kms = "1.50.0"
+aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
+aws-smithy-types = "1.2.9"
 chrono = "0.4.38"
 dafny_runtime = { path = "../../../submodules/MaterialProviders/smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust"}
 dashmap = "6.1.0"
 pem = "3.0.4"
-tokio = {version = "1.41.0", features = ["full"] }
+tokio = {version = "1.41.1", features = ["full"] }
 uuid = { version = "1.11.0", features = ["v4"] }
 
 [[example]]

TestVectors/runtimes/rust/.gitignore

@@ -0,0 +1,39 @@
+*.pem
+*.json
+Cargo.lock
+src/aes_gcm.rs
+src/aes_kdf_ctr.rs
+src/client
+src/client.rs
+src/concurrent_call.rs
+src/conversions
+src/conversions.rs
+src/dafny_libraries.rs
+src/ddb.rs
+src/deps
+src/deps.rs
+src/digest.rs
+src/ecdh.rs
+src/ecdsa.rs
+src/error
+src/error.rs
+src/hmac.rs
+src/implementation_from_dafny.rs
+src/kms.rs
+src/local_cmc.rs
+src/operation
+src/operation.rs
+src/random.rs
+src/rsa.rs
+src/sets.rs
+src/software_externs.rs
+src/standard_library_conversions.rs
+src/standard_library_externs.rs
+src/storm_tracker.rs
+src/time.rs
+src/types
+src/types.rs
+src/uuid.rs
+src/wrapped
+src/wrapped.rs
+target

TestVectors/runtimes/rust/Cargo.toml

@@ -7,16 +7,16 @@ rust-version = "1.80.0"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-aws-config = "1.5.8"
-aws-lc-rs = "1.10.0"
-aws-lc-sys = "0.22.0"
-aws-sdk-dynamodb = "1.50.0"
-aws-sdk-kms = "1.47.0"
-aws-smithy-runtime-api = {version = "1.7.2", features = ["client"] }
-aws-smithy-types = "1.2.8"
+aws-config = "1.5.10"
+aws-lc-rs = "1.11.1"
+aws-lc-sys = "0.23.1"
+aws-sdk-dynamodb = "1.54.0"
+aws-sdk-kms = "1.50.0"
+aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
+aws-smithy-types = "1.2.9"
 chrono = "0.4.38"
 dafny_runtime = { path = "../../../submodules/MaterialProviders/smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust"}
 dashmap = "6.1.0"
 pem = "3.0.4"
-tokio = {version = "1.41.0", features = ["full"] }
+tokio = {version = "1.41.1", features = ["full"] }
 uuid = { version = "1.11.0", features = ["v4"] }

TestVectors/runtimes/rust/copy_externs.sh

@@ -18,7 +18,7 @@ cp $SRC/local_cmc.rs src
 cp $SRC/random.rs src
 cp $SRC/rsa.rs src
 cp $SRC/sets.rs src
-cp $SRC/software_externs.rs src
+cp ../../../DynamoDbEncryption/runtimes/rust/src/software_externs.rs src
 cp $SRC/storm_tracker.rs src
 cp $SRC/time.rs src
 cp $SRC/uuid.rs src