https://en.wikipedia.org/wiki/Dining_cryptographers_problem
It seems like it's possible for modern anonymous messaging protocols to have formally provable anonymity guarantees by virtue of secure multiparty computation: http://dedis.cs.yale.edu/dissent/papers/analysis.pdf Are other people working on this sort of formal-proof-of-anonymity besides Dissent? -- Tony Arcieri
_______________________________________________ Messaging mailing list [email protected] https://moderncrypto.org/mailman/listinfo/messaging
