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

collapse MPC functions so we can put them in the paper #49

Closed ShapeOfMatter closed 3 months ago

ShapeOfMatter commented 3 months ago

I think we can probably put a reasonably complete GMW implementation in the paper, with OT in the appendix. Breaking up secret-share/reveal and the GMW itself into two figures does look good though. I haven't actually checked how well this fits, but I think if it's not over-golfed then it'll fit in the paper.