[DO NOT MERGE] Update Native Kimchi with changes from Mesa

.config/cspell.json

@@ -36,7 +36,10 @@
     "cachedir",
     "callforest",
     "caml",
+    "capnp",
+    "capnproto",
     "Cfgs",
+    "CFLAGS",
     "Chal",
     "chals",
     "coeff",
@@ -49,6 +52,7 @@
     "conv",
     "CPPFLAGS",
     "ctypes",
+    "depexts",
     "descr",
     "devnet",
     "devshell",
@@ -98,6 +102,7 @@
     "Freeable",
     "Fseqp",
     "gitmodules",
+    "gpatch",
     "gretke's",
     "hardfork",
     "Hlist",
@@ -113,6 +118,7 @@
     "Intfs",
     "Iseconds",
     "iteri",
+    "jemalloc",
     "jslib",
     "jsoo",
     "jsstring",
@@ -123,12 +129,20 @@
     "LDFLAGS",
     "LEFTSHIFT",
     "lessthan",
+    "libbz",
+    "libgflags",
+    "libgmp",
     "libiconv",
+    "libjemalloc",
+    "liblmdb",
+    "libomp",
+    "libpq",
     "libsodium",
     "liconv",
     "Lightnet",
     "lincom",
     "linkall",
+    "lmdb",
     "loglog",
     "LuffySama",
     "maht",
@@ -146,6 +160,7 @@
     "Muls",
     "napi",
     "Nexts",
+    "nicholasngai",
     "nixbuild",
     "nixfmt",
     "nixos",
@@ -158,6 +173,7 @@
     "offchain",
     "opam",
     "Optdef",
+    "OPTIMISATIONS",
     "optimise",
     "optimised",
     "optin",
@@ -252,6 +268,7 @@
     "varfields",
     "verifys",
     "vnew",
+    "wabt",
     "wasnt",
     "wbindgen",
     "Weierstraß",

.github/actions/build-wasm/action.yml

@@ -23,7 +23,7 @@ runs:
     - name: Setup Node
       uses: actions/setup-node@v4
       with:
-        node-version: '20'
+        node-version: '22'
 
     - name: use proof_systems_commit if provided
       if: ${{ inputs.proof_systems_commit != '' }}

.github/actions/live-tests-shared/action.yml

@@ -16,7 +16,7 @@ runs:
     - name: Setup Node
       uses: actions/setup-node@v4
       with:
-        node-version: '20'
+        node-version: '22'
     - name: Build o1js and execute tests
       env:
         USE_CUSTOM_LOCAL_NETWORK: 'true'
@@ -28,6 +28,20 @@ runs:
         bash run-ci-live-tests.sh
         cat profiling.md >> $GITHUB_STEP_SUMMARY
       shell: bash
+    - name: Dump mina daemon container logs
+      if: always()
+      continue-on-error: true
+      run: |
+        CONTAINER_ID=$(docker ps -aq --filter "expose=8080" | head -1)
+        if [ -n "$CONTAINER_ID" ]; then
+          echo "=== Mina daemon container logs (last 1000 lines) ==="
+          docker logs "$CONTAINER_ID" 2>&1 | tail -1000
+          echo "=== Dumping full logs to /tmp/mina-daemon.log ==="
+          docker logs "$CONTAINER_ID" > /tmp/mina-daemon.log 2>&1
+        else
+          echo "No mina container found"
+        fi
+      shell: bash
     - name: Upload Mina logs
       uses: actions/upload-artifact@v4
       continue-on-error: true

.github/workflows/build.yml

