Explore usage of starky for random access & range checks

[arnaucube]

[ed255]

List of things to check:

• Do a range check
• Do a lookup to witness data / random access to witness data.
• If starky doesn't offer API for range check & lookups, figure out if it has a challenge API so that we can implement those arguments ourselves
  • This document from Aztec describes ways to implement different lookup/range/permutation arguments. We could use those or choose a different approach like LogUp (logarithmic derivative).