Noir circuits with private inputs

Every Noir circuit has its own market on Kalypso. This is because different circuits would have different proof generation times and thus pricing. It also provides hardware operators the flexibility to pick circuits they would like to support.

Since the circuits may involve private inputs, the proving software has to be run inside an enclave. Kalypso provides an enclave template that can be customized based on requirements. For the case of Noir circuits in particular, the enclave hardware operators run is common across circuits as the circuit is provided as an external input.

We’ll be using a dummy Noir circuit in this walkthrough.

This tutorial is split into two parts:

• Noir developers need to create a market for their circuit specifying relevant parameters. Once hardware operators have registered in the market, they can then use the kalypso-sdk to place proof requests and retrieve proofs once generated.
• Hardware operators need to run benchmark tests and register for the corresponding market. They can then listen for proof requests submitted in the market.