Hoe privé slimme contracten te bouwen via : - zkSNARK: Toestand is verplichtingen, een enkele prover rekent op platte tekst en plaatst een zkSNARK, geen globale decryptie of toegangscontrole. - coSNARK: Toestand is verplichtingen, berekening is off-chain via MPC zodat geen enkele server de volledige getuige ziet, nog steeds geen globale decryptie of toegangscontrole. - TEE: Toestand is ciphertext van buiten en platte tekst van binnen de enclave, berekening en beleidsgecontroleerde decryptie worden uitgevoerd binnen een op afstand geverifieerde enclave, afhankelijk van hardware/attestatie-integriteit. - FHE: Toestand is ciphertext onder een gemeenschappelijke FHE-sleutel, iedereen kan homomorfisch evalueren met on-chain verificatie, decryptie is beleidsgecontroleerd door een drempelcommissie (samenwerkingsrisico). - iO: Toestand is ciphertext en berekening is homomorfisch, een openbare obfuscated decryptor handhaaft het decryptiebeleid zonder een actieve sleutelhouder (geen samenwerkingsrisico).

kreeg het idee om dit te schrijven terwijl ik de Jigsaw-talk op SBC () keek, die een coSNARK-gebaseerde benadering van privé smart contracts behandelt.