search

powdr-labs / powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.
Apache License 2.0
416 stars 82 forks source link

Mock Backend: Handle constant LHS / RHS in connections #2172

Closed georgwiese closed 2 days ago

georgwiese commented 2 days ago

With this PR, the MockBackend should work also for some lookups / permutations that don't reference any column on the LHS and RHS.

While these constraints could always be removed by the optimizer, it is not always the case in practice.