This repo implements the Yao's Garbled Circuit in Python, which mainly draws inspiration from n132's repo
- The circuit defined in
equal.json
orequal8.json
does not exactly describes a relationship of equation. Instead, it describes inequation. Accordingly, Line 54 inBob.py
expects the results with anot
keyword. The reason for this is that the circuit to check the inequation between 2-bit values is simpler, as shown inequal.json
.
Requirement: Python3
- Step 1 (execute the Bob.py):
python Bob.py
- Step 2 (execute the Alice.py):
python Alice.py