zksecurity / noname

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

provide a sub function in the backend #56

Closed mimoo closed 3 months ago

mimoo commented 4 months ago

instead of doing neg and add