MPC-SoK / frameworks

Sample code and build environments for MPC frameworks
Other
487 stars 111 forks source link

xtabs on PICCO #23

Closed schorfi closed 4 years ago

schorfi commented 4 years ago

hey,

I got a question regarding the xtabs test program. Why are you not considering every element for bin-summing to obfuscate data correlations, as you do in xtabs on sharemind for example. The test here is only summing up, if their id matches and only sums the actual bin. I would interpret you can deduce equivalence of the ID and later somehow which bin it belongs? So, doesnt this reveal information about the input data and/or its structure? In the sharemind xtabs you do an oblivious transfer to obfuscate. I thought, you might not consider doing this, as PICCO employs Mux for private index, but isnt this a public index here, so shouldn't apply? Any help/explanation appreciated.

some other issues I encountered while trying to make the example run (are not related to you, rather to picco):

Kind regards

marsella commented 4 years ago

Hi,

The variable matching_bin on line 30 is a private integer! PICCO has private ints by default. When the program is compiled, it gets expanded into a mux.

You're correct about the input limitations---this is basically an engineering issue. You could probably add those checks to the picco-utility if it's annoying enough for you.

I'm surprised about the share correlation (I haven't looked into it). Do you mean on multiple runs, you get the same shares for the same values (that sounds like a RNG seed issue)? Or on one run with multiple matching inputs, you get the same shares? You might want to contact Marina Blanton about it.