Closed LindaGuiga closed 8 months ago
I noticed that in the LogUp checks for range-checks, we do not check that the Z polynomial is initialized to 0.
Z
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
I noticed that in the LogUp checks for range-checks, we do not check that the
Z
polynomial is initialized to 0.