Skip to main content

Cairo Circuit

Cairo Circuit and Privacy​

  • While the Cairo circuit doesn’t fully preserve privacy in the sense that BTC transaction details (such as transaction IDs, UTXOs, and raw data) remain visible, its primary strength lies elsewhere.
  • Specifically, the Cairo circuit enables Ethereum Virtual Machine (EVM) chains to verify whether a BTC transaction genuinely spent or transferred some satoshis (sats) and identify the involved addresses.
  • This verifiability across chains gives EVM-based networks an advantage over the Bitcoin chain.

Technical Aspects of Cairo​

  • The Cairo circuit relies on several critical inputs to compute its proofs:

    • Block Height: Information about the block in which the transaction occurred.
    • Transaction UTXOs (Unspent Transaction Outputs): These represent the available funds associated with a specific address.
    • Transaction Raw Data: Details about the transaction itself.

  • By incorporating these inputs, the Cairo circuit ensures that there is no way to cheat the system, enhancing overall security and trust.

In summary, the Cairo circuit’s strength lies in its cross-chain verifiability and robustness, achieved through careful consideration of essential inputs.