Dlaczego używać współpracy SNARK zamiast tylko MPC? Często pytają nas: jeśli już ufasz sieci MPC dla prywatności, po co dodawać ZK? Jeśli i tak istnieje założenie zaufania, dlaczego nie ufać również jej poprawności? 🧵

1/ ZK staje się domyślnym sposobem weryfikacji obliczeń. Najpierw na łańcuchu, a potem prawdopodobnie wszędzie. Jeśli twój wynik opiera się tylko na zaufaniu do sieci MPC, ludzie zaczną tego unikać.

2/ możesz nie ufać sieci MPC swoimi danymi, ale inni ufają. Jeśli sieć udowodni swoje obliczenia za pomocą ZK, nadal możesz ufać wynikowi — nawet jeśli nie ufasz sieci, która go wygenerowała. Dlaczego więc nie usunąć również założenia zaufania w kwestii prywatności?

3/ Chciałbym, żebyśmy mogli. Ale w tej chwili nie ma praktycznego sposobu. Mówiąc to, coraz więcej osób pracuje nad zmniejszeniem lub nawet usunięciem tego założenia (w tym my). Jeśli osiągniemy taki sam postęp tutaj, jak widzieliśmy w ZK, możemy rzeczywiście zbliżyć się do idealnego rozwiązania dla prywatnego wspólnego stanu.