Jak vytvářet soukromé chytré smlouvy pomocí: - zkSNARK: Stav je závazky, jeden prover počítá s prostým textem a odesílá zkSNARK, žádné globální dešifrování ani řízení přístupu. - coSNARK: Stav je závazky, výpočty jsou off-chain přes MPC, takže žádný jednotlivý server nevidí úplného svědka, stále žádné globální dešifrování nebo řízení přístupu. - TEE: Stav je šifrovaný text vně a prostý text uvnitř enklávy, výpočty a dešifrování zásad běží uvnitř vzdáleně ověřené enklávy, která se spoléhá na integritu hardwaru nebo ověření. - FHE: Stav je zašifrovaný text pod společným klíčem FHE, kdokoli může homomorfně vyhodnotit pomocí ověření v řetězci, dešifrování je politika řízená prahovou komisí (riziko tajné dohody). - iO: Stav je šifrovaný text a výpočetní výkon je homomorfní, veřejný obfuskovaný dešifrovací nástroj vynucuje zásady dešifrování bez živého držitele klíče (žádné riziko tajné dohody).

Nápad napsat to jsem dostal při sledování přednášky Jigsaw na SBC (), což je přístup k soukromým smart kontraktům založený na coSNARK.