From c951e58160ad235023a8ccfcfcf95b806e4b016d Mon Sep 17 00:00:00 2001
From: Rui Fernandes <ruipedro16@protonmail.com>
Date: Sun, 23 Feb 2025 23:20:03 +0100
Subject: [PATCH] update repository xmss security proof & add xmss spec

---
 .github/workflows/external.json | 60 ++++++++++++++++++++++++++++-----
 1 file changed, 52 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/external.json b/.github/workflows/external.json
index 2fd3f6c97..a9022158c 100644
--- a/.github/workflows/external.json
+++ b/.github/workflows/external.json
@@ -44,22 +44,66 @@
   ,
 
   { "name"       : "xmss-acai"
-  , "repository" : "https://github.com/MM45/FV-XMSS-EC"
-  , "branch"     : "master"
-  , "subdir"     : "."
+  , "repository" : "https://github.com/formosa-crypto/formosa-xmss"
+  , "branch"     : "main"
+  , "subdir"     : "proof"
   , "config"     : "config/tests.config"
-  , "scenario"   : "xmss-acai"
+  , "scenario"   : "acai"
   , "options"    : ""
   }
 
   ,
 
   { "name"       : "xmss-fsai"
-  , "repository" : "https://github.com/MM45/FV-XMSS-EC"
-  , "branch"     : "master"
-  , "subdir"     : "."
+  , "repository" : "https://github.com/formosa-crypto/formosa-xmss"
+  , "branch"     : "main"
+  , "subdir"     : "proof"
+  , "config"     : "config/tests.config"
+  , "scenario"   : "fsai"
+  , "options"    : ""
+  }
+
+  ,
+
+  { "name"       : "xmss-common-spec"
+  , "repository" : "https://github.com/formosa-crypto/formosa-xmss"
+  , "branch"     : "main"
+  , "subdir"     : "proof"
+  , "config"     : "config/tests.config"
+  , "scenario"   : "common-spec"
+  , "options"    : ""
+  }
+
+  ,
+
+  { "name"       : "xmss-spec"
+  , "repository" : "https://github.com/formosa-crypto/formosa-xmss"
+  , "branch"     : "main"
+  , "subdir"     : "proof"
+  , "config"     : "config/tests.config"
+  , "scenario"   : "xmss-spec"
+  , "options"    : ""
+  }
+
+  ,
+
+  { "name"       : "xmssmt-spec"
+  , "repository" : "https://github.com/formosa-crypto/formosa-xmss"
+  , "branch"     : "main"
+  , "subdir"     : "proof"
+  , "config"     : "config/tests.config"
+  , "scenario"   : "xmss-mt-spec"
+  , "options"    : ""
+  }
+
+  ,
+
+  { "name"       : "xmss-spec-extra"
+  , "repository" : "https://github.com/formosa-crypto/formosa-xmss"
+  , "branch"     : "main"
+  , "subdir"     : "proof"
   , "config"     : "config/tests.config"
-  , "scenario"   : "xmss-fsai"
+  , "scenario"   : "spec-extra"
   , "options"    : ""
   }