chore: further performace improvements

ajewellamz · ajewellamz · commit 98bd960fcc12 · 2025-04-22T11:21:10.000-04:00
diff --git a/DynamoDbEncryption/dafny/StructuredEncryption/src/Util.dfy b/DynamoDbEncryption/dafny/StructuredEncryption/src/Util.dfy
@@ -220,7 +220,7 @@ module StructuredEncryptionUtil {
   // attribute is "authorized", a.k.a. included in the signature
   predicate method IsAuthAttr(x : CryptoAction)
   {
-    x.ENCRYPT_AND_SIGN? || x.SIGN_AND_INCLUDE_IN_ENCRYPTION_CONTEXT? || x.SIGN_ONLY?
+    !x.DO_NOTHING?
   }
 
   // wrap a value in a StructuredData

Original file line number	Diff line number	Diff line change
`@@ -220,7 +220,7 @@ module StructuredEncryptionUtil {`
`220`	`220`	`// attribute is "authorized", a.k.a. included in the signature`
`221`	`221`	`predicate method IsAuthAttr(x : CryptoAction)`
`222`	`222`	`{`
`223`		`- x.ENCRYPT_AND_SIGN? \|\| x.SIGN_AND_INCLUDE_IN_ENCRYPTION_CONTEXT? \|\| x.SIGN_ONLY?`
	`223`	`+ !x.DO_NOTHING?`
`224`	`224`	`}`
`225`	`225`
`226`	`226`	`// wrap a value in a StructuredData`