CN113011978A - 基于可认证数据结构的区块链语义分析的方法 - Google Patents
基于可认证数据结构的区块链语义分析的方法 Download PDFInfo
- Publication number
- CN113011978A CN113011978A CN202110260177.5A CN202110260177A CN113011978A CN 113011978 A CN113011978 A CN 113011978A CN 202110260177 A CN202110260177 A CN 202110260177A CN 113011978 A CN113011978 A CN 113011978A
- Authority
- CN
- China
- Prior art keywords
- pure
- function
- data
- functions
- semantics
- 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.)
- Granted
Links
Images
Classifications
-
- 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
-
- 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
- G06Q20/00—Payment architectures, schemes or protocols
- G06Q20/30—Payment architectures, schemes or protocols characterised by the use of specific devices or networks
- G06Q20/36—Payment architectures, schemes or protocols characterised by the use of specific devices or networks using electronic wallets or electronic money safes
- G06Q20/367—Payment architectures, schemes or protocols characterised by the use of specific devices or networks using electronic wallets or electronic money safes involving electronic purses or money safes
- G06Q20/3674—Payment architectures, schemes or protocols characterised by the use of specific devices or networks using electronic wallets or electronic money safes involving electronic purses or money safes involving authentication
-
- 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
- G06Q20/00—Payment architectures, schemes or protocols
- G06Q20/38—Payment protocols; Details thereof
- G06Q20/40—Authorisation, e.g. identification of payer or payee, verification of customer or shop credentials; Review and approval of payers, e.g. check credit lines or negative lists
- G06Q20/401—Transaction verification
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02D—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
- Y02D10/00—Energy efficient computing, e.g. low power processors, power management or thermal management
Landscapes
- Business, Economics & Management (AREA)
- Accounting & Taxation (AREA)
- Engineering & Computer Science (AREA)
- Finance (AREA)
- Theoretical Computer Science (AREA)
- Strategic Management (AREA)
- Physics & Mathematics (AREA)
- General Business, Economics & Management (AREA)
- General Physics & Mathematics (AREA)
- Computer Networks & Wireless Communication (AREA)
- Development Economics (AREA)
- Economics (AREA)
- Marketing (AREA)
- Technology Law (AREA)
- Computer Security & Cryptography (AREA)
- Devices For Executing Special Programs (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
Description
Claims (6)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110260177.5A CN113011978B (zh) | 2021-03-10 | 2021-03-10 | 基于可认证数据结构的区块链语义分析的方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110260177.5A CN113011978B (zh) | 2021-03-10 | 2021-03-10 | 基于可认证数据结构的区块链语义分析的方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN113011978A true CN113011978A (zh) | 2021-06-22 |
CN113011978B CN113011978B (zh) | 2023-05-26 |
Family
ID=76404099
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202110260177.5A Active CN113011978B (zh) | 2021-03-10 | 2021-03-10 | 基于可认证数据结构的区块链语义分析的方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN113011978B (zh) |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101233488A (zh) * | 2005-07-29 | 2008-07-30 | 微软公司 | 作为数据对象的编译器支持程序 |
US20130159969A1 (en) * | 2011-12-16 | 2013-06-20 | Microsoft Corporation | Digital signal processing with language integrated monads |
CN107203421A (zh) * | 2016-08-28 | 2017-09-26 | 深圳晶泰科技有限公司 | 一种云计算环境中自适应的组合工作流方法 |
CN111125440A (zh) * | 2019-12-09 | 2020-05-08 | 重庆邮电大学 | 一种基于Monad的持久层复合条件查询方法与存储介质 |
-
2021
- 2021-03-10 CN CN202110260177.5A patent/CN113011978B/zh active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101233488A (zh) * | 2005-07-29 | 2008-07-30 | 微软公司 | 作为数据对象的编译器支持程序 |
US20130159969A1 (en) * | 2011-12-16 | 2013-06-20 | Microsoft Corporation | Digital signal processing with language integrated monads |
CN107203421A (zh) * | 2016-08-28 | 2017-09-26 | 深圳晶泰科技有限公司 | 一种云计算环境中自适应的组合工作流方法 |
CN111125440A (zh) * | 2019-12-09 | 2020-05-08 | 重庆邮电大学 | 一种基于Monad的持久层复合条件查询方法与存储介质 |
Non-Patent Citations (3)
Title |
---|
MILLER A ET AL: "Authenticated data structures,generically", 《ACM SIGPLAN NOTICES》 * |
吕江花等: "接续到直接的指称语义转换", 《计算机研究与发展》 * |
袁华强: "一种基于组合Monad的纯函数式通道系统操作", 《计算机工程与应用》 * |
Also Published As
Publication number | Publication date |
---|---|
CN113011978B (zh) | 2023-05-26 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US20230318804A1 (en) | Arithmetic enhancement of c-like smart contracts for verifiable computation | |
Soeken et al. | The EPFL logic synthesis libraries | |
Zhang et al. | Zero knowledge proofs for decision tree predictions and accuracy | |
Wintersteiger et al. | Efficiently solving quantified bit-vector formulas | |
Lohar et al. | Improving trace accuracy through data-driven configuration and composition of tracing features | |
Kiezun et al. | HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars | |
Szárnyas et al. | IncQuery-D: A distributed incremental model query framework in the cloud | |
Feng et al. | Zen: An optimizing compiler for verifiable, zero-knowledge neural network inferences | |
Si et al. | Learning a meta-solver for syntax-guided program synthesis | |
Heule et al. | Efficient extraction of Skolem functions from QRAT proofs | |
Khalilian et al. | CGenProg: Adaptation of cartesian genetic programming with migration and opposite guesses for automatic repair of software regression faults | |
Beutner et al. | AutoHyper: Explicit-state model checking for HyperLTL | |
Buchmann et al. | BXtendDSL: A layered framework for bidirectional model transformations combining a declarative and an imperative language | |
Niemetz et al. | Towards satisfiability modulo parametric bit-vectors | |
EP3776868B1 (en) | Computer-implemented systems and methods for serialisation of arithmetic circuits | |
CN113011978A (zh) | 基于可认证数据结构的区块链语义分析的方法 | |
Lin et al. | Scivik: A versatile framework for specifying and verifying smart contracts | |
Amin et al. | Lurk: Lambda, the ultimate recursive knowledge | |
Lagniez et al. | On checking Kripke models for modal logic K | |
Lochbihler et al. | Programming TLS in Isabelle/HOL | |
Gagliardi et al. | BLOOMS: A prototype modeling language with object oriented features | |
Martin et al. | Definition of the DISPEL Language | |
Amin et al. | LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report) | |
Beebe et al. | A bibliography on pattern matching, regular expressions, and string matching | |
Brown et al. | Proofgold: Blockchain for formal methods |
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 | ||
CB03 | Change of inventor or designer information | ||
CB03 | Change of inventor or designer information |
Inventor after: He Xinzheng Inventor after: Guang Yan Inventor after: Li Ji Inventor before: He Xinzheng Inventor before: Photoinflammation Inventor before: Zhu Yuefei |
|
TA01 | Transfer of patent application right | ||
TA01 | Transfer of patent application right |
Effective date of registration: 20220217 Address after: 475000 School of computer and information engineering, Henan University, Jinming District, Kaifeng City, Henan Province Applicant after: Henan University Address before: No.62, Kexue Avenue, Zhongyuan District, Zhengzhou City, Henan Province, 450000 Applicant before: He Xinzheng |
|
GR01 | Patent grant | ||
GR01 | Patent grant |