chriseth e3c4c858f0 Witgen inference. (#2219) ...

This PR adds a component that can derive assignments and other code on
identities and multiple rows. It keeps track of which cells in the trace
are already known and which not. The way to access fixed rows is
abstracted because it does not have a concept of an absolute row. While
this might work for block machines with cyclic fixed columns, it does
not work in the general case.

What it does not do:
- have a sequence of which identities to consider on which rows
- a mechanism that determines when it is finished

---------

Co-authored-by: Georg Wiese <georgwiese@gmail.com>

2024-12-12 16:12:30 +00:00

..

src

Witgen inference. (#2219)

2024-12-12 16:12:30 +00:00

Cargo.toml

Prepare to call jit from block machine. (#2098)

2024-12-12 11:58:23 +00:00