Convenir. Es por eso que prestamos tanta atención a los esquemas que: 1. Usar criptografía de simetría para el confuso; 2. Pruebe la corrección del circuito con ZKP (ZKP está mucho más maduro ya que muchos proyectos han lanzado la red de prueba basada en zkRollup y zkVM). Por supuesto, C&C es simple, pero el costo de comunicación es muy grande. Es posible que la deformación autenticada no pueda integrarse directamente con la mayoría de los esquemas avanzados de iutilización de circuitos semihonestos (y tampoco es adecuado para el caso de BitVM) Tomando sobre la aritmética confusa, no es una historia nueva, originalmente del circuito booleano, pero más eficiente para el cálculo aritmético complejo. Para algunas otras direcciones confusas, como un circuito ilegible reutilizable basado en criptografía de red con RLWE o suposición de dureza module-LWE, es un poco académico afaik.