Reproduce “Teaching an Old Dog New Tricks: Verifiable FHE Using Commodity Hardware” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Jules Drean, Fisher Jepsen, Edward Suh, Srini Devadas, Aamer Jaleel, Gururaj Saileshwar
Argos protects integrity, not confidentiality, in outsourced fully homomorphic encryption computations by keeping the attestation key in a separate physical trusted platform module and using a hypervisor-level monitor to record execution evidence. It signs the transcript once before decryption. Circuit evaluation overhead averages 3% against same-machine semi-honest baselines, but excludes setup and the roughly 196 millisecond physical TPM signature. Argos does not protect availability.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.