~/talk

Public Accountability vs Secret Law: Can They Coexist

links:none on file
slides:none on file

Claims a workable system that makes secret surveillance orders auditable while keeping contents hidden, using a public immutable ledger plus zero-knowledge proofs and MPC. Implements SNARKs and off‑the‑shelf MPC libraries, benchmarks show practical costs (tested up to ~300 judges; hierarchical MPC across 12 appellate circuits scales much better). Cites ~28,000 FISA warrant applications (nearly 1,000 secret cases/year), notes judges often never unseal orders, flags malicious companies or agencies and admits collusion and coding of laws remain unsolved.

AI-written summary · about

  1. 0:00Start
  2. 0:33Practical Accountability of Secret Processes
  3. 5:23Disclosure of a surveillance order during the course of a criminal investigation would...be self-defeating
  4. 7:42Problem 3
  5. 8:34Judge Smith Proposal
  6. 12:55Threat Model
  7. 21:29MPC for Agregation: Hierarchical Win
  8. 23:19MPC for Threshold: Hierarchical Win
  9. 24:44Argument Generation and Verification Time
  10. 29:08What secret laws?
  11. 30:32Desiderata
  12. 30:573. Public auditability
  13. 31:08Cryptographic tools
  14. 31:24Remark 1. Codifying the law is a complex issue.
~/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.