proof-systems
proof-systems copied to clipboard
Foreign field addition
Finish up the rest of foreign field addition
- [x] gate creation
- [x] witness creation
Done