How would one go about implementing verifier contracts in another language?

If I wanted to work on implementing verifier contracts for Noir circuits in a different language, are there any resources you could point me to to get started?
I’m working a lot lately with the Sway programming language, and am wondering how feasible it would be to implement verifier contracts in Sway.

Here is the code our team has written for generating the solidity verifier contracts, its probably the best place to start. Lmk if you have any questions

32 Likes