Como criar contratos inteligentes privados por meio de: - zkSNARK: O estado é compromissos, um único provador calcula em texto simples e publica um zkSNARK, sem descriptografia global ou controle de acesso. - coSNARK: O estado é compromissos, a computação é off-chain via MPC, então nenhum servidor vê a testemunha completa, ainda sem descriptografia global ou controle de acesso. - TEE: O estado é o texto cifrado fora e o texto simples dentro do enclave, a computação e a descriptografia controlada por política são executadas dentro de um enclave atestado remotamente, contando com a integridade do hardware/atestado. - FHE: O estado é o texto cifrado sob uma chave FHE comum, qualquer pessoa pode avaliar homomorficamente com verificação on-chain, a descriptografia é controlada por um comitê de limite (risco de conluio). - iO: O estado é texto cifrado e a computação é homomórfica, um decodificador público ofuscado impõe a política de descriptografia sem um keyholder ativo (sem risco de conluio).

tive a ideia de escrever isso enquanto assistia à palestra do Jigsaw na SBC (), que é uma abordagem baseada em coSNARK para contratos inteligentes privados.