¿Por qué usar SNARKs colaborativos en lugar de solo MPC? A menudo nos preguntan: si ya confías en una red MPC para la privacidad, ¿por qué poner ZK encima? Si ya hay una suposición de confianza, ¿por qué no confiar también en ella para la corrección? 🧵

1/ ZK se está convirtiendo en la forma predeterminada de verificar el cómputo. Primero en la cadena, luego probablemente en todas partes. Si tu salida solo depende de la confianza en la red MPC, la gente comenzará a evitarla.

2/ puede que no confíes en la red MPC con tus propios datos, pero otros sí. Si la red demuestra su computación a través de ZK, aún puedes confiar en el resultado, incluso si no confías en la red que lo produjo. Ahora, ¿por qué no eliminar también la suposición de confianza para la privacidad?

3/ Ojalá pudiéramos. Pero en este momento, no hay una forma práctica. Dicho esto, cada vez más personas están trabajando en reducir o incluso eliminar esta suposición (incluyéndonos a nosotros). Si logramos el mismo tipo de progreso aquí que hemos visto en ZK, podríamos acercarnos a una solución ideal para el estado compartido privado.