add assertion verification disabling

xtest/sdk/go/cli.sh

@@ -78,6 +78,9 @@ elif [ "$1" == "decrypt" ]; then
   if [ -n "$8" ]; then
     args+=(--with-assertion-verification-keys "$8")
   fi
+  if [ "$NO_VERIFY_ASSERTIONS" == 'true' ]; then
+    args+=(--no-verify-assertions)
+  fi
   echo "${cmd[@]}" decrypt "${args[@]}" "$2"
   "${cmd[@]}" decrypt "${args[@]}" "$2"
 else

xtest/sdk/java/cli.sh

@@ -77,5 +77,10 @@ if [ -n "$8" ]; then
   args+=(--with-assertion-verification-keys "$8")
 fi
 
+if [ "$NO_VERIFY_ASSERTIONS" == 'true' ]; then
+  args+=(--with-assertion-verification-disabled)
+fi
+
+
 echo java -jar "$SCRIPT_DIR"/cmdline.jar "${args[@]}" -f "$2" ">" "$3"
 java -jar "$SCRIPT_DIR"/cmdline.jar "${args[@]}" -f "$2" >"$3"

xtest/sdk/js/cli/cli.sh

@@ -82,6 +82,9 @@ if [ "$1" == "encrypt" ]; then
 
   npx $CTL encrypt "$2" "${args[@]}"
 elif [ "$1" == "decrypt" ]; then
+  if [ "$NO_VERIFY_ASSERTIONS" == 'true' ]; then
+    args+=(--noVerifyAssertions)
+  fi
   npx $CTL decrypt "$2" "${args[@]}"
 else
   echo "Incorrect argument provided"

xtest/tdfs.py

@@ -26,6 +26,7 @@
     "nano_ecdsa",
     "ns_grants",
     "hexless",
+    "assertion_verification_disable",
 ]
 
 sdk_paths: dict[sdk_type, str] = {
@@ -249,6 +250,7 @@ def decrypt(
     rt_file: str,
     fmt: format_type = "nano",
     assert_keys: str = "",
+    no_verify_assertions: bool = False,
 ):
     c = [
         sdk_paths[sdk],
@@ -265,8 +267,13 @@ def decrypt(
             "",
             assert_keys,
         ]
+    env = dict(os.environ)
+    if no_verify_assertions:
+        env |= {"NO_VERIFY_ASSERTIONS": "true"}
+    else:
+        env |= {"NO_VERIFY_ASSERTIONS": "false"}
     logger.info(f"dec [{' '.join(c)}]")
-    subprocess.check_output(c, stderr=subprocess.STDOUT)
+    subprocess.check_output(c, stderr=subprocess.STDOUT, env=env)
 
 
 def supports(sdk: sdk_type, feature: feature_type) -> bool: