m

Author: lucasmcdonald3

TestVectors/dafny/DDBEncryption/src/Index.dfy

@@ -38,10 +38,14 @@ module WrappedDDBEncryptionMain {
 
   method ASDF() 
   {
-    // Create a singleton keyVectors client used in every test.
-    // Right now, all test vectors use the same keys manifest, located at DEFAULT_KEYS.
-    // Parsing JSON is expensive in some languages.
-    // 
+    // KeyVectors client passed to every test.
+    // All test vectors currently use the same keys manifest, located at DEFAULT_KEYS.
+    // All test vectors can share this same KeyVectors client.
+
+    // To use a different keys manifest, create a new KeyVectors client. 
+    // If you need to create a new KeyVectors client, create it as infrequently as possible.
+    // Creating this client frequently means JSON is parsed frequently.
+    // Parsing JSON is very slow in Python. Parse JSON as infrequently as possible.
     var keyVectors :- expect KeyVectors.KeyVectors(
       KeyVectorsTypes.KeyVectorsConfig(
         keyManifestPath := DEFAULT_KEYS