Waarom collaboratieve SNARKs gebruiken in plaats van alleen MPC? We krijgen vaak de vraag: als je al een MPC-netwerk vertrouwt voor privacy, waarom dan ZK erbovenop? Als er toch een vertrouwensveronderstelling is, waarom zou je het dan niet ook vertrouwen voor correctheid? 🧵

1/ ZK wordt de standaard manier om berekeningen te verifiëren. Eerst onchain, dan waarschijnlijk overal. Als je output alleen afhankelijk is van vertrouwen in het MPC-netwerk, zullen mensen beginnen het te vermijden.

2/ je vertrouwt misschien de MPC-netwerk niet met je eigen gegevens, maar anderen doen dat wel. Als het netwerk zijn berekeningen via ZK bewijst, kun je het resultaat nog steeds vertrouwen - zelfs als je het netwerk dat het heeft geproduceerd niet vertrouwt. Waarom zou je de vertrouwensveronderstelling voor privacy niet ook weghalen?

3/ Ik wou dat we dat konden. Maar op dit moment is er geen praktische manier. Dat gezegd hebbende, werken steeds meer mensen aan het verminderen of zelfs verwijderen van deze aanname (inclusief wij). Als we hier dezelfde soort vooruitgang boeken als we hebben gezien in ZK, zouden we eigenlijk dicht bij een ideale oplossing voor een privé gedeelde staat kunnen komen.