Devnet Pre-Release 3.1.1-alpha1

[amc-ie]

The o1Labs team is proud to announce that 3.1.1-alpha1 is ready to test on Devnet! This release includes a lot of changes and refactors boosting some areas of performance and others that will form a foundation for significant upcoming additional performance improvements in the daemon.

If you run into any issues, please include Release: 3.1.1-alpha1 in the name of any issues you create. Please report any issues you encounter here or join the discussion!

Some highlights of what has changed

Improvements

• Use disk cache for complete works held in blocks #16582: Use disk cache for complete works held in blocks
• Refactor Common module in verifier #16796: Refactor Common module in verifier
• Verification of zkapp proofs prior to block creation #16809: Verification of zkapp proofs prior to block creation
• Update proof-systems: reintroduce perm_aggreg parallelization + bugfix #16812: Update proof-systems: reintroduce perm_aggreg parallelization + bugfix
• Change json format in mina advanced verify-commands #16869: Change json format in mina advanced verify-commands

Complete Changelog since 3.1.0:

3.1.0...3.1.1-alpha1

Supported environments include macOS, Linux (Debian 11 and Ubuntu 20.04 LTS), and any host machine with Docker.

---

Upgrading & Connecting to Devnet

Debian Packages:

Debian Repository: First, set up and update the alpha Debian Repository for your platform with the following commands:

sudo rm /etc/apt/sources.list.d/mina*.list
echo "deb [trusted=yes] http://packages.o1test.net $(lsb_release -cs) alpha" | sudo tee /etc/apt/sources.list.d/mina-alpha.list
sudo apt-get update

Then, install the package(s) that you need:

Mina Daemon: sudo apt-get install --allow-downgrades -y mina-devnet=3.1.1-alpha1-d185a19
Mina Archive: sudo apt-get install --allow-downgrades -y mina-archive=3.1.1-alpha1-d185a19
Mina Archive Schema: create_schema.sql
Config File: var/lib/coda/config_d185a197.json

Docker Images:

Every docker image is built for each of the supported platforms, replace CODENAME in the images below with your choice of focal or bullseye to select the base docker image.

Mina Daemon: gcr.io/o1labs-192920/mina-daemon:3.1.1-alpha1-d185a19-CODENAME-devnet
Mina Archive: gcr.io/o1labs-192920/mina-archive:3.1.1-alpha1-d185a19-CODENAME
Mina Rosetta: gcr.io/o1labs-192920/mina-rosetta:3.1.1-alpha1-d185a19-CODENAME-devnet

Step by Step Guide:

Docker only Make sure to run with:

• -peer-list-url https://storage.googleapis.com/o1labs-gitops-infrastructure/devnet/seed-list-devnet.txt or add PEER_LIST_URL=https://storage.googleapis.com/o1labs-gitops-infrastructure/devnet/seed-list-devnet.txt to your .mina-env.

Run mina daemon with:

mina daemon --peer-list-url https://storage.googleapis.com/o1labs-gitops-infrastructure/devnet/seed-list-devnet.txt

Check out our documentation for complete instructions on using this version to connect to Devnet.

If you are running the correct version on the correct network DEVNET, mina client status will show:

Chain id:     29936104443aaf264a7f0192ac64b1c7173198c1ed404c1bcff5e562e05eb7f6
Git SHA-1:    d185a1974dc64e549c7f17aa9b8eb2f8738e3544

---

This discussion was created from the release Devnet Pre-Release 3.1.1-alpha1.

[Evan57000]

Hello, I’m running a block producer on Devnet using the official Docker image for 3.1.1‑alpha1, and although my node is selected to propose blocks, the integrated SNARK prover repeatedly fails with a “Constraint unsatisfied (unreduced)” error. As a result, my proposed blocks are never accepted by the network.

The mina client status command show the same Chain id and Git SHA-1 as above
My node is synced with the network

