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: openmina
+          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=openmina 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

ARCHITECTURE.md

@@ -24,7 +24,7 @@ pub enum P2pAction {
 ```
 
 link to the definition of the node("root") action:
-[openmina_node::Action](node/src/action.rs).
+[mina_node::Action](node/src/action.rs).
 
 ## Enabling Condition
 
@@ -99,7 +99,7 @@ type Reducer<State, Action> = fn(&mut State, &Action);
 ```
 
 Main reducer function that gets called on every action:
-[openmina_node::reducer](node/src/reducer.rs).
+[mina_node::reducer](node/src/reducer.rs).
 
 ## Effects(side-effects)
 
@@ -120,7 +120,7 @@ type Effects<State, Service, Action> = fn(&mut Store<State, Service, Action>, &A
 ```
 
 Main effects function that gets called on every action:
-[openmina_node::effects](node/src/effects.rs).
+[mina_node::effects](node/src/effects.rs).
 
 ## Service
 
@@ -135,7 +135,7 @@ in another thread.
 
 ## State
 
-Our global state. [openmina_node::State](node/src/state.rs)
+Our global state. [mina_node::State](node/src/state.rs)
 
 ## Store
 
@@ -216,8 +216,8 @@ There are 2 types of effects:
    For example, we could receive rpc request on p2p layer to send our current
    best tip. Since [p2p](p2p/) is in a separate crate, it's not even possible to
    answer that rpc there, as in that crate, we only have partial view (p2p part)
-   of the state. But we do have that access in [openmina-node](node/) crate, so
-   we write effects to respond to that rpc
+   of the state. But we do have that access in [mina-node](node/) crate, so we
+   write effects to respond to that rpc
    [in there](https://github.com/openmina/openmina/blob/f6bde2138157dcdacd4baa0cd07c22506dc2a7c0/node/src/p2p/p2p_effects.rs#L517).
 
 Examples of the flow:

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