Skip to main content

Introduction

Creating a Market in Kalypso involves the following steps:

  • Determining the type of Market to be created: Whether or not a Market supports confidential inputs and Solidity-based proof verification affects the steps Creators need to follow to deploy a useful Market
  • Writing the programs Generators will run: Creators can make it easy for Generators to join their Markets by making standardized tools available to interact with the marketplace. This is a must in the case of Markets that support confidential inputs as the proving service should only run inside enclaves which are built to not leak confidential inputs.
  • Developing the Input Verification Service: The IVS runs inside an enclave and provides attestations when inputs are invalid. It is only required in the case of Markets that don't support confidential inputs as otherwise the enclaves Generators run can provide attestations for the same making the IVS redundant.
  • Deploying the Proof Verifier contract: It checks whether the proofs sent by Generators are valid or not. If the proofs can't be verified on-chain, the contract checks whether a genuine enclave attestation exists for the validity of the proof.
  • Creating the Market: The final smart contract call that deploys the Market with the necessary data.