search

0xPolygonZero / plonky2

Apache License 2.0
755 stars 278 forks source link

Add Boolean constraints for `ArithmeticStark` #1453

Closed Nashtare closed 8 months ago

Nashtare commented 8 months ago

The arithmetic flags were not constrained to be boolean. Also add a comment on the Memory side for clarity on the IS_READ boolean implicit constraint.

sonarcloud[bot] commented 8 months ago

Quality Gate Passed Quality Gate passed

Kudos, no new issues were introduced!

0 New issues
0 Security Hotspots
No data about Coverage
No data about Duplication

See analysis details on SonarCloud