Evaluation of Blockchain Model for Educational Certificate Using Continuous-Time Markov Chain
How to Cite?
Emmanoel Pratama Putra Hastono, Gede Putra Kusuma, "Evaluation of Blockchain Model for Educational Certificate Using ContinuousTime Markov Chain," International Journal of Engineering Trends and Technology, vol. 69, no. 11, pp. 61-70, 2021. Crossref, https://doi.org/10.14445/22315381/IJETT-V69I11P208
Abstract
The advantages of blockchain enable various research in educational certificate management. However, most of the research conducted only proposes the applications without analyzing their performance in real-life situations. This paper proposes a blockchain system model for educational certificate management that uses the Practical Byzantine Fault Tolerance consensus algorithm. The model is represented as a continuous-time Markov chain, specified using the PRISM model checking tool, and evaluated through observations of the values the probability of all transactions processed completely within a certain amount of time. Results demonstrate that increasing the number of transactions stored in one block corresponds to increasing the time required for the probability of completion to be 0.9 or more and that the maximum probability of completion is achieved when the block size is equal to the total transaction count. The conclusion is that the proposed model should be set up to have each block size containing one transaction.
Keywords
Blockchain Model, Information Systems, Computer Simulation, Model Checking, Markov Chain.
Reference
[1] Nakamoto, Satoshi., Bitcoin: A peer-to-peer electronic cash system.., 31,( 2008).
[2] Golosova, Julija, and Andrejs Romanovs. .,The Advantages and Disadvantages of the Blockchain Technology.., In IEEE 6th Workshop on Advances in Information, Electronic and Electrical Engineering (AIEEE) (2018) 1-6. doi:10.1109/AIEEE.2018.8592253.
[3] Azaria, Asaph, Ariel Ekblaw, Thiago Vieira, and Andrew Lippman. .,MedRec: Using Blockchain for Medical Data Access and Permission Management.., In 2nd International Conference on Open and Big Data (OBD) (2016) 25-30. doi: 10.1109/OBD.2016.11.
[4] Casado-Vara, Roberto, Alfonso González-Briones, Javier Prieto, and Juan M. Corchado.,Smart Contract for Monitoring and Control of Logistics Activities: Pharmaceutical Utilities Case Study.., In International Joint Conference SOCO’18-CISIS’18-ICEUTE’18. Advances in Intelligent Systems and Computing, vol 771, edited by Manuel Graña, José Manuel López-Guede, OierEtxaniz, Álvaro Herrero, José Antonio Sáez, Héctor Quintián, and Emilio Corchado (2018) 509-517. doi:10.1007/978-3-319-94120-2_49.
[5] McCorry, Patrick, Siamak F. Shahandashti, and Feng Hao. .,A Smart Contract for Boardroom Voting with Maximum Voter Privacy.., In International Conference on Financial Cryptography and Data Security. Lecture Notes in Computer Science, 10322 (2017) 357-375. doi:10.1007/978-3-319-70972-7_20.
[6] Lim, Shu Yun, Pascal TankamFotsing, Omar Musa, and Abdullah Almasri. .,AuthChain: A Decentralized Blockchain-based Authentication System.., In International Journal of Engineering Trends and Technology (IJETT) – Innovative Research in Computers, Automation, and Technology (CAT) (2020): 70-74. doi:10.14445/22315381/CATI1P212.
[7] Grech, Alexander, and Anthony F. Camilleri. Blockchain in education, edited by Andreia Inamorato dos Santos. Luxembourg: Publications Office of the European Union, 2017. doi:10.2760/60649.
[8] Cheng, Jiin-Chiou, Narn-Yih Lee, Chien Chi, and Yi-Hua Chen. .,Blockchain and smart contract for a digital certificate.., In 2018 IEEE International Conference on Applied System Innovation (ICASI) (2018): 1046-1051. doi:10.1109/ICASI.2018.8394455.
[9] Kanan, Tarek, Ahamd Turki Obaidat, and Majduleen Al-Lahham. .,SmartCertBlockChain Imperative for Educational Certificates.., In 2019 IEEE Jordan International Joint Conference on Electrical Engineering and Information Technology (JEEIT) (2019): 629-633. doi:10.1109/JEEIT.2019.8717505.
[10] Han, Meng, Zhigang Li, Jing He, Dalei Wu, Ying Xie, and Asif Baba. .,A Novel Blockchain-based Education Records Verification Solution.., In SIGITE `18: Proceedings of the 19th Annual SIG Conference on Information Technology Education (September 2018): 178-183. doi:10.1145/3241815.3241870.
[11] Gräther, Wolfgang, Sabine Kolvenbach, Rudolf Ruland, Julian Schütte, Christof Torres, and Florian Wendland. .,Blockchain for Education: Lifelong Learning Passport.., In Proceedings of 1st ERCIM Blockchain Workshop 2018 (2018). doi: 10.18420/blockchain2018_07.
[12] Eklund, Peter W., and Roman Beck. .,Factors that Impact Blockchain Scalability.., MEDES `19: Proceedings of the 11th International Conference on Management of Digital EcoSystems (2019): 126-133. doi:10.1145/3297662.3365818.
[13] Singh, Amritraj, Reza M. Parizi, Meng Han, Ali Dehghantanha, Hadis Karimipour, and Kim-Kwang Raymond Choo. .,Public Blockchains Scalability: An Examination of Sharding and Segregated Witness.., In Blockchain Cybersecurity, Trust and Privacy. Advances in Information Security, vol 79, edited by Kim-Kwang Raymond Choo, Ali Dehghantanha, and Reza M. Parizi (2020): 203-232. doi:10.1007/978-3-030-38181-3_11.
[14] Castro, Miguel, and Barbara Liskov. .,Practical Byzantine fault tolerance and proactive recovery.., In ACM Transactions on Computer Systems (TOCS), vol 20, no. 4 (2002): 398-461. doi:10.1145/571637.571640.
[15] Kwiatkowska, Marta, Gethin Norman, and David Parker. .,PRISM 4.0: Verification of Probabilistic Real-Time Systems.., In Computer Aided Verification. CAV 2011. Lecture Notes in Computer Science, vol 6806, edited by Ganesh Gopalakrishnan and Shaz Qadeer (2011): 585-591. doi:10.1007/978-3-642-22110-1_47.
[16] Zheng, Kai, Ying Liu, Chuanyu Dai, Yanli Duan, and Xin Huang. .,Model Checking PBFT Consensus Mechanism in Healthcare Blockchain Network.., In 2018 9th International Conference on Information Technology in Medicine and Education (ITME) (2018): 877-881. doi: 10.1109/ITME.2018.00196.
[17] Zhang, Jie, NianXue, and Xin Huang. .,A Secure System For Pervasive Social Network-Based Healthcare.., In IEEE Access, vol. 4 (2016): 9239-9250. doi:10.1109/ACCESS.2016.2645904.
[18] Turkanovi?, Muhamed, Marko Hölbl, Kristjan Koši?, MarjanHeri?ko, and Aida Kamišali?. .,EduCTX: A Blockchain-Based Higher Education Credit Platform.., In IEEE Access, vol. 6 (2018): 5112-5127. doi:10.1109/ACCESS.2018.2789929.
[19] Cheng, Hanlei, Jing Lu, Zhiyu Xiang, and Bin Song. .,A Permissioned Blockchain-Based Platform for Education Certificate Verification.., In International Conference on Blockchain and Trustworthy Systems. BlockSys 2020: Communications in Computer and Information Science, , edited by Zibin Zheng, Hong-Ning Dai, Xiaodong Fu, and Benhui Chen 1267 (2020) 456-471. doi:10.1007/978-981-15-9213-3_36.
[20] Tschorsch, Florian, and Björn Scheuermann. .,Bitcoin and Beyond: A Technical Survey on Decentralized Digital Currencies.., In IEEE Communications Surveys & Tutorials, 18(3) (2016) 2084-2123. doi:10.1109/COMST.2016.2535718.
[21] Merkle, Ralph C. .,A Certified Digital Signature.., In Advances in Cryptology — CRYPTO’ 89 Proceedings. CRYPTO 1989. Lecture Notes in Computer Science, vol 435, edited by Gilles Brassard (1989) 218-238. doi: 10.1007/0-387-34805-0_21. .,Indonesia`s Mobile and Broadband Internet Speeds.., Speedtest Global Index. Accessed March 23, 2021. https://www.speedtest.net/global-index/indonesia.