Talk:Garbled circuit

The where part in following equation $$X^c = Dec_{X^a, X^b}(garbled\_table[i])$$, where $$ 0\le i < 3$$ should probably be where $$ 0\le i < 4$$ or $$ 0\le i \le 3$$ because there are four rows in the truth table.