Refactor reducer to reduce memory usage and runtime - Githubissues

Zokrates / ZoKrates

A toolbox for zkSNARKs on Ethereum

https://zokrates.github.io

GNU Lesser General Public License v3.0

1.81k stars 361 forks source link

Refactor reducer to reduce memory usage and runtime #1283

Closed Schaeff closed 1 year ago

Schaeff commented 1 year ago

Introduce FrameIdentifier to isolate variables related to a given call frame
Simplify the reducer
Remove call push and pop statements