CN110517137A - 一种生成功能模块化安全合约的方法及系统 - Google Patents

一种生成功能模块化安全合约的方法及系统 Download PDF

Info

Publication number
CN110517137A
CN110517137A CN201910710399.5A CN201910710399A CN110517137A CN 110517137 A CN110517137 A CN 110517137A CN 201910710399 A CN201910710399 A CN 201910710399A CN 110517137 A CN110517137 A CN 110517137A
Authority
CN
China
Prior art keywords
contract
demand
module
modular safety
systematic function
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN201910710399.5A
Other languages
English (en)
Inventor
王昊
程希冀
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Hangzhou Vastchain Technology Co ltd
Original Assignee
Hangzhou Vastchain Technology Co ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Hangzhou Vastchain Technology Co ltd filed Critical Hangzhou Vastchain Technology Co ltd
Priority to CN201910710399.5A priority Critical patent/CN110517137A/zh
Publication of CN110517137A publication Critical patent/CN110517137A/zh
Pending legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/60—Software deployment
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q40/00—Finance; Insurance; Tax strategies; Processing of corporate or income taxes
    • G06Q40/04—Trading; Exchange, e.g. stocks, commodities, derivatives or currency exchange

Abstract

本发明涉及一种生成功能模块化安全合约的方法及系统。所述方法包括以下步骤：参与方提出合约需求；将所述自然语言描述的合约通过脚本语言转化成机器语言生成计算机可执行合约；将合约关键项设置成可输入状态，输入交易关键词；当所述合约需求中的约定条件成就时，触发合约的执行；所述合约需求通过本地节点的API调取功能。所述系统包括信息录入模块、触发器模块、合约逻辑执行模块和功能模块。本发明保护的系统，只保留客户需求的功能模块，将安全合约的常用功能模块化处理，代码精简，提高了计算机处理速度。

Description

