zksecurity / noname

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

refactor: builtins #33

Closed katat closed 6 months ago

katat commented 6 months ago

The static and const builtins doesn't work for generic types. These changes are for adapting to different backends.