ShapeOfMatter / MultiChor

Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.
Other
8 stars 0 forks source link

Example: MPC #26

Closed ShapeOfMatter closed 3 months ago

ShapeOfMatter commented 4 months ago

We should have a complete working MPC protocol, polymorphic on the number of participants. Having another one with fixed cardinality, but that takes a Circuit object as a parameter, could also be cool; I don't think we can have both... We're not going to have oblivious transfer as a primitive; so IDK how we want to handle that. Is there off-the-shelf stuff we could use to do real RSA-based OT?

jnear commented 3 months ago

Finished with commit 73a4e7b