În general, dovezile de securitate pentru calculul multipartit securizat se bazează pe funcționalități ideale. De exemplu, a se vedea Definiția 4.1 a acest tutorial Simulator.
Cu toate acestea, într-un program obișnuit într-un limbaj de programare orientat pe obiecte, nu se ocupă doar de funcții, ci și de obiecte. Obiectele au funcții, dar au și o anumită memorie persistentă.
Este posibil să implementați obiecte MPC. De exemplu această hârtie implementează matrice, dicționare și cozi prioritare ignorate (adică MPC). În aceste memorie este păstrată într-o manieră secretă partajată, care este accesată pentru interogări viitoare.
Cu toate acestea, se pare că formalismul pentru aceste obiecte lipsește. Intuitiv, un obiect MPC nu ar trebui să dezvăluie mai multe informații decât apelurile către un obiect ideal, care returnează doar rezultatele (partajate secrete) la interogări (partajate secret) asupra obiectului. Descrierea unui obiect ideal ca secvențe de apeluri la funcționalități ideale nu funcționează, deoarece între părți obțin cote corelate ale structurilor de date, astfel încât funcționalitățile trebuie definite în raport cu orice structură de date utilizată, mai degrabă decât doar în ceea ce priveşte proprietăţile dorite ale obiectului.
Există vreun formalism în literatura de specialitate pentru a demonstra securitatea obiectelor MPC?
