Unify ADD and ADDI
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 25/100
- Tipo de issue
- Refactorización
- Claridad
- Bastante claro
- Estado de actividad
- Estancado
- Stack tecnológico
- rust
- Área
- compilers, performance
Línea de trabajo
Comienza siguiendo InsnRecord a través de la decodificación de instrucciones y los circuitos que gestionan ADD y ADDI. Determina si las formas de registro e inmediata pueden compartir una única instrucción interna sin lógica condicional adicional y, después, evalúa los pares análogos de desplazamiento y multiplicación. Se considera terminado cuando los pares aplicables están unificados, se conserva el comportamiento de wrap-around y se reduce la duplicación de circuitos.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Our internal instruction format (InsnRecord) already supports instructions with both two input registers and an immediate.
That means we can decode both ADD and ADDI into the same internal instruction that acts like rd := wrap_around(rs1 + rs2 + imm). The same is applicable for other pairs of register and immediate operations. Like immediate left shift and multiplication.
This should result in fewer and simpler circuits.
Note that we only need to handle wrap around once, because in all instructions either at least one of rs2 or immediate operand are zero.
This suggestion assumes that we can unify instructions like ADD and ADDI without any extra conditional logic in the circuits (which I am confident in, having done this kind of thing before), and it also assumes that having fewer circuits helps with simplicity and performance, especially performance of recursive proving.
- Lenguaje dominante
- Rust
- Estrellas
- 156
- Forks
- 43
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Tiene una plantilla de pull request
- Sin guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de scroll-tech/ceno
-
executor opcode circuit optimization regression-e2e-reth
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
scroll-tech/ceno#1390 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
scroll-tech/ceno#1383 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
scroll-tech/ceno#1366 ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 55/100
scroll-tech/ceno#1346 ·
-
cross repo cdAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 15/100
scroll-tech/ceno#1337 ·
Todos los issues de scroll-tech/ceno
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
NSPG13/agent-bounties#1749 ·
Los mantenedores suelen responder en 1 día
-
area: web bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
kinqsradio/orbyn-engineering#227 ·
Los mantenedores suelen responder en 1 día
-
agentic-workflows automation repo-assist
Dificultad 1/5 Menos de una hora Aptitud para principiantes 85/100
shanselman/winget-tui#483 ·
Los mantenedores suelen responder en 2 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
lightonai/next-plaid#205 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
apache/datafusion-iceberg#100 ·
Los mantenedores suelen responder en 1 día