¿Por qué usar SNARKs colaborativos en lugar de solo MPC? A menudo nos preguntan: si ya confía en una red MPC para la privacidad, ¿por qué poner ZK en la parte superior? Si de todos modos hay una suposición de confianza, ¿por qué no confiar también en ella para que sea correcta? 🧵

1/ ZK se está convirtiendo en la forma predeterminada de verificar el proceso. Primero en la cadena, luego probablemente en todas partes. Si su salida solo se basa en la confianza en la red MPC, las personas comenzarán a evitarla.

2/ Es posible que no confíe en la red MPC con sus propios datos, pero otros sí. Si la red demuestra su cálculo a través de ZK, aún puede confiar en el resultado, incluso si no confía en la red que lo produjo. Ahora bien, ¿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 para reducir o incluso eliminar esta suposición (incluyéndonos a nosotros). Si hacemos el mismo tipo de progreso aquí que hemos visto en ZK, podríamos acercarnos a una solución ideal para el estado privado compartido.