Implement basic ZKP utilities for StoffelLang

[Mikerah]

When building an application for MPC, optimizations is an important due to the increase computational load that all MPC nodes will have. As such, there are a few ways to minimize this, mainly by delegate certain tasks to be done outside of the MPC circuit such as input checking. Input checking in MPC is expensive due to its reliance on doing comparison checks and comparisons are an expensive operation. As such, you may want to check inputs using simple ZKPs.

We should provide a basic set of useful ZKP circuits that a developer can use with StoffelMPC so that they can get better benchmarks for their MPC application. Ideally, the developer shouldn't know anything about ZKPs other than what they can help with and how to use them within Stoffel Lang. We will need to do the following

• : Provide some basic syntax for invoking this functionality within StoffelLang
• : Implement a zkp crate with some basic ZKPs.