noname
noname copied to clipboard
Refactor with basic constraints
this is a rebase for https://github.com/zksecurity/noname/pull/48