Cómo construir contratos inteligentes privados a través de: - zkSNARK: El estado son compromisos, un único probador calcula sobre texto plano y publica un zkSNARK, sin descifrado global ni control de acceso. - coSNARK: El estado son compromisos, el cálculo es fuera de la cadena a través de MPC, por lo que ningún servidor único ve el testigo completo, aún sin descifrado global ni control de acceso. - TEE: El estado es texto cifrado fuera y texto plano dentro del enclave, el cálculo y el descifrado controlado por políticas se ejecutan dentro de un enclave atestiguado de forma remota, confiando en la integridad del hardware/atestación. - FHE: El estado es texto cifrado bajo una clave FHE común, cualquiera puede evaluar homomórficamente con verificación en la cadena, el descifrado está controlado por políticas de un comité de umbral (riesgo de colusión). - iO: El estado es texto cifrado y el cálculo es homomórfico, un descifrador ofuscado público impone la política de descifrado sin un titular de clave activo (sin riesgo de colusión).

tuve la idea de escribir esto mientras veía la charla de Jigsaw en SBC (), que es un enfoque basado en coSNARK para contratos inteligentes privados.