~/talk

Miguel de Vega, Ravital Solomon, Remi Gai & Pascal Paillier I Pragma Denver 2024

Talkat Pragma Denver 2024 · on Wednesday, 2024-02-28· [security, machine-learning]
links:none on file
links:none on file
name:Remi Gai
github:remi-gai
links:none on file
slides:none on file

Panel lays out concrete claims and measurements: compiler tuning produces a 100x performance gap between experts and nonexperts, and a demo workflow runs a sealed-bid auction: 64 bids <1s on a 64‑core machine with simple comparisons around 30 ms. Tools discussed include Concrete Python, EVM‑compatible FHE integrations for onchain confidentiality, and hybrid designs that combine FHE+ZK to offload work. Practical builds include private payments, confidential voting, dark pools and an onchain Mafia game prototype; full encrypted AI at LLM scale still needs GPUs/FPGA.

AI-written summary · about

  1. 0:00Intro to Privacy Enhancing Technologies Panel
  2. 1:26Panelist introductions and backgrounds
  3. 3:11What is homomorphic encryption and FHE?
  4. 6:14From theory to real-world FHE applications
  5. 8:18MPC vs FHE for private computation
  6. 10:24Inco’s approach to FHE on EVM-compatible blockchains
  7. 13:02Use cases: private voting, auctions, DeFi, gaming
  8. 14:09AI, privacy, and encrypted personal data risks
  9. 15:48Practical private payment systems onchain
  10. 17:12Gaming and confidential mechanics with FHE
  11. 18:47Performance benchmarks for FHE today
  12. 21:50Circuit optimization and FHE hardware needs
  13. 23:47Reinventing algorithm design for private computation
  14. 25:21Is hardware dependency a blocker for PETs?
  15. 26:22Combining FHE and ZK for better performance
  16. 27:00Other PETs: ZK, anonymous signatures, whitebox crypto
  17. 29:39Rethinking developer experience for PETs
  18. 31:08Compiler challenges for encrypted inputs
  19. 32:49Writing performant, privacy-respecting programs
  20. 34:41Secure branching and control flow with encrypted data
  21. 36:29Concrete Python and automatic FHE compilation
  22. 37:35What’s next: private AI, privacy in DeFi, hackathons
  23. 40:16Closing thoughts and upcoming announcements
~/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.