0xMiden / 0xMiden/miden-vm

air: domain-separate bus messages by interaction namespace, not by bus type

Abierto
#3,012 0 comentarios 0 reacciones 0 asignados Ver en GitHub
air
Lenguaje dominante
Rust
Estrellas
772
Forks
352
Merge medio
1 d 12 h
PR fusionados (30 d)
93

Descripción

Follow-up from #2856.

After the bus-prefix refactor, we domain-separate per `bus_type` (e.g. `CHIPLETS_BUS`), but logically distinct cancelable message families share one prefix and still rely on op-labels encoded into the message body for disambiguation.

Proposal: assign one prefix per *balancing interaction namespace* (memory element, memory word, hasher permutation link, ACE read, ACE eval, range-check, decoder→stack overflow, etc.) instead of per bus column. Benefits:

- Most of the current op-label machinery becomes redundant and can be dropped.
- Cross-family denominator collisions become impossible by construction, not by label convention.
- Simplifies reasoning about bus-message uniqueness.

May be executed alongside the LogUp refactor (#2962) — flagging for scoping.

_Originally posted by @Al-Kindi-0 in https://github.com/0xMiden/miden-vm/pull/2856#discussion_r3089158554 and @adr1anh in https://github.com/0xMiden/miden-vm/pull/2856#discussion_r3092560703_

Guía de contribución

Abrir la guía de contribución

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.