You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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
zkp
crate with some basic ZKPs.The text was updated successfully, but these errors were encountered: