Font Size: a A A

Research On Key Technologies Of Smart Contract In Blockchain-based Educational Authentication Platform

Posted on:2021-08-28Degree:MasterType:Thesis
Country:ChinaCandidate:X MaFull Text:PDF
GTID:2518306476952999Subject:Computer application technology
Abstract/Summary:PDF Full Text Request
In recent years,with the popularization of certificates,there have been numerous incidents of fraudulent academic qualifications and privacy leaks.Most of the existing solutions are based on the traditional centralized database storage technology,which will cause data loss,leakage,and difficult recovery.Even if the data is guaranteed to be credible,the diploma cannot fully represent one's ability.Blockchain technology provides a new way to solve the above problems.Xuecheng Chain is a blockchain-based educational authentication platform.It stores students' learning experience data and digital identities on the blockchain to ensure that students' data is safe and tamper-proof.It also provides various academic qualifications and personal data privacy protection based on smart contract technology.Smart contract technology guarantees the automatic execution of the agreement and interaction between participants of Xuecheng Chain.This paper focuses on the key technologies of smart contract in Xuecheng Chain.The main contributions of this paper are as follows:(1)Aiming at the problems of high complexity of smart contract development and inconsistent implementation mechanism of different platforms,a finite commitment machine(FCM)method with a higher semantic level is proposed to support designers to describe the processing logic of smart contract at the business semantic level without paying attention to specific programming details,which can greatly reduce the difficulty of smart contract development.(2)According to the operation characteristics of smart contracts,a finite state machine(FSM)method is proposed.As a common intermediate expression,FSM can describe the code logic of the smart contract independently of the specific smart contract programming language,which is convenient to translate into the smart contract code of different programming languages.(3)Design and implement the method of automatic conversion of FCM into FSM,analyze and prove the correctness of this method.At the same time,the structure division algorithm of FCM's state chart is proposed to provide the structure mapping method between the FSM and Ethereum's Solidity language,Hyperledger Fabric's Go language,which can automatically generate the deployable and executable smart contracts on Ethereum and Hyperledger Fabric.(4)A filtering algorithm EBF-SC based on smart contract is proposed,and the Elastic Bloom filter is designed to improve the original false positive problem.The combination of EBF-SC algorithm and Elastic Bloom filter reduces the impact of malicious queries on the response speed of the system,ensures the query performance and improves the security of the authentication platform.(5)The smart contract generation method based on the FSM and EBF-SC algorithm are tested and the results are analyzed.The experimental results show that the solution proposed in this paper is effective,it can provide supports for simplifying the design and generation of smart contract and ensuring the response performance of Xuecheng Chain.
Keywords/Search Tags:Smart Contract, Formal Definition, The Generation of Contract, Elastic Bloom Filter, Filtering Model
PDF Full Text Request
Related items