chore(README): update README; add copyright string

AwsEncryptionSDK/runtimes/rust/README.md

@@ -6,6 +6,8 @@ AWS Encryption SDK for Rust
 
 The AWS Encryption SDK is available on [Crates.io](https://www.crates.io/).
 
+For more details about the design and architecture of the AWS Encryption SDK, see the [AWS Encryption SDK Developer Guide](https://docs.aws.amazon.com/encryption-sdk/latest/developer-guide/introduction.html).
+
 ## Building the AWS Encryption SDK for Rust
 
 To build, the AWS Encryption SDK requires the most up to date version of [Dafny](https://github.com/dafny-lang/dafny) on your PATH.

AwsEncryptionSDK/runtimes/rust/src/lib.rs

@@ -1,3 +1,6 @@
+// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+// SPDX-License-Identifier: Apache-2.0
+
 #![allow(warnings, unconditional_panic)]
 #![allow(nonstandard_style)]
 

README.md

@@ -2,7 +2,12 @@
 
 ![Build Status - master branch](https://codebuild.us-west-2.amazonaws.com/badges?uuid=eyJlbmNyeXB0ZWREYXRhIjoiVmIzeGwwQmY5bXdMQXg2aVBneWtDc3FHSWRHTjYrNnVUem9nNXJFUmY2Rk1yRnJvSjJvK3JCL2RScFRjSVF1UjA1elR3L0xpTVpiNmRZS0RyWjJpTnBFPSIsIml2UGFyYW1ldGVyU3BlYyI6InBBQm1tT1BPNjB3RU9XUS8iLCJtYXRlcmlhbFNldFNlcmlhbCI6MX0%3D&branch=master)
 
-AWS Encryption SDK for Dafny
+The AWS Encryption SDK enables secure client-side encryption. It uses cryptography best practices to protect your data and protect the encryption keys that protect your data. Each data object is protected with a unique data encryption key, and the data encryption key is protected with a key encryption key called a wrapping key. The encryption method returns a single, portable [encrypted message](https://docs.aws.amazon.com/encryption-sdk/latest/developer-guide/message-format.html) that contains the encrypted data and the encrypted data key, so you don't need to keep track of the data encryption keys for your data. You can use KMS keys in [AWS Key Management Service](https://aws.amazon.com/kms/) (AWS KMS) as wrapping keys. The AWS Encryption SDK also provides APIs to define and use encryption keys from other key providers.
+
+For more details about the design and architecture of the AWS Encryption SDK, see the [AWS Encryption SDK Developer Guide](https://docs.aws.amazon.com/encryption-sdk/latest/developer-guide/introduction.html).
+
+📣 Note: This repository contains the source code and related files for the
+[supported language](#supported-languages) implementations of the AWS Encryption SDK.
 
 [Security issue notifications](./CONTRIBUTING.md#security-issue-notifications)
 
@@ -86,6 +91,11 @@ To view the report, look at the generated `specification_compliance_report.html`
 cargo +stable install duvet
 ```
 
+## Supported Languages
+- .NET
+- Dafny
+- Rust
+
 ## License
 
 This library is licensed under the Apache 2.0 License.

TestVectors/runtimes/rust/src/main.rs

@@ -1,3 +1,6 @@
+// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+// SPDX-License-Identifier: Apache-2.0
+
 #![allow(warnings, unconditional_panic)]
 #![allow(nonstandard_style)]