search

MPC-SoK / frameworks

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

ObliVM default mode #28

Closed mkskeller closed 4 years ago

mkskeller commented 4 years ago

ObliVM seems to run some circuit verification mode by default instead of actual garbled circuits when run on Linux. Should this be changed?

mkskeller commented 4 years ago

Condition on OS here: https://github.com/oblivm/ObliVMLang/blob/50ed0fbb556a157c0c85440dabf141a3cf7384c5/java/com/oblivm/compiler/backend/flexsc/FlexSCCodeGenerator.java#L80

Mode setting here: https://github.com/oblivm/ObliVMLang/blob/50ed0fbb556a157c0c85440dabf141a3cf7384c5/java/com/oblivm/compiler/backend/flexsc/FlexSCCodeGenerator.java#L141

marsella commented 4 years ago

Yeah, it looks like we don't even download the GC backend (https://github.com/oblivm/ObliVMGC). This should definitely be integrated correctly.

mkskeller commented 4 years ago

The backend comes in jar file, so that's actually available. I've made a pull request to do actual computation.

marsella commented 4 years ago

Thanks for the fix, added it and also updated the ObliVM README to explain where all these garbled circuits come from.