Georg Wiese fbc8c8c927 Introduce AlgebraicVariable (#1755) ...

(First 4 commits of #1650)

This PR prepares witness generation for scalar publics (#1756). Scalar
publics are similar to cells in the trace, but are global (i.e.,
independent on the row number).

With this PR, affine expressions use a new `AlgebraicVariable` enum,
that can be either a column reference (`&'a AlgebraicReference`, which
was used previously), or a reference to a public.

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

..

src

Introduce AlgebraicVariable (#1755)

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

Cargo.toml

Introduce AlgebraicVariable (#1755)

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