Add bounds checks to GPC - Githubissues

proofcarryingdata / zupass

Zuzalu Passport

GNU General Public License v3.0

282 stars 73 forks source link

Add bounds checks to GPC #1823

Closed ax0 closed 3 months ago

ax0 commented 3 months ago

Resolves https://linear.app/0xparc-pcd/issue/0XP-951/gpc-lowerboundupperbound-proofs

This PR adds bounds checks to the GPC config. Summary of changes:

Addition of minValue and maxValue fields to the proof entry config
Additional checks and compilation steps in GPC package
Unit tests
POD PCD filtering for prescribed bounds in GPC PCD package