Hur man bygger privata smarta kontrakt via: - zkSNARK: Tillstånd är åtaganden, en enda bevisare beräknar i klartext och postar en zkSNARK, ingen global dekryptering eller åtkomstkontroll. - coSNARK: Tillstånd är åtaganden, beräkningen sker utanför kedjan via MPC så att ingen enskild server ser hela vittnet, fortfarande ingen global dekryptering eller åtkomstkontroll. - TEE: Tillståndet är chiffertext utanför och klartext i enklaven, beräkning och principgated dekryptering körs i en fjärrstyrd enklav, beroende på maskinvaru-/attesteringsintegritet. - FHE: Tillstånd är chiffertext under en gemensam FHE-nyckel, vem som helst kan homomorfiskt utvärdera med on-chain-verifiering, dekryptering är policystyrd av en tröskelkommitté (maskopirisk). - iO: Tillstånd är chiffertext och beräkning är homomorfisk, en offentlig fördunklad dekrypterare tillämpar dekrypteringsprincipen utan en levande nyckelinnehavare (ingen risk för maskopi).

Jag fick idén att skriva detta när jag tittade på Jigsaw talk på SBC () som är en coSNARK-baserad metod för privata smarta kontrakt.