feat: log-derivative vector lookups

[ivokub]

This is an alternative and more efficient way for performing lookups from a vector using variable query values.

The idea is similar as in range-check by using a log-derivative argument. However, instead of checking that a multiset is contained in a set, we want to check that a table row is included in another table. For that, we construct a random linear combination of the table row elements and use it in the log-derivative argument.

I also added some wrappers which allows to re-use the same primitive easily in different contexts. I also have WIP for function precomputation in context of snark-unfriendly functions (sha2, blake etc.) where this is useful.