~/talk

SoK: Programmable Privacy

Talkat Zcon4 2023 · 2023-07-30..08-01· [zero-knowledge-proofs, cryptography]
slides:none on file

Phase one write-up catalogues protocols (zero-knowledge proofs, MPC, threshold homomorphic encryption, FHE, and TEEs), evaluates what each actually enables for Zcash, and ranks integration options by invasiveness: extend note payloads to carry verification data, add a TEE overlay network that verifies committed ciphertexts, build a privacy-preserving bridge to Anoma requiring threshold validators, or adopt on-chain private execution like Aztec/Penumbra. Penumbra uses additive threshold encryption to batch swaps; Suave chain and Zama illustrate searcher-on-chain and FHE approaches. Paper aims to formalize privacy/security defs; most systems lack protocol-level security proofs.

AI-written summary · about

  1. 0:00Start
  2. 9:59framework
  3. 14:39off-chain private state: applications (single-user)
  4. 19:59off-chain private state: applications (multi-user)
  5. 25:15on-chain private state: applications
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.