一种生成功能模块化安全合约的方法及系统
技术领域
本发明涉及区块链技术领域，尤其是涉及一种生成功能模块化安全合约的方法。
背景技术
智能合约（ Smart contract ）是一种旨在以信息化方式传播、验证或执行合同的计算机协议。智能合约允许在没有第三方的情况下进行可信交易，这些交易可追踪且不可逆转。智能合约概念于1995年由Nick Szabo首次提出。
智能合约的目的是提供优于传统合约的安全方法，并减少与合约相关的其他交易成本。智能合约是“执行合约条款的计算机交易协议”，区块链上的所有用户都可以看到基于区块链的智能合约。但是，这会导致包括安全漏洞在内的所有漏洞都可见，并且可能无法迅速修复。这样的攻击难以迅速解决，例如，2016年6月The DAOEther的漏洞造成损失5000万美元，而开发者试图达成共识的解决方案。DAO的程序在黑客删除资金之前有一段时间的延迟。以太坊软件的一个硬分叉在时限到期之前完成了攻击者的资金回收工作。
智能合约作为静态的底层区块链数据，赋予了灵活可编程的机制和算法，但是，其自动化和可编程特性导致包括安全漏洞在内的所有漏洞都可见，将智能合约本身的内容广播到区块链网络中，会导致交易的安全性降低。
现有技术中，智能合约本身的内容需要广播到区块链网络中，区块链网络中的所有节点均需要存储智能合约，智能合约所需要的存储空间较大，导致区块链网络的传输压力较大，对于区块链网络中的单个节点而言，需要单个节点具备较大的存储空间。
针对律师或者其他无编程经验的智能合约参与方，对编写智能合约成为一个当前的迫切需求。
发明内容
针对上述技术问题，本发明提供了一种生成功能模块化安全合约的方法及系统。
本发明的技术方案：
一种生成功能模块化安全合约的方法，包括以下步骤：
参与方提出合约需求；
将所述自然语言描述的合约通过脚本语言转化成机器语言形成计算机可执行合约；将合约关键项设置成可输入状态，输入交易关键词；
当所述合约需求中的约定条件成就时，触发合约的执行；
所述合约需求通过本地节点的API调取功能。
一种生成功能模块化安全合约的系统，包括信息录入模块、触发器模块、合约逻辑执行模块和功能模块；
所述信息录入模块，用于录入参与方信息以及参与方提出的合约需求；
所述触发器模块，用于设定触发条件，当合约需求的约定条件成就时，触发合约的执行；
所述合约逻辑执行模块，用于对所述触发条件进行逻辑运算；
所述功能模块，用于根据所述的触发条件进行逻辑运算的结果，执行相应的合约功能；
其中，区块链链上节点设置有功能各异的API接口，,参与方利用http接口收发请求,http接口受理请求后，通过action name判断用户的操作类型，并进入对应的处理程序，判断操作合法性,记录于区块中并传播至下一区块。
进一步的，生成功能模块化安全合约将核心业务逻辑进行针对性的具象的实现，使其模块化,调用后进行简单编辑即可直接使用,并且剥离高频次合约需求进行特定实现，所述特定实现指对于所述高频次合约需求建立相对应的程序库,在需要建立高频次合约需求时,直接从程序库调用相对应程序,针对性优化降低其性能占用，提升系统处理大量信息的能力。
进一步的，所述功能包括创建账户、部署合约、实现交易。
与现有技术相比，本发明具有以下技术效果：智能合约是抛开业务逻辑的，高度抽象，程序员需要根据自己的业务逻辑实现特定功能。相对的，安全合约是将核心业务逻辑进行针对性的具象的实现，并将其模块化，程序员只须简单编辑就可直接使用,而且将高频次的合约需求进行特定实现,大大减少重复开发，提升开发和处理效率。
具体实施方式
本实施例提供了一种生成功能模块化安全合约的方法及系统，具体为，一种生成功能模块化安全合约的方法，包括以下步骤：
参与方提出合约需求；所述合约需求包括但不限于税务交易、保险交易、理赔交易、古玩交易、艺术品交易、大宗商品交易。
将所述自然语言描述的合约通过脚本语言转化成机器语言形成计算机可执行合约;
当所述合约需求中的约定条件成就时，触发合约的执行；将合约关键项设置成可输入状态，输入交易关键词。所述交易关键词包括但不仅限于用户名称、业务类型、交易金额等。
所述合约需求通过本地节点的API调取功能。所述API（Application ProgrammingInterface，应用程序编程接口）是一些预先定义的函数，目的是提供应用程序与开发人员基于某软件或硬件得以访问一组例程的能力，而又无需访问源码，或理解内部工作机制的细节。
一种生成功能模块化安全合约的系统，包括信息录入模块、触发器模块、合约逻辑执行模块和功能模块；
所述信息录入模块，用于录入参与方信息以及参与方提出的合约需求；
所述触发器模块，用于设定触发条件，当合约需求的约定条件成就时，触发合约的执行；
所述合约逻辑执行模块，用于对所述触发条件进行逻辑运算；
所述功能模块，用于根据所述的触发条件进行逻辑运算的结果，执行相应的合约功能；
其中，区块链链上区块设置有功能各异的API接口，,参与方利用http接口收发请求,http接口受理请求后，通过action name判断用户的操作类型，并进入对应的处理程序，判断操作合法性,记录于区块中并传播至下一区块。
进一步的，生成功能模块化安全合约将核心业务逻辑进行针对性的具象的实现，使其模块化,调用后进行简单编辑即可直接使用,并且剥离高频次合约需求进行特定实现，所述特定实现指对于所述高频次合约需求建立相对应的程序库,在需要建立高频次合约需求时,直接从程序库调用相对应程序,针对性优化降低其性能占用，提升系统处理大量信息的能力。
根据需要，所述功能包括创建账户、部署合约、实现交易。
具体实施例仅仅是对本发明的解释，其并不是对发明的限制，本领域技术人员在阅读完本说明书后可以根据需要对本实施例做出没有创造性贡献的修改，但只要在发明的权利要求范围内都受到专利法的保护。

Claims (4)

