Enabling the Sharing Economy: Privacy Respecting Contract based on Public Blockchain
SNARKs for C: Verifying program executions succinctly and in zero knowledge