fix: add missing constraints to goldilocks `Reduce*`

succinctlabs / gnark-plonky2-verifier

MIT License

85 stars 25 forks source link

Closed shuklaayush closed 9 months ago

shuklaayush commented 9 months ago

Fixes #40

kevjue commented 9 months ago

@shuklaayush - Thanks for the PR! This was actually something on our list to address next week, so def. appreciate this!

shuklaayush commented 9 months ago

No worries! I'd keep the issue/PR open until then since I don't think this is documented anywhere

kevjue commented 9 months ago

This issue is address in PR #42 .