write MidenVM constraints for the stack u32 ops
- Lenguaje dominante
- Rust
- Estrellas
- 96
- Forks
- 39
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
These constraints should be deferred until after we have decided how to deal with the top level stack constraints and op flag handling in #209.
The u32 op constraints are described [here](https://0xpolygonmiden.github.io/miden-vm/design/stack/u32_ops.html) and implemented in Rust [here](https://github.com/0xPolygonMiden/miden-vm/blob/main/air/src/stack/u32_ops/mod.rs).
Guía de contribución
Línea de trabajo
The issue references existing Rust implementation in the Miden VM repository (air/src/stack/u32_ops/mod.rs) and design documentation. First, understand the deferred constraint handling from issue #209. Then, study the u32 operations specification and the existing Rust code to translate the constraints into Air-Script. The work is blocked on a prior architectural decision.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- rust
- Área
- compilers
- Tipo de issue
- Nueva funcionalidad
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 35/100