The goal of this project is to design a system for smart contracts with strong privacy guarantees. Through a combination of protocol design and cryptographic engineering, the researchers aim to develop a system in which any participating user may broadcast a transaction that attests to the offline execution of a piece of code, without revealing any information except for the number of inputs and outputs involved. The goal is to make such a system practical for use in a wide variety of contract types, including crowdfunding, voting, and marketplaces.
