HACCLE: Metaprogramming for Secure Multi-Party Computation
summary
HACCLE is a compiler toolchain that embeds a DSL (Harpoon) in Scala, uses LMS metaprogramming to lower code to a protocol‑independent acyclic circuit IR (HIR), and plugs into backends like secret sharing, homomorphic encryption, and garbled circuits. The implementation compiles, optimizes, and runs real MPC kernels; an 8th‑power example drops from 7 multiplications to 3, generalized auctions are transformed from linear to logarithmic depth for parallelism, and three case studies (auction, matrix‑vector, merge sort) show practical speedups.
AI-written summary · about
chapters (13)
- 0:00Intro
- 1:53Motivating Example: Secure Auction
- 3:20Need for a Compilation Framework
- 5:02Contributions
- 5:39HACCLE Workflow
- 6:48HAccle Rich Representation for Program OperatiON (Harpoon)
- 7:54HACCLE Intermediate Representation • Multi-level IRC
- 10:18Harpoon and HIR Example
- 11:35Optimizations
- 12:53Evaluation
- 13:32Matrix-Vector Product
- 14:01Merge Sort
- 14:24Conclusions
related talks
49mCompiling to preserve our privacy
33mInteraction Preserving Compilers for Secure Computation
21mSpinalHDL : Paradigm introduction
01h 31mIntroduction to Secure Multi-Party Computation
23mRecent progress in MPC-in-the-Head protocols
20mHEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption
22mHeapHopper: Bringing Bounded Model Checking to Heap Implementation Security
01h 03mKEYNOTE: From quadcopters to helicopters