Improve `periodic_column` usage in Plonky3 backend
- Lenguaje dominante
- Rust
- Estrellas
- 96
- Forks
- 39
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
### What should be done?
This issue is a followup on https://github.com/0xMiden/air-script/pull/461:7
As Plonky3 currently does not support periodic columns out of the box, we've introduced in #461 multiple structs and implementation for their support in our backend.
However, their handling can be improved. For instance, we can no longer `prove` or `verify` traces, only check that a given trace follows the constraints described in the Air for testing.
### How should it be done?
- `fn periodic_columns(&self) -> Vec {` in `AirBuilderWithPeriodicColumns` should maybe return an Array
- `periodic_columns` in the `DebugConstraintBuilderWithPeriodicColumns` struct a bit differently
- Pad all periodic columns to the maximum length by periodic repetition
- Transpose the columns so that we have a vector of rows.
- We just return `&self.periodic_columns[self.row_index % col.len()]`
_Originally posted by @adr1anh in https://github.com/0xMiden/air-script/pull/461#discussion_r238264942
- Add support of `prove` and `verify`
### When is this task done?
This task is done when a better handling of periodic columns has been achieved and tested in all the current tests.
### Additional context
_No response_
Guía de contribución
Línea de trabajo
Revise los cambios en la PR #461, especialmente las estructuras `AirBuilderWithPeriodicColumns` y `DebugConstraintBuilderWithPeriodicColumns`. Comprenda cómo se manejan actualmente las columnas periódicas y las mejoras propuestas: padding, transposición y habilitación de prove/verify. Ejecute las pruebas existentes para asegurarse de que los cambios no rompan la funcionalidad, centrándose en las pruebas relacionadas con columnas periódicas.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- rust
- Área
- backend, compilers
- Tipo de issue
- Refactorización
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 35/100