Esto es generalmente cierto, pero hay una matiz importante aquí. Existen esquemas de prueba delegables que te permiten externalizar el cálculo sin filtrar datos de testigos. El probador realiza el trabajo pero nunca ve tus entradas privadas. Incorporamos la delegación que preserva la privacidad en Varuna, nuestro sistema de pruebas. Aún no está ampliamente implementado, pero la tecnología resuelve exactamente lo que te preocupa.