Prover/constraint for the update operation

[arijitdutta67]

This PR adds the following constraint for the update operation:

1. For Update operation, HKey remains the same

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 71.54%. Comparing base (4f4be57) to head (7dc3dee). Report is 1 commits behind head on main.

Additional details and impacted files

@@             Coverage Diff              @@
##               main     #149      +/-   ##
============================================
- Coverage     71.61%   71.54%   -0.08%     
  Complexity     1084     1084              
============================================
  Files           299      299              
  Lines         12145    12114      -31     
  Branches       1135     1077      -58     
============================================
- Hits           8698     8667      -31     
  Misses         2956     2956              
  Partials        491      491              

Flag	Coverage Δ		*Carryforward flag
hardhat	98.63% <ø> (-0.05%)	:arrow_down:	Carriedforward from 2986d31
kotlin	69.43% <ø> (ø)

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

see 3 files with indirect coverage changes