zksecurity / noname

Noname: a programming language to write zkapps
https://zksecurity.github.io/noname/
193 stars 50 forks source link

Fix: avoid node overriding and re-instantiate a same function #198

Closed katat closed 1 month ago

katat commented 1 month ago

Changes:

  1. Since every functions need to be instantiated, the ctx.generic_func_scope is not necessary for determining whether it needs to generate new node id. Thus, ctx.generic_func_scope is removed to avoid unexpected behavior in terms of handling the node ids at mast phase.

  2. A fix to avoid re-instantiate a same function.