Implementing Garbled Circuits in BitVMX
A BitVMX developer at Fairgate Labs, Camilo Rivas, published a technical article detailing the integration of garbled circuits into BitVMX to verify arbitrary programs on Bitcoin with constant on-chain complexity.
bitvmx.org/knowledge
🔗
Implementing Garbled Circuits for BitVMX
Our protocol is divided into two parts: first the setup, and then the verification protocol itself. During setup, the Prover (or Garbler) will be responsible for garbling the publicly known circuit that will be used for this protocol. We will not go into details on what GCs are and how they are generated, but the main idea is that a garbled-circuit protocol is a protocol for secure two-party computation.