@@ -0,0 +1,163 @@
+name: Build
+on:
+  pull_request:
+  workflow_dispatch:
+env:
+  OCAML_VERSION: 4.14.2
+jobs:
+  build:
+    name: '[${{ matrix.os }}] Build (Node.JS ${{ matrix.node_version }})'
+    strategy:
+      matrix:
+        os: [
+            ubuntu-latest,
+            macos-latest,
+          ]
+        node_version: [22, 24]
+      fail-fast: false
+    runs-on: ${{ matrix.os }}
+    steps:
+      - name: Checkout Repository
+        uses: actions/checkout@v4
+        with:
+          submodules: recursive
+
+      - name: Set up Homebrew
+        if: runner.os == 'macOS'
+        uses: Homebrew/actions/setup-homebrew@f4b81a54c655301a8039231c1ae08f89714fe245
+
+      - name: Install Homebrew dependencies
+        if: runner.os == 'macOS'
+        env:
+          HOMEBREW_NO_AUTO_UPDATE: 1
+        run: |
+          brew install \
+            capnp \
+            binaryen \
+            bzip2 \
+            gnu-sed \
+            libffi \
+            libpq \
+            libsodium \
+            lmdb \
+            pkgconf \
+            postgresql@15 \
+            wasm-pack \
+            wasm-tools \
+            wabt \
+            bash \
+            boost \
+            cmake \
+            gmp   \
+            gpatch \
+            jemalloc \
+            libomp
+
+          brew link postgresql@15 
+
+      - name: Install apt dependencies
+        if: runner.os == 'Linux'
+        run: |
+          set -Eeuxo pipefail
+          export DEBIAN_FRONTEND=noninteractive
+          sudo apt update
+          sudo apt install --no-install-recommends --yes \
+            libboost-dev \
+            libboost-program-options-dev \
+            libbz2-dev \
+            libcap-dev \
+            libffi-dev \
+            libgflags-dev \
+            libgmp-dev \
+            libgmp3-dev \
+            libjemalloc-dev \
+            liblmdb-dev \
+            liblmdb0 \
+            libpq-dev \
+            libsodium-dev \
+            libssl-dev \
+            build-essential \
+            ca-certificates \
+            capnproto \
+            cmake \
+            curl \
+            file \
+            git \
+            git-lfs \
+            m4 \
+            pkg-config \
+            rsync \
+            sudo \
+            unzip \
+            binaryen \
+            zlib1g-dev
+
+      - name: Setup Node.JS ${{ matrix.node_version }}
+        uses: actions/setup-node@v4
+        with:
+          node-version: ${{ matrix.node_version }}
+
+      - name: Install Dependencies
+        run: npm ci
+
+      - name: Set-up OCaml ${{ env.OCAML_VERSION }}
+        uses: ocaml/setup-ocaml@v3
+        with:
+          ocaml-compiler: ${{ env.OCAML_VERSION }}
+
+      - name: Cache opam switch
+        id: cache-opam
+        uses: actions/cache@v4
+        with:
+          path: ./_opam/
+          key: ${{ runner.os }}-${{ env.OCAML_VERSION }}-${{ hashFiles('./src/mina/opam.export') }}
+
+      - name: Setup opam switch
+        if: steps.cache-opam.outputs.cache-hit != 'true'
+        run: |
+          set -Eeuxo pipefail
+
+          if [[ "${{ runner.os }}" == "macOS" ]]; then
+            export CFLAGS="-I/opt/homebrew/include/"
+            export CPPFLAGS="-I/opt/homebrew/include/"
+            export C_INCLUDE_PATH="/opt/homebrew/include/"
+            export LDFLAGS="-L/opt/homebrew/lib/"
+            export PKG_CONFIG_PATH="$(brew --prefix libpq)/lib/pkgconfig:$(brew --prefix libsodium)/lib/pkgconfig"
+          fi
+
+          opam repository set-url default https://github.com/ocaml/opam-repository.git\#08d8c16c16dc6b23a5278b06dff0ac6c7a217356
+          opam repository add --yes --all --set-default o1-labs https://github.com/o1-labs/opam-repository.git
+          opam pin add --no-action async_ssl https://github.com/o1-labs/async_ssl.git\#v0.14-o1labs
+          pushd src/mina
+          opam switch import --debug --assume-depexts opam.export
+
+      - name: Setup rust toolchain
+        uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: nightly-2025-12-11
+          targets: wasm32-unknown-unknown
+          components: rust-src
+
+      - name: Setup go
+        uses: nicholasngai/actions-setup-go@f107e23d356886ae65af3bd7f30d8f6c56801c23
+        with:
+          go-version: 1.18.10
+
+      - name: Build bindings
+        run: |
+          if [[ "${{ runner.os }}" == "macOS" ]]; then
+            export RUST_TARGET_FEATURE_OPTIMISATIONS=omit
+            export PATH="$(brew --prefix gnu-sed)/libexec/gnubin:$PATH"
+          fi
+
+          eval $(opam env)
+          npm run build:bindings-all
+
+      - name: Build
+        run: npm run build
+
+      - name: Run simple test
+        env:
+          TEST_TYPE: 'Simple integration tests'
+        run: ./run-ci-tests.sh
+        timeout-minutes: 60