{
  "timestamp": "2025-05-02 14:17:53.026265Z",
  "level": "Info",
  "source": {
    "module": "Prover",
    "location": "File \"src/lib/prover/prover.ml\", line 392, characters 8-19"
  },
  "message": "Prover started",
  "metadata": {}
}
{
  "timestamp": "2025-05-05 09:00:00.171286Z",
  "level": "Error",
  "source": {
    "module": "Prover",
    "location": "File \"src/lib/prover/prover.ml\", line 149, characters 16-28"
  },
  "message": "Prover threw an error while extending block: $error",
  "metadata": {
    "commit_id": "d185a1974dc64e549c7f17aa9b8eb2f8738e3544",
    "error": {
      "exn_name": "Async_kernel__Monitor.Error_",
      "exn": [
        "monitor.ml.Error",
        [
          "Failure",
          "Constraint unsatisfied (unreduced):\nget_req: File \"src/lib/snarky/src/base/merkle_tree.ml\", line 447, characters 2-465\nFile \"src/lib/consensus/proof_of_stake.ml\", line 708, characters 21-28\nget_vrf_evaluation: File \"src/lib/consensus/proof_of_stake.ml\", line 698, characters 6-1743\ncheck: File \"src/lib/consensus/proof_of_stake.ml\", line 741, characters 8-1141\nupdate_var: File \"src/lib/consensus/proof_of_stake.ml\", line 2101, characters 6-7400\nnext_state_checked: File \"src/lib/consensus/proof_of_stake.ml\", line 3306, characters 8-822\nFile \"src/lib/blockchain_snark/blockchain_snark_state.ml\", line 193, characters 15-22\nstep: File \"src/lib/blockchain_snark/blockchain_snark_state.ml\", line 141, characters 0-9587\nrule_main\n\nConstraint:\n(Equal(Var 8841)(Var 16742))\nData:\nEqual 19690892872265480359610666557134890041438385984558667123199435331292378703628 18203101676557286399016187439679157653055558668338404808123458785393162578600"
        ],
        [
          "Raised at Stdlib.failwith in file \"stdlib.ml\", line 29, characters 17-33",
          "Called from Snarky_backendless__Checked_runner.Make_checked.add_constraint.(fun) in file \"src/lib/snarky/src/base/checked_runner.ml\", line 159, characters 12-383",
          "Called from Snarky_backendless__Checked_runner.Make_checked.bind.(fun) in file \"src/lib/snarky/src/base/checked_runner.ml\", line 75, characters 25-28",
          "Called from Snarky_backendless__Checked_runner.Make_checked.with_label.(fun) in file \"src/lib/snarky/src/base/checked_runner.ml\", line 136, characters 20-70",
          "Called from Snarky_backendless__Checked_runner.Make_checked.with_handler.(fun) in file \"src/lib/snarky/src/base/checked_runner.ml\", line 180, characters 10-80",
          "Called from Snarky_backendless__Checked_runner.Make_checked.with_label.(fun) in file \"src/lib/snarky/src/base/checked_runner.ml\", line 136, characters 20-70",
          "Called from Snarky_backendless__Checked_runner.Make_checked.bind.(fun) in file \"src/lib/snarky/src/base/checked_runner.ml\", line 75, characters 25-28",
          "Called from Snarky_backendless__Checked_runner.Make_checked.with_label.(fun) in file \"src/lib/snarky/src/base/checked_runner.ml\", line 136, characters 20-70",
          "Called from Snarky_backendless__Checked_runner.Make_checked.bind.(fun) in file \"src/lib/snarky/src/base/checked_runner.ml\", line 75, characters 25-28",
          "Called from Snarky_backendless__Checked_runner.Make_checked.with_label.(fun) in file \"src/lib/snarky/src/base/checked_runner.ml\", line 136, characters 20-70",
          "Called from Snarky_backendless__Checked_runner.Make_checked.bind.(fun) in file \"src/lib/snarky/src/base/checked_runner.ml\", line 75, characters 25-28",
          "Called from Snarky_backendless__Checked_runner.Make_checked.with_label.(fun) in file \"src/lib/snarky/src/base/checked_runner.ml\", line 136, characters 20-70",
          "Called from Snarky_backendless__Checked_runner.Make_checked.with_label.(fun) in file \"src/lib/snarky/src/base/checked_runner.ml\", line 136, characters 20-70",
          "Called from Snarky_backendless__Checked_runner.Make_checked.with_label.(fun) in file \"src/lib/snarky/src/base/checked_runner.ml\", line 136, characters 20-70",
          "Called from Snarky_backendless__Checked_runner.Make_checked.bind.(fun) in file \"src/lib/snarky/src/base/checked_runner.ml\", line 75, characters 25-28",
          "Called from Snarky_backendless__Checked_runner.Make_checked.with_label.(fun) in file \"src/lib/snarky/src/base/checked_runner.ml\", line 136, characters 20-70",
          "Called from Snarky_backendless__Snark0.Run.Make_basic.run in file \"src/lib/snarky/src/base/snark0.ml\", line 737, characters 26-51",
          "Called from Blockchain_snark__Blockchain_snark_state.rule.(fun) in file \"src/lib/blockchain_snark/blockchain_snark_state.ml\", line 420, characters 10-124",
          "Called from Pickles.Make_str.compile.choices.go.(fun) in file \"src/lib/pickles/pickles.ml\", line 360, characters 46-54",
          "Called from Snarky_backendless__Snark0.Run.Make_basic.with_label in file \"src/lib/snarky/src/base/snark0.ml\", line 1241, characters 14-18",
          "Called from Pickles__Step_main.Make.step_main.main in file \"src/lib/pickles/step_main.ml\", line 287, characters 8-94",
          "Called from Pickles__Step.Make.f.(fun) in file \"src/lib/pickles/step.ml\", line 819, characters 40-49",
          "Called from Pickles__Step.Make.f.(fun) in file \"src/lib/pickles/step.ml\", line 818, characters 12-97",
          "Called from Async_kernel__Deferred0.bind.(fun) in file \"src/deferred0.ml\", line 54, characters 64-69",
          "Called from Async_kernel__Job_queue.run_job in file \"src/job_queue.ml\" (inlined), line 128, characters 2-5",
          "Called from Async_kernel__Job_queue.run_jobs in file \"src/job_queue.ml\", line 169, characters 6-47",
          "Caught by monitor at file \"src/lib/prover/prover.ml\", line 124, characters 47-47"
        ]
      ]
    }
  }