privacy-scaling-explorations / mpz

Multi-party computation libraries written in Rust 🦀

211 stars 44 forks source link

refactor(mpz-ot): ferret clean up #173

Closed sinui0 closed 3 months ago

sinui0 commented 4 months ago

This PR does some simplification and clean up of the ferret impl.

Changes

Refactored to opaque error types
Removed state from spcot and mpcot impls, making them functional
Removed unnecessary generics
Removed some unsatisfiable trait bounds, eg RandomCOT: Default
Added buffering to the core types
Implemented iterative extension with one-time bootstrapping using injected RCOT
- This still needs work, from my understanding the iterations can be performed in parallel. Right now we're doing them sequentially and that will have poor round complexity.

xiangxiecrypto commented 3 months ago

Optimize the ferret extension process, rcot is only invoked in the setup phase, and buffer all the needed COTs in the extension phase. @sinui0 Is there any example of using KOS with io? Then I can set all the real parameters for Ferret.

sinui0 commented 3 months ago

ty @xiangxiecrypto sorry this is taking so long on my end, im almost ready to focus back here again.

Why move the buffering out into the io layer? Can't we use the existing buffer in core?

Is there any example of using KOS with io? Then I can set all the real parameters for Ferret.

The tests in the kos module should give a sense of how to use the API. Or are you wondering how to use it with an actual network connection, eg TCP?

sinui0 commented 3 months ago

I'm going to go ahead and merge this into the ferret branch and we can continue there