.github/workflows/checks.yml

@@ -89,7 +89,7 @@ jobs:
   Lint-and-Format:
     strategy:
       matrix:
-        node: [20]
+        node: [22]
     if: github.event.pull_request.labels.*.name != 'skip-lint'
     runs-on: ubuntu-latest
 
@@ -310,8 +310,7 @@ jobs:
       - name: Setup Node.JS ${{ matrix.node }}
         uses: actions/setup-node@v4
         with:
-          node-version: 20
-          # TODO matrixing this requires changing branch protection rules
+          node-version: 22
 
       - name: Restore npm cache
         uses: actions/cache@v4
@@ -487,7 +486,7 @@ jobs:
     needs: [Prepare-Wasm]
     timeout-minutes: 45
     runs-on: ubuntu-latest
-    if: github.event.pull_request.base.ref != 'develop' 
+    if: github.event.pull_request.base.ref == 'develop' 
     services:
       mina-local-network:
         image: o1labs/mina-local-network:master-latest-lightnet
@@ -523,7 +522,7 @@ jobs:
     needs: [Prepare-Wasm]
     timeout-minutes: 45
     runs-on: ubuntu-latest
-    if: github.event.pull_request.base.ref != 'develop' 
+    if: github.event.pull_request.base.ref == 'main' 
     services:
       mina-local-network:
         image: o1labs/mina-local-network:compatible-latest-lightnet
@@ -589,4 +588,39 @@ jobs:
       - name: Use shared steps for live testing jobs
         uses: ./.github/actions/live-tests-shared
         with:
-          mina-branch-name: develop
+          mina-branch-name: develop
+  mesa:
+    needs: [Prepare]
+    timeout-minutes: 45
+    runs-on: ubuntu-latest
+    if: github.event.pull_request.base.ref == 'develop-3.0'
+    services:
+      mina-local-network:
+        image: o1labs/mina-local-network:mesa-latest-lightnet
+        env:
+          NETWORK_TYPE: 'single-node'
+          PROOF_LEVEL: 'none'
+        ports:
+          - 3085:3085
+          - 5432:5432
+          - 8080:8080
+          - 8181:8181
+          - 8282:8282
+        volumes:
+          - /tmp:/root/logs
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          repository: ${{ inputs.target_repo || github.repository }}
+          ref: ${{ inputs.target_ref || github.ref }}
+      - name: build
+        uses: ./.github/actions/build
+        with:
+          repository: ${{ inputs.target_repo || github.repository }}
+          ref: ${{ inputs.target_ref || github.ref }}
+          proof_systems_commit: ${{ inputs.proof_systems_commit }}
+      - name: Use shared steps for live testing jobs
+        uses: ./.github/actions/live-tests-shared
+        with:
+          mina-branch-name: mesa

.github/workflows/pull_requests.yml

@@ -4,6 +4,8 @@ on:
     types: [assigned, opened, synchronize, reopened, labeled, unlabeled]
     branches:
       - main
+      - develop
+      - develop-3.0
 jobs:
   Check-Changelog:
     name: Check Changelog Action