Fixed selectors: should be part of a "setup phase" and integration in prover/verifier should be verified

[dannywillems]

          Accepting to move on. However, we should have an "index" or a setup phase as specified before.

Originally posted by @dannywillems in #2249 (review)

There might be improvements.