docs: Outdated references in mdBook documentation (hash function, library name, version)

[amathxbt]

gmiden team

Description

The mdBook documentation at https://0xmiden.github.io/miden-vm/ contains several outdated references that don't match the current next branch README:

1. Hash Function Name

• Docs say: "Rescue Prime Optimized"
• Should be: "Poseidon2"
• Location: docs/intro/main.md (Cryptographic operations section)

2. Library Name

• Docs say: stdlib
• Should be: miden-core-lib
• Location: docs/intro/main.md (External libraries section)

3. Version Number

• Docs say: "v0.19"
• Should be: Current release version
• Location: docs/intro/main.md (Status and features section)

Proposed Fix

I'd be happy to submit a PR to update these references if that would be helpful.

[plafer]

https://0xmiden.github.io/miden-vm/ only gets updated when we make a release - though I think we had plans to stop publishing our docs there (in favor of https://docs.miden.xyz/miden-vm/)?

What's the state of that @Keinberger?

[Keinberger]

Hey @plafer, great question!

The migration to https://docs.miden.xyz is done, all VM docs are now maintained there under the Docusaurus setup (merged in PR #2234). The internal links within the codebase were also already updated to point to docs.miden.xyz in PR #2560.

That said, the old mdBook site at 0xmiden.github.io/miden-vm is still live and serving outdated content (which is what @amathxbt is running into here). I think we should go ahead and take it down -- or at minimum set up a redirect to docs.miden.xyz/miden-vm/. As @bobbinth mentioned in #2519, the mdBook docs are now outdated and should be brought down.

I'll look into disabling the GitHub Pages deployment and/or adding a redirect. We could either:

• Option A: Disable GitHub Pages entirely on this repo and let the old URLs 404 (simple but breaks any external links)
• Option B: Replace the gh-pages content with a redirect page pointing to
  docs.miden.xyz/miden-vm/ (preserves external links gracefully)

I think Option B is the better approach so we don't break any links people might have bookmarked or shared.

@amathxbt thanks for reporting this! The file you referenced (docs/intro/main.md) no longer exists since we migrated to Docusaurus. The current docs live at https://docs.miden.xyz/miden-vm/ and are sourced from the docs/src/ directory in this repo. If you notice anything outdated in the new docs, we'd welcome a PR there instead!

Thanks!

[amathxbt]

Great work we'll keep finding such issues

[amathxbt]

I appreciate your mentioned sir @Keinberger I found a small doc fix again
Noticed the dependency diagram in the miden-docs README still references miden-vm v0.19.1 while the release manifest example below it already shows v0.20.0. Updated it for consistency. And Also fixed the stale compiler version reference (0.5.1 → 0.6.0) to match the release manifest.
PR here: 0xMiden/docs#190

Thank you sir waiting for your review