From 67c5556e74184b2c2f5fe388ca89c130a6bb1a4e Mon Sep 17 00:00:00 2001
From: Bruno Menezes <brunodmenezes@gmail.com>
Date: Thu, 14 May 2026 13:05:13 +0100
Subject: [PATCH 1/3] chore(sdk): bump CM_EMULATOR to 0.20.0 and also base
 image + db-base-image to debian trixie

* Using the node-rollups Trixie date as an reference.
---
 .changeset/five-dots-end.md  | 5 +++++
 packages/sdk/docker-bake.hcl | 8 ++++----
 2 files changed, 9 insertions(+), 4 deletions(-)
 create mode 100644 .changeset/five-dots-end.md

diff --git a/.changeset/five-dots-end.md b/.changeset/five-dots-end.md
new file mode 100644
index 00000000..2093281d
--- /dev/null
+++ b/.changeset/five-dots-end.md
@@ -0,0 +1,5 @@
+---
+"@cartesi/sdk": patch
+---
+
+Bump cartesi-machine-emulator to 0.20.0. Also bump cartesi-base-image and postgres-base-image to use debian:trixie on specific date and hash.
diff --git a/packages/sdk/docker-bake.hcl b/packages/sdk/docker-bake.hcl
index 4d43aef1..404ebe0a 100644
--- a/packages/sdk/docker-bake.hcl
+++ b/packages/sdk/docker-bake.hcl
@@ -7,12 +7,12 @@ target "default" {
   inherits = ["docker-platforms"]
   args = {
     ALTO_VERSION                      = "1.2.7"
-    ALTO_PACKAGE_VERSION              = "0.0.20"
-    CARTESI_BASE_IMAGE                = "docker.io/library/debian:bookworm-20260223-slim@sha256:74d56e3931e0d5a1dd51f8c8a2466d21de84a271cd3b5a733b803aa91abf4421"
+    ALTO_PACKAGE_VERSION              = "0.0.20"    
+    CARTESI_BASE_IMAGE                = "docker.io/library/debian:trixie-20260518@sha256:4ae67669760b807c19f23902a3fd7c121a6a70cf2ae709035674b23e712e4d62"
     CARTESI_DEVNET_VERSION            = "2.0.0-alpha.11"
     CARTESI_IMAGE_KERNEL_VERSION      = "0.20.0"
     CARTESI_LINUX_KERNEL_VERSION      = "6.5.13-ctsi-1-v0.20.0"
-    CARTESI_MACHINE_EMULATOR_VERSION  = "0.19.0"
+    CARTESI_MACHINE_EMULATOR_VERSION  = "0.20.0"
     CARTESI_PASSKEY_SERVER_VERSION    = "1.0.1"
     CARTESI_PAYMASTER_VERSION         = "0.2.0"
     CARTESI_ROLLUPS_NODE_VERSION      = "2.0.0-alpha.11"
@@ -20,7 +20,7 @@ target "default" {
     NITRO_VERSION                     = "8c376d4a5baa7f32999620f9fe3eb51ca8e0dcbc" # v0.5
     NODE_VERSION                      = "24.14.0"
     NVM_VERSION                       = "977563e97ddc66facf3a8e31c6cff01d236f09bd" # 0.40.3
-    POSTGRES_BASE_IMAGE               = "docker.io/library/postgres:17-bookworm@sha256:ed736a0232f124704e442614fa13a042c4471b76af79dc74ddcf72023e351ed2"
+    POSTGRES_BASE_IMAGE               = "docker.io/library/postgres:17-trixie@sha256:3faba5d113bdbdfda79ed7f0d68ddae736d17473e8888e250f2471c651694f3f"
     SQUASHFS_TOOLS_VERSION            = "bad1d213ab6df587d6fa0ef7286180fbf7b86167" # 4.7.4
     SU_EXEC_VERSION                   = "0.3"
     TELEGRAF_VERSION                  = "1.38.0"

From 9f5a296bac9d98ffe10775f8d57d22c987573d20 Mon Sep 17 00:00:00 2001
From: Bruno Menezes <brunodmenezes@gmail.com>
Date: Thu, 14 May 2026 13:09:57 +0100
Subject: [PATCH 2/3] feat(sdk): Add new apt-get dependency libgomp1 and update
 shasum checks for cm-emulator released artefacts.

---
 .changeset/plenty-chicken-know.md | 5 +++++
 packages/sdk/Dockerfile           | 5 +++--
 2 files changed, 8 insertions(+), 2 deletions(-)
 create mode 100644 .changeset/plenty-chicken-know.md

diff --git a/.changeset/plenty-chicken-know.md b/.changeset/plenty-chicken-know.md
new file mode 100644
index 00000000..13abb275
--- /dev/null
+++ b/.changeset/plenty-chicken-know.md
@@ -0,0 +1,5 @@
+---
+"@cartesi/sdk": patch
+---
+
+Add new apt-get dependency libgomp1 and update the shasum check for the emulator artefacts based on arch.
diff --git a/packages/sdk/Dockerfile b/packages/sdk/Dockerfile
index ddd7ad9a..c1e4bf8f 100644
--- a/packages/sdk/Dockerfile
+++ b/packages/sdk/Dockerfile
@@ -148,6 +148,7 @@ ARG DEBIAN_FRONTEND=noninteractive
 RUN <<EOF
 apt-get install -y --no-install-recommends \
     libslirp0 \
+    libgomp1 \
     lua5.4
 rm -rf /var/lib/apt/lists/*
 EOF
@@ -170,8 +171,8 @@ RUN <<EOF
 curl -fsSL https://github.com/cartesi/machine-emulator/releases/download/v${CARTESI_MACHINE_EMULATOR_VERSION}/machine-emulator_${TARGETARCH}.deb \
     -o /tmp/machine-emulator.deb
 case "${TARGETARCH}" in
-    amd64) echo "adae6b030a8990e316997aad53d175192bfeaa84ad12ee19491366377073572b  /tmp/machine-emulator.deb" | sha256sum --check ;;
-    arm64) echo "15ebb64d8cd3296564d2297dd809d1d72c13a938976bb4ecc5e5c82e71bb8069  /tmp/machine-emulator.deb" | sha256sum --check ;;
+    amd64) echo "46b2f37b889091df3b89a8909467935f8dd4a1426eeb0491b6a346a12f0c341c  /tmp/machine-emulator.deb" | sha256sum --check ;;
+    arm64) echo "27ea10571335ad174b75388e7de54a3d3434bd607554d8c0bdf6abca47ceae0d  /tmp/machine-emulator.deb" | sha256sum --check ;;
     *) echo "unsupported architecture: ${TARGETARCH}"; exit 1 ;;
 esac
 apt-get install -y --no-install-recommends /tmp/machine-emulator.deb

From 358b9279c4e69c8e1b601ae4e021c5bcc37b4612 Mon Sep 17 00:00:00 2001
From: Bruno Menezes <brunodmenezes@gmail.com>
Date: Thu, 28 May 2026 10:43:45 +0100
Subject: [PATCH 3/3] chore(sdk): Bump devnet to version 2.0.0-alpha.13

---
 .changeset/red-flowers-smash.md | 5 +++++
 packages/sdk/docker-bake.hcl    | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)
 create mode 100644 .changeset/red-flowers-smash.md

diff --git a/.changeset/red-flowers-smash.md b/.changeset/red-flowers-smash.md
new file mode 100644
index 00000000..3ec9f8a1
--- /dev/null
+++ b/.changeset/red-flowers-smash.md
@@ -0,0 +1,5 @@
+---
+"@cartesi/sdk": patch
+---
+
+Bump cartesi devnet version to 2.0.0-alpha.13.
diff --git a/packages/sdk/docker-bake.hcl b/packages/sdk/docker-bake.hcl
index 404ebe0a..5b911873 100644
--- a/packages/sdk/docker-bake.hcl
+++ b/packages/sdk/docker-bake.hcl
@@ -9,7 +9,7 @@ target "default" {
     ALTO_VERSION                      = "1.2.7"
     ALTO_PACKAGE_VERSION              = "0.0.20"    
     CARTESI_BASE_IMAGE                = "docker.io/library/debian:trixie-20260518@sha256:4ae67669760b807c19f23902a3fd7c121a6a70cf2ae709035674b23e712e4d62"
-    CARTESI_DEVNET_VERSION            = "2.0.0-alpha.11"
+    CARTESI_DEVNET_VERSION            = "2.0.0-alpha.13"
     CARTESI_IMAGE_KERNEL_VERSION      = "0.20.0"
     CARTESI_LINUX_KERNEL_VERSION      = "6.5.13-ctsi-1-v0.20.0"
     CARTESI_MACHINE_EMULATOR_VERSION  = "0.20.0"