Come costruire contratti smart privati tramite : - zkSNARK: Lo stato è impegni, un singolo provatore calcola su testo in chiaro e pubblica uno zkSNARK, senza decrittazione globale o controllo degli accessi. - coSNARK: Lo stato è impegni, il calcolo è off-chain tramite MPC quindi nessun singolo server vede l'intero testimone, ancora senza decrittazione globale o controllo degli accessi. - TEE: Lo stato è testo cifrato all'esterno e testo in chiaro all'interno dell'enclave, il calcolo e la decrittazione soggetta a policy avvengono all'interno di un'enclave attestata da remoto, facendo affidamento sull'integrità dell'hardware/attestazione. - FHE: Lo stato è testo cifrato sotto una chiave FHE comune, chiunque può valutare omomorficamente con verifica on-chain, la decrittazione è soggetta a policy da un comitato di soglia (rischio di collusione). - iO: Lo stato è testo cifrato e il calcolo è omomorfico, un decrittore pubblico offuscato applica la policy di decrittazione senza un detentore di chiave attivo (nessun rischio di collusione).

ho avuto l'idea di scrivere questo mentre guardavo il talk di Jigsaw al SBC () che utilizza un approccio basato su coSNARK per contratti smart privati.