Poate un nenorocit să „deschidă” un circuit „deschizând” doar etichetele de intrare și tabelele SI?

Folosesc cuvântul „deschis”, ca în capitolul 6 „Securitate rău intenționată” din MPC pragmatic, adică pentru a „deschide” circuitul este pentru ca deformatorul să ofere toată aleatorietatea folosită pentru a denatura circuitul, astfel încât evaluatorul să poată fi sigur că circuitul a fost deranjat corect.

Să presupunem că Bob tocmai a evaluat circuitul pe care i l-a trimis Alice (confuzatoarea). Dar înainte ca Bob să facă ceva cu ieșirea circuitului, el îi cere lui Alice să-i demonstreze că circuitul a fost deranjat corect.

După cum am înțeles, este esențial pentru securitatea GC ca evaluatorul să nu învețe niciodată valoarea a două etichete de fir care intră în aceeași poartă.

1. (Presupunând FreeXOR) Alice „deschide” toate tabelele de adevăr ale porților AND.
2. Alice „deschide” doar acele etichete de intrare care sunt cunoscute de Bob (dar păstrează celelalte etichete secrete).
3. Alice nu „deschide” etichetele de intrare ale lui Bob.

Ce atacuri poate monta Alice dacă nu „deschid” 1 set de etichete de intrare și toate etichetele de intrare ale lui Bob? Există și alte subtilități implicate în „deschiderea” circuitului pe care le-am trecut cu vederea?