0xMiden / 0xMiden/air-script

Improve `periodic_column` usage in Plonky3 backend

Abierto
#492 0 comentarios 0 reacciones 0 asignados Ver en GitHub
codegen
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

Abrir la 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

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.