Atomic Execution of Optimization Transactions on Permissioned Blockchains

A transaction is executed asynchronously by multiple nodes in a Blockchain and it is imperative that all executions result in the same output for the transaction to be valid. Transactions involving optimization problems can provide differing solutions on different executions. Common supply chain applications with planning, scheduling, resource allocation, and routing optimization are mixed integer linear programs with the above characteristic of generating different solutions. This inherent lack of determinism during the execution of optimization transactions impedes the adoption of Blockchain for the above supply chain applications. In this paper, we address the problem of non-determinism in optimization transactions for permissioned Blockchains. Our proposed scheme enables atomic execution of optimization transactions and we outline its implementation for Hyperledger Fabric.

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

[2]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[3]  Yori Zwols,et al.  Linear and integer optimization: Theory and practice , 2015 .

[4]  M. Ball,et al.  Available to Promise , 2004 .

[5]  Marko Vukolic,et al.  Non-determinism in Byzantine Fault-Tolerant Replication , 2016, OPODIS.

[6]  Jun Sun,et al.  A Solution for the Risk of Non-deterministic Transactions in Hyperledger Fabric , 2019, 2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC).

[7]  Alfred Menezes,et al.  The random oracle model: a twenty-year retrospective , 2015, Designs, Codes and Cryptography.

[8]  H. P. Williams THEORY OF LINEAR AND INTEGER PROGRAMMING (Wiley-Interscience Series in Discrete Mathematics and Optimization) , 1989 .

[9]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.

[10]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[11]  Carlos G. Oliver,et al.  Proposal for a fully decentralized blockchain and proof-of-work algorithm for solving NP-complete problems , 2017, ArXiv.

[12]  W. Marsden I and J , 2012 .

[13]  Michael O. Ball,et al.  Optimization-Based Available-To-Promise with Multi-Stage Resource Availability , 2005, Ann. Oper. Res..

[14]  Balaji Viswanathan,et al.  Performance Benchmarking and Optimizing Hyperledger Fabric Blockchain Platform , 2018, 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS).

[15]  Vitalik Buterin A NEXT GENERATION SMART CONTRACT & DECENTRALIZED APPLICATION PLATFORM , 2015 .