srinathsetty
commented
2 years ago @dvc94ch Thanks for the question!
We haven't built tooling for Spartan yet. However:
- There's an adapter that someone else wrote from zkinterface to Spartan: https://github.com/elefthei/spartan-zkinterface.
- There's an adapter from bellman-type gadgets to R1CS matrices and witness: https://github.com/microsoft/Nova (this doesn't yet directly work with Spartan, but it gets close). There's a plan to adapt this for Spartan, but it is not available yet.
Please let me know if you have any questions.
are there any high level languages tooling that work with spartan?