zksecurity / noname

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

Remove add_gate and add_generic_gate from backend #50

Closed katat closed 5 months ago

katat commented 5 months ago

After the refactor branch https://github.com/zksecurity/noname/pull/48 merged, we should be able to remove backend interfaces add_gate and add_generic_gate, as they are only applicable in kimchi backend.

katat commented 5 months ago

actually this issue is highly relevant the refactor branch, so this is included in that branch.