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

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