A Scalable Blockchain Approach for Trusted Computation and Verifiable Simulation in Multi-Party Collaborations

In high-stakes multi-party policy making based on machine learning and simulation models involving independent computing agents, a notion of trust in results is critical in facilitating transparency, accountability, and collaboration. Using a novel combination of distributed validation of atomic computation blocks and a blockchain-based immutable audit mechanism, this work proposes a framework for distributed trust in computations. In particular we address the scalability problem by reducing the storage and communication costs using a lossy compression scheme. This framework guarantees not only verifiability of final results, but also the validity of local computations, and its cost-benefit tradeoffs are studied using a synthetic example of training a neural network.

[1]  Lav R. Varshney,et al.  Distributed Storage Meets Secret Sharing on the Blockchain , 2018, 2018 Information Theory and Applications Workshop (ITA).

[2]  Marko Vukolic,et al.  Hyperledger fabric: a distributed operating system for permissioned blockchains , 2018, EuroSys.

[3]  Adrian Perrig,et al.  Bootstrapping Trust in Modern Computers , 2011, Springer Briefs in Computer Science.

[4]  P. Dasgupta Trust as a commodity , 1988 .

[5]  Daniel J. Power,et al.  Data science: supporting decision-making , 2016, J. Decis. Syst..

[6]  Oded Goldreich,et al.  Definitions and properties of zero-knowledge proof systems , 1994, Journal of Cryptology.

[7]  M. Iansiti,et al.  The Truth about Blockchain , 2017 .

[8]  I. Olkin,et al.  Multivariate Chebyshev Inequalities , 1960 .

[9]  M. Tanner,et al.  Towards a comprehensive simulation model of malaria epidemiology and control , 2008, Parasitology.

[10]  Sanjit K. Mitra,et al.  Successive refinement lattice vector quantization , 2002, IEEE Trans. Image Process..

[11]  Jatinder Singh,et al.  Decision Provenance: Capturing data flow for accountable systems , 2018, ArXiv.

[12]  Sarah L Krein,et al.  Patient-Centered Pain Care Using Artificial Intelligence and Mobile Health Tools: Protocol for a Randomized Study Funded by the US Department of Veterans Affairs Health Services Research and Development Program , 2016, JMIR research protocols.

[13]  William Equitz,et al.  Successive refinement of information , 1991, IEEE Trans. Inf. Theory.

[14]  Stephen J. Roberts,et al.  Novel Exploration Techniques (NETs) for Malaria Policy Interventions , 2017, AAAI.

[15]  Jane Nelson,et al.  The Operation of Non- Governmental Organizations (NGOs) in a World of Corporate and Other Codes of Conduct , 2007 .

[16]  Sekou Remy,et al.  Reshaping the use of digital tools to fight malaria , 2018, ArXiv.

[17]  Philip Bachman,et al.  Deep Reinforcement Learning that Matters , 2017, AAAI.

[18]  Sarvapali D. Ramchurn,et al.  Trust in multi-agent systems , 2004, The Knowledge Engineering Review.

[19]  Elaine Shi,et al.  On Scaling Decentralized Blockchains - (A Position Paper) , 2016, Financial Cryptography Workshops.

[20]  C. Granger,et al.  AN INTRODUCTION TO LONG‐MEMORY TIME SERIES MODELS AND FRACTIONAL DIFFERENCING , 1980 .

[21]  Odd Erik Gundersen,et al.  State of the Art: Reproducibility in Artificial Intelligence , 2018, AAAI.

[22]  J. Grefenstette,et al.  A systematic review of barriers to data sharing in public health , 2014, BMC Public Health.

[23]  Stephen Marsh,et al.  Formalising Trust as a Computational Concept , 1994 .

[24]  N. J. A. Sloane,et al.  Multiple description lattice vector quantization , 1999, Proceedings DCC'99 Data Compression Conference (Cat. No. PR00096).

[25]  Marko Vukolić,et al.  Rethinking Permissioned Blockchains , 2017 .

[26]  Atalay Mert Ileri,et al.  Realizing the potential of blockchain technologies in genomics , 2018, Genome research.

[27]  Dinesh C. Verma,et al.  Distributed AI and security issues in federated environments , 2018, ICDCN Workshops.

[28]  Madhu Sudan,et al.  Probabilistically checkable proofs , 2009, CACM.

[29]  Yao-Hua Tan,et al.  Trust in Cyber-societies: Integrating the Human and Artificial Perspectives , 2000, Lecture Notes in Computer Science.

[30]  Jeffrey Tsai,et al.  Transform Blockchain into Distributed Parallel Computing Architecture for Precision Medicine , 2018, 2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS).

[31]  N. Radziwill Blockchain Revolution: How the Technology Behind Bitcoin is Changing Money, Business, and the World. , 2018 .

[32]  Lav R. Varshney,et al.  Dynamic Distributed Storage for Scaling Blockchains , 2017, ArXiv.

[33]  Andrew J. Blumberg,et al.  Verifying computations without reexecuting them , 2015, Commun. ACM.