o1vm/lookup: add lookup prover until alpha

[marcbeunardeau88]

first part of the prover that will prove that the sum of the lookup from one circuit goes from one public to one public output

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 85 lines in your changes missing coverage. Please review.

Project coverage is 76.69%. Comparing base (84a357a) to head (d41ef48).
Report is 30 commits behind head on master.

Files with missing lines	Patch %	Lines
o1vm/src/pickles/lookup_prover.rs	0.00%	85 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #3000      +/-   ##
==========================================
- Coverage   77.15%   76.69%   -0.46%     
==========================================
  Files         260      262       +2     
  Lines       61529    61967     +438     
==========================================
+ Hits        47470    47526      +56     
- Misses      14059    14441     +382     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.