Pourquoi utiliser des SNARKs collaboratifs au lieu de simplement faire du MPC ? On nous pose souvent la question : si vous faites déjà confiance à un réseau MPC pour la confidentialité, pourquoi ajouter des ZK par-dessus ? S'il y a de toute façon une hypothèse de confiance, pourquoi ne pas lui faire également confiance pour la correction ? 🧵

1/ ZK devient la méthode par défaut pour vérifier le calcul. D'abord sur la chaîne, puis probablement partout. Si votre sortie ne repose que sur la confiance dans le réseau MPC, les gens commenceront à l'éviter.

2/ vous pourriez ne pas faire confiance au réseau MPC avec vos propres données, mais d'autres le font. Si le réseau prouve son calcul via ZK, vous pouvez toujours faire confiance au résultat—même si vous ne faites pas confiance au réseau qui l'a produit. Alors, pourquoi ne pas également supprimer l'hypothèse de confiance pour la vie privée ?

3/ J'aimerais que nous puissions. Mais pour l'instant, il n'y a pas de moyen pratique. Cela dit, de plus en plus de personnes travaillent à réduire ou même à supprimer cette hypothèse (y compris nous). Si nous faisons le même type de progrès ici que celui que nous avons vu dans ZK, nous pourrions en fait nous rapprocher d'une solution idéale pour un état partagé privé.