fixup! Rename openmina to mina

Author: dannywillems

.github/actions/setup-build-deps/action.yml

@@ -1,5 +1,5 @@
 name: 'Setup Build Dependencies'
-description: 'Install system dependencies required for building OpenMina'
+description: 'Install system dependencies required for building Mina'
 inputs:
   include-sqlite:
     description: 'Include SQLite3 in the installation'

.github/actions/setup-circuits/action.yml

@@ -1,5 +1,5 @@
 name: 'Download Circuit Files'
-description: 'Download required circuit files for OpenMina'
+description: 'Download required circuit files for Mina'
 runs:
   using: 'composite'
   steps:

.github/actions/setup-container-deps/action.yml

@@ -1,5 +1,5 @@
 name: 'Setup Container Dependencies'
-description: 'Install libssl3t64 in container for OpenMina binaries'
+description: 'Install libssl3t64 in container for Mina binaries'
 runs:
   using: 'composite'
   steps:

.github/workflows/ci.yaml

@@ -1,4 +1,4 @@
-name: Openmina CI
+name: Mina CI
 on:
   push:
     branches: [ main, develop ]
@@ -15,7 +15,7 @@ on:
 env:
   CARGO_TERM_COLOR: always
   RUST_BACKTRACE: full
-  OPENMINA_PANIC_ON_BUG: true
+  MINA_PANIC_ON_BUG: true
   CARGO_INCREMENTAL: 1
   RUSTFLAGS: "-C overflow-checks=off -C debug-assertions=off"
 
@@ -165,7 +165,7 @@ jobs:
         uses: actions/upload-artifact@v4
         with:
           name: bin-${{ github.sha }}
-          path: target/release/openmina
+          path: target/release/mina
           retention-days: 7
 
   build-wasm:
@@ -331,7 +331,7 @@ jobs:
       options: --volume debugger_data:/tmp/db
     env:
       # to allow local addrs discovery
-      OPENMINA_DISCOVERY_FILTER_ADDR: false
+      MINA_DISCOVERY_FILTER_ADDR: false
       # to allow connection with replayer
       # TODO: remove when replayer supports identify
       KEEP_CONNECTION_WITH_UNKNOWN_STREAM: true
@@ -417,7 +417,7 @@ jobs:
       image: gcr.io/o1labs-192920/mina-daemon:3.2.0-beta2-939b08d-noble-devnet
     env:
       # to allow local addrs discovery
-      OPENMINA_DISCOVERY_FILTER_ADDR: false
+      MINA_DISCOVERY_FILTER_ADDR: false
     strategy:
       matrix:
         test: [record_replay, webrtc_record_replay]
@@ -450,7 +450,7 @@ jobs:
     needs: [ build, build-tests ]
     runs-on: ubuntu-24.04
     env:
-      OPENMINA_HOME: data
+      MINA_HOME: data
       BPF_ALIAS: /coda/0.0.1/29936104443aaf264a7f0192ac64b1c7173198c1ed404c1bcff5e562e05eb7f6-0.0.0.0
 
     services:
@@ -479,7 +479,7 @@ jobs:
 
       - name: Fix permissions
         run: |
-          chmod +x bootstrap openmina
+          chmod +x bootstrap mina
 
       # TODO: use curl
       - name: Wait for the debugger
@@ -488,13 +488,13 @@ jobs:
 
       - name: Bootstrap node
         env:
-          OPENMINA_COMMAND: mina
+          MINA_COMMAND: mina
           NO_PEER_DISCOVERY: "true"
-          OUT_PATH: ${{ env.OPENMINA_HOME }}/logs/bootstrap_output
+          OUT_PATH: ${{ env.MINA_HOME }}/logs/bootstrap_output
           RECORD: state-with-input-actions
         run: |
           mkdir -p $OUT_PATH
