Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
By design, smart contracts' data and computations are public to all participants. In this paper, we study how to create smart contracts with parameters that need to stay secret. We propose a way to keep some of the parameters off-chain, while guaranteeing correctness of the computation, using a combination of a commitment scheme and a zero-knowledge proof system. We describe an implementation of our construction, based on ethereum smart contracts and zk-SNARKS. We also provide a small example and a cost analysis of our approach.
Jean-François Molinari, Son-Jonathan Pham-Ba
,
Francesco Grilli, Nicolo' Riva, Arooj Akbar, Bertrand Dutoit