Este posibil să se scurgă informații zero. Să presupunem că sunt distribuite uniform $a$ și $b$ si lasa $a$ variază de-a lungul rândurilor și $b$ de-a lungul coloanelor din tabelele de operații de mai jos:
$$
\begin{matrice}{ccc}
\begin{matrice}{c|cccc}
X & 0&1&2&3\ \hline
0 & 0&1&2&3 \
1 & 1&2&3&0 \
2 & 2&3&0&1 \
3 & 3&0&1&2
\end{array} & \quad &
\begin{matrice}{l|cccc}
Y & 0&1&2&3\ \hline
0 & 3&0&1&2 \
1 & 0&1&2&3 \
2 & 1&2&3&0 \
3 & 2&3&0&1
\end{matrice}
\end{matrice}
$$
Rețineți că pentru fiecare operație cunoașterea ieșirii ($aXb$ sau $aYb$) nu oferă deloc informații despre $a$. Același lucru este valabil și pentru $b$. Dar dacă știi unul dintre $a$ sau $b$ atunci îl cunoști pe celălalt în mod unic.
Mai mult, să spunem $aXb=0.$ Perechile posibile $(a,b)$ sunt acum în set
$$
S=\{(0,0),(1,3),(2,2),(3,1)\}.
$$
Presupunând că nu există erori în calcularea operațiunii, singura posibilitate pentru $aYb$ este $aYb=3$ iar asta dă nici o informatie despre posibilele perechi în $S$.
Puteți spune că acesta este un exemplu ciudat, dar demonstrează că minimul poate fi zero pentru fiecare variabilă de intrare individuală.
Un ultim punct, pentru că nu vă cunosc exact cerințele. Este posibil să se dubleze lungimea de biți a ieșirii, asigurând în același timp cunoașterea uneia dintre ele $a$ sau $b$ nu scurge nicio informație despre celălalt. Ieșirea $2X3=12$ ar corespunde modelului de biți de ieșire $0110$ cu $01=1,$ și $10=2.$ Iată un exemplu mai jos:
$$
\begin{matrice}{c|cccc}
X & 0&1&2&3\ \hline
0 & 00&11&22&33 \
1 & 13&02&31&20 \
2 & 21&30&03&12 \
3 & 32&23&10&01
\end{matrice}
$$
Acum să spunem că știi asta $a=1.$ Acest lucru vă limitează la al doilea rând al mesei de operație dar $b$ este încă complet nedeterminat, știi nimic despre valoarea de $b.$
Acest exemplu folosește două MOLS (Pătrate Latine Mutually Orthogonal).