Constraints

[npwardberkeley]

[weikengchen]

update: currently debugging on an unsatisfied PC check using tracing.

[weikengchen]

Note: This branch uses the constraints branch of poly-commit. Once poly-commit's PR is merged, this part needs to be changed.

[weikengchen]

(Help needed. The no_std error seems weird, though ci.yml for this branch has been updated.)

[weikengchen]

Merging with the additional conflicts with the fix to the main branch...

[Pratyush]

btw, is it possible to have a "reviewing" guide here? Which parts should I focus on, which parts are "trivial", etc.

Ditto for poly-commit.

This can be as simple as leaving comments on the files that need most scrutiny.

[weikengchen]

No problem. Will do for both.

[Pratyush]

Thanks, much appreciated =)

[weikengchen]

(We would pause here and leave the changes in the constraints branch, and we will come back after the paper deadline.)