Merge pull request #17186 from MinaProtocol/dw/merge-compatible-into-develop-20250513

Merge compatible into develop - 20250513

Author: dannywillems

Makefile

@@ -0,0 +1 @@
+RAM optimization: use disk cache to store proofs from zkapp transactions and complete works. In RAM proofs are replaced with integer tags that refer to an entry in LMDB database which stores actual proof bytes. This optimization caps RAM usage of Mina node even under high transaction loads at a much lower value than was achieved before (precise number to be comnfirmed from experiments that will follow).

changes/16966.md

@@ -300,7 +300,6 @@ let
               "dune"
               "dune-project"
               "./graphql_schema.json"
-              ".ocamlformat"
               "opam.export"
             ];
           };

nix/ocaml.nix

@@ -10,13 +10,27 @@ cd "$SCRIPT_DIR/.."
 
 sum="$(cksum opam.export | grep -oE '^\S*')"
 switch_dir=opam_switches/"$sum"
-rm -Rf _opam
-if [[ ! -d "$switch_dir" ]]; then
-  # We add o1-labs opam repository and make it default (if it's repeated, it's a no-op)
-  opam repository add --yes --all --set-default o1-labs https://github.com/o1-labs/opam-repository.git
-  opam update
-  opam switch import -y --switch . opam.export
-  mkdir -p opam_switches
-  mv _opam "$switch_dir"
+
+if [[ -d _opam ]]; then
+    read -rp "Directory '_opam' exists and will be removed. Continue? [y/N] " \
+         confirm
+    if [[ "${confirm}" =~ ^[Yy]$ ]]; then
+        rm -Rf _opam
+    else
+        echo "Aborted."
+        exit 1
+    fi
+fi
+
+if [[ ! -d "${switch_dir}" ]]; then
+    # We add o1-labs opam repository and make it default
+    # (if it's repeated, it's a no-op)
+    opam repository add --yes --all --set-default o1-labs \
+         https://github.com/o1-labs/opam-repository.git
+    opam update
+    opam switch import -y --switch . opam.export
+    mkdir -p opam_switches
+    mv _opam "${switch_dir}"
 fi
-ln -s "$switch_dir" _opam
+
+ln -s "${switch_dir}" _opam

scripts/container.sh

@@ -0,0 +1 @@
+../../.ocamlformat