Skip to main content

Proving Systems

Each proving system has its own market on Kalypso. This allows hardware operators to quote prices and worst-case proving times based on every individual application. In fact, there can be multiple markets for the same proving system to accomodate different minimum stake and slashing requiments. Applications are, of course, free to use existing markets if the parameters suit their requirements.

Creation of markets is permissionless. Currently, markets have been created for the following proving systems:

  • Aztec blockchain
  • Groth16
  • Noir
  • RiscZero
  • SP1
  • StarkNet
  • Valida
  • ZKSync

If the existing markets do not suit your application's requirements, feel free to create a new one by following the instructions here: