I Prove, Therefore I Am: Spatiotemporal Multi-Party Computation
Researchers propose spatiotemporal MPC that keeps location and time private yet physically consistent.
The paper initiates spatiotemporal multiparty computation, where private inputs can include physical facts such as location, time, or trajectory. It defines arguments of spatiotemporal knowledge so an extractor recovers a point only if the prover can complete an auxiliary physical verification protocol. Constructions provide UC-secure commit-and-prove under LWE against quantum provers without pre-shared entanglement, and in the QROM against provers with unbounded entanglement. UC-secure spatiotemporal MPC then follows from semi-honest post-quantum MPC, including quantum functionalities with classical spatiotemporal input.
- Defines UC security for spatiotemporal multiparty computation.
- CRS construction uses LWE against quantum provers.
- QROM variant allows unbounded pre-shared entanglement.
- UC spatiotemporal MPC follows from semi-honest post-quantum MPC.
From the original article
1 min read at arxiv.orgSecure multiparty computation (MPC) enables mutually distrustful parties to compute on private digital inputs. We initiate the study of spatiotemporal MPC, extending this paradigm to functionalities whose inputs additionally depend on physical facts such as the parties' locations, times, or trajectories.
By Ziqing Guo · arxiv.org
A short excerpt; the article and its images belong to the publisher. Summary, key facts and assessment above are AI-written from the article and can be wrong.