Confidential inputs

In the case of Markets which support confidential inputs, Market Creators are required to provide Generators with an enclave image which decrypts confidential inputs and generates proofs.

Generator Enclave

A Generator Enclave can be summarized as follows:

Kalypso makes it easy for Creators to build the enclave image by only requiring them to implement the prover-executable. The enclave image can then be easily built by placing the prover-executable in a template codebase that's made available.

📄️ prover-executable

Note that in type-3 or type-4 markets, Generators don't need to receive inputs or run the prover in an enclave, hence building the prover-executable for such markets isn't required. In the case of type-1 and type-2 markets, the Market Creator is required to build the prover-executable which is used to build the Generator enclave.

📄️ Build the image

To create a prover enclave image, you must use the standard prover template. The prover template contains all the necessary tools that facilitate attestations once the enclave has been deployed.