1.一种生成功能模块化安全合约的方法，其特征在于，包括以下步骤：参与方提出合约需求；
将自然语言描述的合约通过脚本语言转化成机器语言形成计算机可执行合约；
将合约关键项设置成可输入状态，输入交易关键词；
当所述合约需求中的约定条件成就时，触发合约的执行；
所述合约需求通过本地节点的API调取功能。
2.一种使用权利要求1所述的方法，其特征在于，包括信息录入模块、触发器模块、合约逻辑执行模块和功能模块；
所述信息录入模块，用于录入参与方信息以及参与方提出的合约需求；
所述触发器模块，用于设定触发条件，当合约需求的约定条件成就时，触发合约的执行；
所述合约逻辑执行模块，用于对所述触发条件进行逻辑运算；
所述功能模块，用于根据所述的触发条件进行逻辑运算的结果，执行相应的合约功能；
其中，区块链链上区块设置有功能各异的API接口，参与方利用http接口收发请求,http接口受理请求后，通过action name判断用户的操作类型，并进入对应的处理程序，判断操作合法性,记录于区块中并传播至下一区块。
3.一种生成功能模块化安全合约的系统，其特征在于，所述生成功能模块化安全合约将核心业务逻辑进行针对性的具象的实现，使其模块化,调用后进行简单编辑即可直接使用,并且剥离高频次合约需求进行特定实现，所述特定实现指对于所述高频次合约需求建立相对应的程序库,在需要建立高频次合约需求时,直接从程序库调用相对应程序。
4.根据权利要求2所述的生成功能模块化安全合约的系统，其特征在于，所述功能包括创建账户、部署合约、实现交易。
CN201910710399.5A 2019-08-02 2019-08-02 一种生成功能模块化安全合约的方法及系统 Pending CN110517137A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201910710399.5A CN110517137A (zh) 2019-08-02 2019-08-02 一种生成功能模块化安全合约的方法及系统

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201910710399.5A CN110517137A (zh) 2019-08-02 2019-08-02 一种生成功能模块化安全合约的方法及系统

Publications (1)

Publication Number Publication Date
CN110517137A true CN110517137A (zh) 2019-11-29

Family

ID=68624899

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201910710399.5A Pending CN110517137A (zh) 2019-08-02 2019-08-02 一种生成功能模块化安全合约的方法及系统

Country Status (1)

Country Link
CN (1) CN110517137A (zh)

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110956452A (zh) * 2019-12-02 2020-04-03 支付宝(杭州)信息技术有限公司 合约处理方法以及装置
CN111652615A (zh) * 2020-06-24 2020-09-11 杨刘琴 基于区块链大数据的安全识别方法及人工智能云服务平台
CN111752574A (zh) * 2020-05-08 2020-10-09 北京科技大学 一种法律合约的智能可执行合约构造与执行方法和系统
CN112907217A (zh) * 2021-03-10 2021-06-04 杭州宇链科技有限公司 一种基于区块链的安全服务系统

Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN107103473A (zh) * 2017-04-27 2017-08-29 电子科技大学 一种基于区块链的智能合约实现方法
CN107844710A (zh) * 2017-09-26 2018-03-27 浙江大学 一种合约生成系统和生成方法
CN108062412A (zh) * 2017-12-30 2018-05-22 北京百度网讯科技有限公司 网页应用程序的快捷方式生成方法、装置和终端设备
CN108196872A (zh) * 2017-12-27 2018-06-22 邵美 一种区块链系统中智能合约的升级方法
CN108257000A (zh) * 2018-02-26 2018-07-06 北京阿尔山金融科技有限公司 智能合约实现系统、方法及电子设备
CN109753288A (zh) * 2019-01-14 2019-05-14 杭州云象网络技术有限公司 一种适用于形式化验证的智能合约编译方法

