Cum să construiți contracte inteligente private prin: - zkSNARK: Statul este angajamente, un singur tester calculează pe text simplu și postează un zkSNARK, fără decriptare globală sau control al accesului. - coSNARK: Starea este angajamente, calculul este off-chain prin MPC, astfel încât niciun server nu vede martorul complet, încă nu există decriptare globală sau control al accesului. - TEE: Starea este text cifrat în afara și text simplu în interiorul enclavei, decriptarea delimitată de calcul și politică rulează într-o enclavă atestată de la distanță, bazându-se pe integritatea hardware/atestării. - FHE: Statul este text cifrat sub o cheie FHE comună, oricine poate evalua omomorfic cu verificare on-chain, decriptarea este o politică închisă de un comitet de prag (risc de coluziune). - iO: Starea este text cifrat și calculul este homomorf, un decriptator public ascuns impune politica de decriptare fără un deținător de chei live (fără risc de coluziune).
Am avut ideea de a scrie asta în timp ce urmăream discuția Jigsaw de la SBC () care este o abordare bazată pe coSNARK a contractelor inteligente private.
215