Boolean MPC Sandbox

Yao's Garbled Circuit Simulator & DAG Logic Editor

Circuit:
Optimizations (Alice)

Alice's Private Inputs (Garbler)

Bob's Private Inputs (Evaluator)

Topological DAG Visualization

wA3 (Alice)V: 0wB3 (Bob)V: 0wA2 (Alice)V: 0wB2 (Bob)V: 0wA1 (Alice)V: 0wB1 (Bob)V: 0wA0 (Alice)V: 0wB0 (Bob)V: 0wGT_0 NOTg_notB_3ANDg_bitGT_3XNORg_bitEQ_3NOTg_notB_2ANDg_bitGT_2XNORg_bitEQ_2ANDg_andGT_2ORg_GT_2ANDg_EQ_2NOTg_notB_1ANDg_bitGT_1XNORg_bitEQ_1ANDg_andGT_1ORg_GT_1ANDg_EQ_1NOTg_notB_0ANDg_bitGT_0XNORg_bitEQ_0ANDg_andGT_0ORg_GT_0ANDg_EQ_0
No active gate to display.
1

Educational Context

Phase 1: Setup & Inputs

Welcome to the Garbled Circuit Simulator. Alice and Bob define the boolean circuit.

Live Data:
Alice's Wires: wA3, wA2, wA1, wA0
Bob's Wires: wB3, wB2, wB1, wB0
Values are set in the Control Panel. The keys haven't been generated yet.

You can toggle optimizations:

  • Free XOR: XOR gates are evaluated using only XOR operations without cryptography.
  • Row Reduction: Reduces garbled tables from 4 rows to 3 rows.
  • Point-and-Permute: Uses pointer bits to evaluate without trial decryption.