Leandro Pacheco 718c333ff9 Query input/output rework (#1828) ...

This PR does a few things:
- unify `Input/DataIdentifier` into a single `Input` query that takes
(channel,idx) and returns a field element
- Output query takes (channel, fe)
- change the related prover functions to reflect this
This interface is used by, but not the same, as the input/output for the
riscv machine.
How to use these to input/output bytes or serialized data is a job of
the runtime implementation.

2024-09-24 13:58:38 +00:00

..

src

Query input/output rework (#1828)

2024-09-24 13:58:38 +00:00

Cargo.toml

Introduce AlgebraicVariable (#1755)

2024-09-23 14:44:04 +00:00