Patent Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN107103473A (zh) * 2017-04-27 2017-08-29 电子科技大学 一种基于区块链的智能合约实现方法
CN107844710A (zh) * 2017-09-26 2018-03-27 浙江大学 一种合约生成系统和生成方法
CN108196872A (zh) * 2017-12-27 2018-06-22 邵美 一种区块链系统中智能合约的升级方法
CN108062412A (zh) * 2017-12-30 2018-05-22 北京百度网讯科技有限公司 网页应用程序的快捷方式生成方法、装置和终端设备
CN108257000A (zh) * 2018-02-26 2018-07-06 北京阿尔山金融科技有限公司 智能合约实现系统、方法及电子设备
CN109753288A (zh) * 2019-01-14 2019-05-14 杭州云象网络技术有限公司 一种适用于形式化验证的智能合约编译方法

Cited By (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110956452A (zh) * 2019-12-02 2020-04-03 支付宝(杭州)信息技术有限公司 合约处理方法以及装置
CN111752574A (zh) * 2020-05-08 2020-10-09 北京科技大学 一种法律合约的智能可执行合约构造与执行方法和系统
CN111752574B (zh) * 2020-05-08 2021-03-30 北京科技大学 一种法律合约的智能可执行合约构造与执行方法和系统
WO2021223419A1 (zh) * 2020-05-08 2021-11-11 北京科技大学 一种法律合约的智能可执行合约构造与执行方法和系统
CN111652615A (zh) * 2020-06-24 2020-09-11 杨刘琴 基于区块链大数据的安全识别方法及人工智能云服务平台
CN111652615B (zh) * 2020-06-24 2021-01-29 广西新农商供应链科技有限公司 基于区块链大数据的安全识别方法及人工智能云服务平台
CN112907217A (zh) * 2021-03-10 2021-06-04 杭州宇链科技有限公司 一种基于区块链的安全服务系统

Similar Documents

Publication Publication Date Title
CN110517137A (zh) 一种生成功能模块化安全合约的方法及系统
US11074245B2 (en) Method and device for writing service data in block chain system
CN110457912B (zh) 数据处理方法、装置和电子设备
CN110189121B (zh) 数据处理方法、装置、区块链客户端和区块链节点
KR20190094217A (ko) 스크립트 크기 및 연산 부호 제한에 대한 보안 기반 제한을 유지하는 동안 블록체인에서 복잡한 기능을 활성화하는 컴퓨터 구현 시스템 및 방법
CN110959282B (zh) 用于智能合约的软件接口
CN102222292B (zh) 一种手机支付保护方法
Cui et al. Vrust: Automated vulnerability detection for solana smart contracts
Chittoda Mastering Blockchain Programming with Solidity: Write production-ready smart contracts for Ethereum blockchain with Solidity
Argañaraz et al. Detection of vulnerabilities in smart contracts specifications in ethereum platforms
CN112767155A (zh) 智能合约安全交易序列生成方法、装置、介质和设备
CN105184150B (zh) 一种语句预处理方法、装置以及语句的解释方法、装置
CN110018831B (zh) 程序处理方法、装置及计算机可读存储介质
Комлева et al. Requirements for the development of smart contracts and an overview of smart contract vulnerabilities at the Solidity code level on the Ethereum platform
CN116502283A (zh) 一种隐私数据处理方法及装置
WO2018227942A1 (zh) 一种基于内存优化的任务执行方法及系统
Verheijke et al. An exploratory study on solidity guards and ether exchange constructs
Kamphuis et al. Revisiting transaction ledger robustness in the miner extractable value era
CN115022312A (zh) 多智能合约引擎的实现方法、装置、电子设备及存储介质
Mazurek EthVer: Formal verification of randomized Ethereum smart contracts
KR20230101442A (ko) 5g 모바일 에지 컴퓨팅 환경을 위한 블록체인 시스템, 장치 및 운영 방법
Jumnongsaksub et al. Reducing smart contract runtime errors on ethereum
WO2022035476A1 (en) Representing asynchronous state machine in intermediate code
CN113434148A (zh) 防解密客户端开发编译方法、装置、电子设备及存储介质
CN112365264A (zh) 基于utxo模型的隐藏交易方法、装置及相关产品

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
WD01 Invention patent application deemed withdrawn after publication
WD01 Invention patent application deemed withdrawn after publication

Application publication date: 20191129