0xPolygonZero / plonky2

Apache License 2.0
758 stars 281 forks source link

Check that limbs after the length are 0 #1419

Closed LindaGuiga closed 9 months ago

LindaGuiga commented 9 months ago

This PR adds a check that all value limbs in BytePackingStark after the last one (i.e. when the length is i, all value limbs with index i or higher are 0).

sonarcloud[bot] commented 9 months ago

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information