专业开发15年,丰富的开发经验!贴心的私人订制服务,为您打造合适的平台。

无界区块链虚拟币钱包开发咨询电话

咨询电话:13386501543

联系方式

电 话:13386501543

邮箱:1203125@qq.com

地址:浙江省杭州市江干区下沙街道万亚金沙湖1号3幢

当前位置:无界区块链开发 > 新闻资讯 > 区块链与代币结合系统开发

区块链与代币结合系统开发

文章出处:9 阅读量:9 发表时间:20-12-14 16:25
区块链100问

早在1997年,智能合约的概念就被Nick Szabo提出,发表于“Formalizing and Securing Relationships on Public Networks”以及“A Formal Language for Analyzing Contracts”两篇论文中,相关于传统纸质合约,智能合约具有信息化的优势,经过新兴的互联网和相关信息安全技能来加强其适用范围。

智能合约虽然很早就被提出,但实践却一直落后于理论,首要原因是缺乏有用机制来确保满足合约的可观察性、可验证性与自强制性。在区块链技能呈现之前,合约方无法直接观察与验证其他合约方的履行动作,只能经过第三方审核各方合约履行的记载,导致合约履行功率低下,而且本钱较高。区块链可追踪、不可篡改、安全、牢靠以及分布式的特征,可有用满足Nick Szabo对智能合约的基本要求。因而,区块链和智能合约结成天然的联盟,互相配合,发挥重要作用。

由于智能合约通常需求多方交互,触及多方利益,一旦上链很难更改,因而智能合约对正确性的要求很高,一起智能合约的履行功率也是体系有用运转的前提条件。这些都是基于区块链的智能合约高效运转的必要要素。

现在,为了确保智能合约履行的正确性,通常的做法是:1)合约代码在运转前可正确编译,并可进行用例调试,或是经过愈加牢靠的形式化办法进行验证;2)合约在运转时呈现过错,则需将合约运转立即中止,合约所更改的数据状况进行回滚,体系将运转合约代码与区块链上所保存的合约代码进行对比验证,防止合约被恶意篡改。

但是,当前智能合约正确性的保证办法存在过错修正和功能提高上的不足。无法实时感知合约运转的状况,在合约呈现过错时,所提供的过错日志有限,使合约修正复杂化,而且合约只重视正确性而忽视了合约的运转功能,无法得到合约在履行各个阶段的代码运转时刻,使得合约功能提高困难化。因而需求进行运转时验证,是一种首先监测体系的运转情况,然后对体系是否符合给定的特点或标准进行断定的验证技能。

55
技能完结要素:


为了处理这些问题,本发明提出了一种基于区块链的智能合约状况监测体系,包含:

合约虚拟机,用于运转智能合约代码,所述合约虚拟机确保合约的独立性和隔离性,所述合约虚拟机内置多个监测模块,用于接纳合约监测器发送的信息,并在监测点将其对应的监测特点或事情封装成格式化的音讯传递给动态事情接纳器;

合约监测器,所述合约监测器包含两个模块:一个是动态事情接纳器,担任接纳监测智能合约状况所得信息;一个是特点验证器,担任对智能合约状况展开剖析,将剖析成果向所述合约虚拟机进行反应,完结一个合约监测通讯循环。

优选的,合约监测器还包含战略器,所述特点验证器将监测特点剖析成果发送给战略器,所述战略器依据接纳的所述合约监测器的特点监测剖析成果动态对合约代码进行插桩点的调整,所述合约虚拟机与所述合约监测器彼此通讯,在无外界干涉的情况下,动态监测智能合约运转状况是否正确,完结关于所述智能合约的智能监测。

本发明的目的还在于提供一种基于区块链的智能合约状况监测办法,包含步骤:

(1)在智能合约运转前操作人员设置所述合约监测器,依据需求完结插桩的预备操作,以便完结合约代码在内存运转中的动态插桩;

(2)在智能合约运转过程中,所述合约虚拟机在监测点将其对应且符合需求的监测特点或事情封装成格式化的音讯传递给所述合约监测器;

(3)所述合约监测器接纳到音讯后,对合约的监测特点进行验证剖析,并将验证成果向所述合约虚拟机进行反应,完结一个合约监测通讯循环;

(4)经过多次的迭代通讯循环,完结智能合约的动态监测。

优选的,所述办法还包含:在监测体系进行迭代通讯和智能合约的所述动态监测过程中,所述战略器依据接纳的所述合约监测器的特点监测剖析成果动态调整运转代码插桩点,完结所述智能合约的运转时状况信息的智能监测。

优选的,所述办法还包含:对所述智能合约的状况信息进行展现,假如发现智能合约存在履行问题,智能合约履行被中止且及时进行相关处理,防止产生不必要的丢失。

采用本发明的有利效果在于:动态代码插桩是非侵入性的,可以在内存中将监测模块无侵入的植入合约运转程序中,完结代码动态插桩。在获得更丰富的状况信息的一起不会影响存储的合约代码的内容。

cache
Processed in 0.015319 Second.