Verifying ZKPs part one

[benjaminsavage]

First diff to verify zero knowledge proofs.

[codecov]

Codecov Report

Attention: Patch coverage is 99.54128% with 1 lines in your changes are missing coverage. Please review.

Project coverage is 89.57%. Comparing base (d4b18bb) to head (514f7a1).

Files	Patch %	Lines
...rc/protocol/ipa_prf/malicious_security/verifier.rs	99.50%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #983      +/-   ##
==========================================
+ Coverage   89.46%   89.57%   +0.10%     
==========================================
  Files         163      164       +1     
  Lines       21956    22163     +207     
==========================================
+ Hits        19643    19852     +209     
+ Misses       2313     2311       -2     

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