diff --git a/carmen/race-detection.jenkinsfile b/carmen/race-detection.jenkinsfile
index 884d9b69..e5abf49b 100644
--- a/carmen/race-detection.jenkinsfile
+++ b/carmen/race-detection.jenkinsfile
@@ -18,6 +18,7 @@ pipeline {
     parameters {
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'AidaVersion')
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'CarmenVersion')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -41,6 +42,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                   
             }
         }
 
diff --git a/carmen/validate-cpp-file-s3.jenkinsfile b/carmen/validate-cpp-file-s3.jenkinsfile
index d604939d..0164fe04 100644
--- a/carmen/validate-cpp-file-s3.jenkinsfile
+++ b/carmen/validate-cpp-file-s3.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
     parameters {
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'AidaVersion')
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'CarmenVersion')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -40,6 +41,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                   
             }
         }
 
diff --git a/carmen/validate-db-reset.jenkinsfile b/carmen/validate-db-reset.jenkinsfile
index 9a8e193d..ce7c8fc7 100644
--- a/carmen/validate-db-reset.jenkinsfile
+++ b/carmen/validate-db-reset.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
         string(defaultValue: "1000", description: 'How many iterations will script do.', name: 'NumberOfIterations')
         string(defaultValue: "1", description: 'Delay between start of sync process and forced termination (in seconds).', name: 'Window')
         string(defaultValue: "1", description: 'How often will Carmen create checkpoints (in blocks).', name: 'CheckpointGranularity')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -40,6 +41,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                   
             }
         }
 
diff --git a/carmen/validate-go-file-s3.jenkinsfile b/carmen/validate-go-file-s3.jenkinsfile
index 48ad5d32..7658fca6 100644
--- a/carmen/validate-go-file-s3.jenkinsfile
+++ b/carmen/validate-go-file-s3.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
     parameters {
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'AidaVersion')
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'CarmenVersion')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -40,6 +41,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                   
             }
         }
 
diff --git a/carmen/validate-go-s4.jenkinsfile b/carmen/validate-go-s4.jenkinsfile
index 612e4b0e..72a6af1d 100644
--- a/carmen/validate-go-s4.jenkinsfile
+++ b/carmen/validate-go-s4.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
     parameters {
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'AidaVersion')
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'CarmenVersion')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -40,6 +41,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                   
             }
         }
 
diff --git a/carmen/validate-go-s5-archive.jenkinsfile b/carmen/validate-go-s5-archive.jenkinsfile
index a41bd454..e62b1a0e 100644
--- a/carmen/validate-go-s5-archive.jenkinsfile
+++ b/carmen/validate-go-s5-archive.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
     parameters {
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'AidaVersion')
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'CarmenVersion')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -40,6 +41,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                   
             }
         }
 
diff --git a/carmen/validate-go-s5.jenkinsfile b/carmen/validate-go-s5.jenkinsfile
index 340a9776..43c4716d 100644
--- a/carmen/validate-go-s5.jenkinsfile
+++ b/carmen/validate-go-s5.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
     parameters {
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'AidaVersion')
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'CarmenVersion')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -40,6 +41,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                   
             }
         }
 
diff --git a/carmen/validate-state-toolchain-archive.jenkinsfile b/carmen/validate-state-toolchain-archive.jenkinsfile
index d146996a..0855ca7c 100644
--- a/carmen/validate-state-toolchain-archive.jenkinsfile
+++ b/carmen/validate-state-toolchain-archive.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
         string(name: 'secondBlockHeight', defaultValue: '6000000', description: 'Second block height to import.')
         string(name: 'aidaVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
         string(name: 'carmenVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -37,6 +38,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                   
             }
         }
 
diff --git a/carmen/validate-state-toolchain-init-archive.jenkinsfile b/carmen/validate-state-toolchain-init-archive.jenkinsfile
index 8df4296a..30111e43 100644
--- a/carmen/validate-state-toolchain-init-archive.jenkinsfile
+++ b/carmen/validate-state-toolchain-init-archive.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
         string(name: 'secondBlockHeight', defaultValue: '6000000', description: 'Second block height to import.')
         string(name: 'aidaVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
         string(name: 'carmenVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -37,6 +38,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                
             }
         }
 
diff --git a/carmen/validate-state-toolchain-live+archive.jenkinsfile b/carmen/validate-state-toolchain-live+archive.jenkinsfile
index 52df2175..432159f2 100644
--- a/carmen/validate-state-toolchain-live+archive.jenkinsfile
+++ b/carmen/validate-state-toolchain-live+archive.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
         string(name: 'secondBlockHeight', defaultValue: '6000000', description: 'Second block height to import.')
         string(name: 'aidaVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
         string(name: 'carmenVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -37,6 +38,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                
             }
         }
 
diff --git a/carmen/validate-state-toolchain-live.jenkinsfile b/carmen/validate-state-toolchain-live.jenkinsfile
index 7339c7cf..f5c88eea 100644
--- a/carmen/validate-state-toolchain-live.jenkinsfile
+++ b/carmen/validate-state-toolchain-live.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
         string(name: 'secondBlockHeight', defaultValue: '6000000', description: 'Second block height to import.')
         string(name: 'aidaVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
         string(name: 'carmenVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -37,6 +38,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                
             }
         }
 
diff --git a/carmen/validate-witness-proof.jenkinsfile b/carmen/validate-witness-proof.jenkinsfile
index f5bd7bfd..dcfd2a94 100644
--- a/carmen/validate-witness-proof.jenkinsfile
+++ b/carmen/validate-witness-proof.jenkinsfile
@@ -16,8 +16,9 @@ pipeline {
     parameters {
         string(name: 'tmpDb', defaultValue: '/mnt/tmp-disk', description: 'Temporary directory to store the state DB.')
         string(name: 'aidaDb', defaultValue: '/mnt/aida-db-central/aida-db', description: 'Temporary directory to read Aida DB from.')
-        string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'AidaVersion')
-        string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'CarmenVersion')
+        string(name: 'AidaVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
+        string(name: 'CarmenVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
         string(defaultValue: "5000000", description: 'The block height to import and test witness proof on', name: 'Blocks')
     }
 
@@ -42,6 +43,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }
             }
         }