Renames miden-objects into miden-protocol and miden-lib into miden-standards, following the previous PR #2191.

Main changes

ProtocolLib

• The namespace is simply changed from miden to miden::protocol.

StandardsLib

• Renames crates/miden-lib/asm/miden/ -> crates/miden-standards/asm/standards/.
• Changes assembly of the StandardsLibrary to use the miden::standards namespace.
• Deletes the contracts directory.

This results in miden::contracts::faucets mapping to miden::standards::faucets, next to miden::standards::auth and miden::standards::wallets.

Note that account components and note scripts are left untouched. See follow-ups.

miden-objects

Renamed to miden-protocol.

miden-lib

Renamed to miden-standards.

Slot Names

In line with the above, also renames:

• the slot name miden::faucet::sysdata -> miden::protocol::faucet::sysdata.
• the slot name miden::network_fungible_faucet::owner_config -> miden::standards::network_fungible_faucet::owner_config.

Review

I tried to keep commits organized and so reviewing by commit might make things easier to follow.

Most commits are relatively small, the two biggest ones are those that update imports.

Follow-Ups

For another PR, we can consider:

• In general, making library paths, event names and slot names consistent in their namespacing, i.e. either miden::protocol or miden::standards.
  • Slot names should be consistent after this PR, but events need a slight rename, for example:
    • Rename event("miden::tx::prologue_start") -> event("miden::protocol::tx::prologue_start")
    • Tracked in Prefix tx kernel events with miden::protocol #2198.
  • Consider changing library paths of account components to be in the miden::standards namespace, e.g.:
    • basic_fungible_faucet::distribute could become miden::standards::faucets::basic_fungible_faucet::distribute. This needs a little more thought though because this may collide or be inconsistent with the existing miden::standards::faucets::basic_fungible.
• Check miden-protocol for types that are actually standards, like TokenSymbol and move them to standards.
  • One interesting case is miden_protocol::account::auth::{AuthSecretKey, Signature} which are probably standards.

closes #1563