Prover/distribute projection query

[arijitdutta67]

This PR implements issue(s) #

Checklist

• I wrote new tests for my new core changes.
• I have successfully ran tests, style checker and build against my new changes locally.
• I have informed the team of any breaking changes if there are any.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 68.49%. Comparing base (07ae16a) to head (01a2cd3).

Additional details and impacted files

@@                      Coverage Diff                      @@
##             prover/limitless-top-level     #608   +/-   ##
=============================================================
  Coverage                         68.49%   68.49%           
  Complexity                         1130     1130           
=============================================================
  Files                               321      321           
  Lines                             12842    12842           
  Branches                           1287     1287           
=============================================================
  Hits                               8796     8796           
  Misses                             3506     3506           
  Partials                            540      540           

Flag	Coverage Δ		*Carryforward flag
hardhat	98.74% <ø> (ø)
kotlin	66.05% <ø> (ø)		Carriedforward from dd69e06

*This pull request uses carry forward flags. Click here to find out more.