search

0xPolygonZero / plonky2

Apache License 2.0
777 stars 289 forks source link

Refactor JUMPDEST analysis #1347

Closed hratoanina closed 11 months ago

hratoanina commented 12 months ago

See 0xPolygonZero/zk_evm#49

We optimize JUMPDEST analysis by:

The second point makes a loop iteration encountering a JUMPDEST slightly more expensive, but all the others cheaper.

For the ERC20 test, we get the following improvements: CPU trace: 171916 -> 159854 Memory trace: 545553 -> 517626

sonarcloud[bot] commented 11 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