-          PATH=$PATH:$(pwd) OPENMINA_COMMAND=mina NO_PEER_DISCOVERY=true ./bootstrap --nocapture || {
+          PATH=$PATH:$(pwd) MINA_COMMAND=mina NO_PEER_DISCOVERY=true ./bootstrap --nocapture || {
             echo "::group::Stderr"
             cat $OUT_PATH.stderr
             echo "::endgroup::"
@@ -505,15 +505,15 @@ jobs:
         uses: actions/upload-artifact@v4
         with:
           name: bootstrap-logs-${{ github.sha }}
-          path: ${{ env.OPENMINA_HOME }}/logs/*
+          path: ${{ env.MINA_HOME }}/logs/*
           retention-days: 7
         if: ${{ failure() }}
 
       - name: Upload record
         uses: actions/upload-artifact@v4
         with:
           name: bootstrap-record-${{ github.sha }}
-          path: ${{ env.OPENMINA_HOME }}/recorder/*
+          path: ${{ env.MINA_HOME }}/recorder/*
           retention-days: 7
         if: ${{ failure() }}
 

.github/workflows/doc-commands.yaml

@@ -47,20 +47,20 @@ jobs:
       - name: Verify generated key file
         run: |
           echo "Verifying generated key file exists and has correct permissions..."
-          if [ ! -f "./openmina-workdir/producer-key" ]; then
+          if [ ! -f "./mina-workdir/producer-key" ]; then
             echo "❌ Producer key file was not generated"
             exit 1
           fi
 
           # Check file permissions (should be 600)
-          PERMS=$(stat -c "%a" "./openmina-workdir/producer-key")
+          PERMS=$(stat -c "%a" "./mina-workdir/producer-key")
           if [ "$PERMS" != "600" ]; then
             echo "❌ Producer key file has incorrect permissions: $PERMS (expected: 600)"
             exit 1
           fi
 
           # Check file is not empty
-          if [ ! -s "./openmina-workdir/producer-key" ]; then
+          if [ ! -s "./mina-workdir/producer-key" ]; then
             echo "❌ Producer key file is empty"
             exit 1
           fi
@@ -72,7 +72,7 @@ jobs:
           echo "Testing that generated key can be used by run-block-producer target..."
           # Run with --help to avoid actually starting the producer but verify
           # key validation passes
-          timeout 30s make run-block-producer NETWORK=devnet COINBASE_RECEIVER=$(cat ./openmina-workdir/producer-key.pub) || {
+          timeout 30s make run-block-producer NETWORK=devnet COINBASE_RECEIVER=$(cat ./mina-workdir/producer-key.pub) || {
             EXIT_CODE=$?
             if [ $EXIT_CODE -eq 124 ]; then
               echo "✅ Command started successfully (timed out as expected)"
@@ -87,34 +87,34 @@ jobs:
       - name: Test generate-block-producer-key with custom filename
         run: |
           echo "Testing generate-block-producer-key with custom PRODUCER_KEY_FILENAME..."
-          make generate-block-producer-key PRODUCER_KEY_FILENAME=./openmina-workdir/custom-producer-key
+          make generate-block-producer-key PRODUCER_KEY_FILENAME=./mina-workdir/custom-producer-key
 
           # Verify custom private key file exists
-          if [ ! -f "./openmina-workdir/custom-producer-key" ]; then
+          if [ ! -f "./mina-workdir/custom-producer-key" ]; then
             echo "❌ Custom producer key file was not generated"
             exit 1
           fi
 
           # Verify custom public key file exists
-          if [ ! -f "./openmina-workdir/custom-producer-key.pub" ]; then
+          if [ ! -f "./mina-workdir/custom-producer-key.pub" ]; then
             echo "❌ Custom producer public key file was not generated"
             exit 1
           fi
 
           # Check file permissions (should be 600 for private key)
-          PERMS=$(stat -c "%a" "./openmina-workdir/custom-producer-key")
+          PERMS=$(stat -c "%a" "./mina-workdir/custom-producer-key")
           if [ "$PERMS" != "600" ]; then
             echo "❌ Custom producer key file has incorrect permissions: $PERMS (expected: 600)"
             exit 1
           fi
 
           # Check both files are not empty
-          if [ ! -s "./openmina-workdir/custom-producer-key" ]; then
+          if [ ! -s "./mina-workdir/custom-producer-key" ]; then
             echo "❌ Custom producer key file is empty"
             exit 1
           fi
 
-          if [ ! -s "./openmina-workdir/custom-producer-key.pub" ]; then
+          if [ ! -s "./mina-workdir/custom-producer-key.pub" ]; then
             echo "❌ Custom producer public key file is empty"
             exit 1
           fi
@@ -132,7 +132,7 @@ jobs:
           fi
 
           # Try to generate keys again with custom filename (should fail)
-          if make generate-block-producer-key PRODUCER_KEY_FILENAME=./openmina-workdir/custom-producer-key 2>/dev/null; then
+          if make generate-block-producer-key PRODUCER_KEY_FILENAME=./mina-workdir/custom-producer-key 2>/dev/null; then
             echo "❌ Command should have failed when custom keys already exist"
             exit 1
           fi

.github/workflows/docker.yaml

@@ -1,4 +1,4 @@
-name: OpenMina Docker Build
+name: Mina Docker Build
 on:
   workflow_dispatch: {}
   push:
@@ -11,7 +11,7 @@ env:
     REGISTRY_FRONTEND_IMAGE: openmina/frontend
 
 jobs:
-  build-openmina-node-image:
+  build-mina-node-image:
     timeout-minutes: 40
     strategy:
       matrix:
@@ -63,7 +63,7 @@ jobs:
           retention-days: 1
 
   # Frontend
-  build-openmina-frontend-image:
+  build-mina-frontend-image:
     timeout-minutes: 5
     strategy:
       matrix:

.github/workflows/docs.yaml

@@ -161,14 +161,14 @@ jobs:
       - name: Create versioned documentation archive
         run: |
           cd website/build
-          tar -czf "../../openmina-docs-${{ steps.version.outputs.version }}.tar.gz" .
+          tar -czf "../../mina-docs-${{ steps.version.outputs.version }}.tar.gz" .
           cd ../..
-          zip -r "openmina-docs-${{ steps.version.outputs.version }}.zip" website/build
+          zip -r "mina-docs-${{ steps.version.outputs.version }}.zip" website/build
 
       - name: Upload versioned documentation as release asset
         uses: actions/upload-artifact@v4
         with:
           name: versioned-docs-${{ steps.version.outputs.version }}
           path: |
-            openmina-docs-${{ steps.version.outputs.version }}.tar.gz
-            openmina-docs-${{ steps.version.outputs.version }}.zip
+            mina-docs-${{ steps.version.outputs.version }}.tar.gz
+            mina-docs-${{ steps.version.outputs.version }}.zip

.github/workflows/release.yaml

@@ -15,7 +15,7 @@ jobs:
 
     - name: Create versioned directory and package files
       run: |
-        release_dir="openmina-${{ github.ref_name }}-docker-compose"
+        release_dir="mina-${{ github.ref_name }}-docker-compose"
         mkdir -p "$release_dir"
         cp -r docker-compose.* README.md "$release_dir/"
         zip -r "${release_dir}.zip" "$release_dir"
@@ -38,8 +38,8 @@ jobs:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       with:
         upload_url: ${{ steps.create_release.outputs.upload_url }}
-        asset_name: "openmina-${{ github.ref_name }}-docker-compose.zip"
-        asset_path: "openmina-${{ github.ref_name }}-docker-compose.zip"
+        asset_name: "mina-${{ github.ref_name }}-docker-compose.zip"
+        asset_path: "mina-${{ github.ref_name }}-docker-compose.zip"
         asset_content_type: application/zip
 
     - name: Upload the tarball as a release asset
@@ -48,6 +48,6 @@ jobs:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       with:
         upload_url: ${{ steps.create_release.outputs.upload_url }}
-        asset_name: "openmina-${{ github.ref_name }}-docker-compose.tar.gz"
-        asset_path: "openmina-${{ github.ref_name }}-docker-compose.tar.gz"
+        asset_name: "mina-${{ github.ref_name }}-docker-compose.tar.gz"
+        asset_path: "mina-${{ github.ref_name }}-docker-compose.tar.gz"
         asset_content_type: application/gzip

CLAUDE.md

@@ -1,10 +1,10 @@
-# OpenMina Codebase Navigation Guide
+# Mina Codebase Navigation Guide
 
-This file helps understand and navigate the OpenMina codebase structure.
+This file helps understand and navigate the Mina codebase structure.
 
 ## Project Overview
 
-OpenMina is a Rust implementation of the Mina Protocol, a lightweight blockchain
+Mina is a Rust implementation of the Mina Protocol, a lightweight blockchain
 using zero-knowledge proofs. It follows a Redux-style state machine architecture
 for predictable, debuggable behavior.
 
@@ -127,7 +127,7 @@ Each component directory contains a `summary.md` file documenting:
 
 ## Documentation Website
 
-OpenMina includes a comprehensive documentation website built with Docusaurus:
+Mina includes a comprehensive documentation website built with Docusaurus:
 
 ### Quick Access
 

Makefile

@@ -15,10 +15,10 @@ PG_HOST	?= localhost
 PG_PORT	?= 5432
 
 # Block producer configuration
-PRODUCER_KEY_FILENAME ?= ./openmina-workdir/producer-key
+PRODUCER_KEY_FILENAME ?= ./mina-workdir/producer-key
 COINBASE_RECEIVER ?=
-OPENMINA_LIBP2P_EXTERNAL_IP ?=
-OPENMINA_LIBP2P_PORT ?= 8302
+MINA_LIBP2P_EXTERNAL_IP ?=
+MINA_LIBP2P_PORT ?= 8302
 
 # Utilities
 NETWORK ?= devnet
@@ -91,7 +91,7 @@ build-wasm: ## Build WebAssembly node
 # Update ./.gitignore accordingly if the out-dir is changed
 	@wasm-bindgen --keep-debug --web \
 		--out-dir pkg \
-		target/wasm32-unknown-unknown/release/openmina_node_web.wasm
+		target/wasm32-unknown-unknown/release/mina_node_web.wasm
 
 .PHONY: check
 check: ## Check code for compilation errors
@@ -339,7 +339,7 @@ run-node: build-release ## Run a basic node (NETWORK=devnet, VERBOSITY=info)
 # Postgres related targets + archive node
 .PHONY: run-archive
 run-archive: build-release ## Run an archive node with local storage
-	OPENMINA_ARCHIVE_ADDRESS=$(OPENMINA_ARCHIVE_ADDRESS) \
+	MINA_ARCHIVE_ADDRESS=$(MINA_ARCHIVE_ADDRESS) \
 		cargo run --bin mina \
 		--release -- \
 		node \
@@ -361,8 +361,8 @@ run-block-producer: build-release ## Run a block producer node on $(NETWORK) net
 		node \
 		--producer-key $(PRODUCER_KEY_FILENAME) \
 		$(if $(COINBASE_RECEIVER),--coinbase-receiver $(COINBASE_RECEIVER)) \
-		$(if $(OPENMINA_LIBP2P_EXTERNAL_IP),--libp2p-external-ip $(OPENMINA_LIBP2P_EXTERNAL_IP)) \
-		$(if $(OPENMINA_LIBP2P_PORT),--libp2p-port $(OPENMINA_LIBP2P_PORT)) \
+		$(if $(MINA_LIBP2P_EXTERNAL_IP),--libp2p-external-ip $(MINA_LIBP2P_EXTERNAL_IP)) \
+		$(if $(MINA_LIBP2P_PORT),--libp2p-port $(MINA_LIBP2P_PORT)) \
 		--network $(NETWORK)
 
 
@@ -377,7 +377,7 @@ generate-block-producer-key: build-release ## Generate a new block producer key
 		echo "Or remove the existing key first to regenerate it."; \
 		exit 1; \
 	fi
-	@mkdir -p openmina-workdir
+	@mkdir -p mina-workdir
 	@echo "Generating new encrypted block producer key..."
 	@OUTPUT=$$($(if $(MINA_PRIVKEY_PASS),MINA_PRIVKEY_PASS="$(MINA_PRIVKEY_PASS)") cargo run --release --package=cli --bin mina -- misc mina-encrypted-key --file $(PRODUCER_KEY_FILENAME)); \
 	PUBLIC_KEY=$$(echo "$$OUTPUT" | grep "public key:" | cut -d' ' -f3); \