Add prover gnark example

[MauroToscano]

Add prover gnark example

[codecov-commenter]

Codecov Report

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

Comparison is base (543f0bc) 95.36% compared to head (8718417) 95.36%. Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #751   +/-   ##
=======================================
  Coverage   95.36%   95.36%           
=======================================
  Files         140      140           
  Lines       31393    31393           
=======================================
  Hits        29938    29938           
  Misses       1455     1455           

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.