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

Closed ShapeOfMatter closed 3 months ago

ShapeOfMatter commented 4 months ago

I propose one of our examples is the lottry sub-system used in DPrio:

clients i<-[1-n] each send a secret-share s_i^j of their input to servers j<-[1-m].
The servers each commit to a random value r^j in [1-n] (or some larger field!).
The servers each reveal their randomness to all the other servers. R = sum_j(r^j) mod n
The servers each forward their share s_R^j of the chosen input to an analyst, who combines the shares to get the final value.

psilospore commented 4 months ago

Some notes:

s_1^1 = 5 -- secret share fdor client 1 and server 1 s_1^2 = 8 -- secret share fdor client 1 and server 2

s_2^1 = 7 s_2^2 = 9

r^1 = 100 r^2 = 200

Then multi-cast r's to each other

R = 100 + 200 % 2 = 0

s_(0 + 1)^1 -- Server 1's sum thing

ShapeOfMatter commented 3 months ago

this is done in pull request #41