WO2020011010A1 - 一种算力交易方法及计算通道 - Google Patents

一种算力交易方法及计算通道 Download PDF

Info

Publication number
WO2020011010A1
WO2020011010A1 PCT/CN2019/092680 CN2019092680W WO2020011010A1 WO 2020011010 A1 WO2020011010 A1 WO 2020011010A1 CN 2019092680 W CN2019092680 W CN 2019092680W WO 2020011010 A1 WO2020011010 A1 WO 2020011010A1
Authority
WO
WIPO (PCT)
Prior art keywords
computing
calculation
sub
logic circuit
input data
Prior art date
Application number
PCT/CN2019/092680
Other languages
English (en)
French (fr)
Inventor
李升林
孙立林
Original Assignee
云图有限公司
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 云图有限公司 filed Critical 云图有限公司
Publication of WO2020011010A1 publication Critical patent/WO2020011010A1/zh

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

Definitions

  • the invention relates to the field of computing power transactions, in particular to a computing power trading method and a computing channel.
  • Cloud computing is essentially a centralized computing resource provider, and users can pay for it on demand.
  • users cannot accurately evaluate the computing resource requirements, and they are still accustomed to purchasing extra servers, which eventually leads to idleness; cloud computing needs to save data to the cloud, and because the hardware infrastructure is under the control of the cloud provider, It is difficult to guarantee the privacy and security of data and calculations; computing resources are still billed according to the length of use, and cannot be paid for on-demand, and transaction control is on the cloud platform, which makes it difficult to guarantee the fairness of computing power transactions.
  • the current blockchain technology system still requires miners to execute transactions and pay transaction fees to miners.
  • This transaction execution method has the following problems: wasting power: the current blockchain system's method of ensuring chain correctness can be attributed In order for each node (including non-miner nodes) to verify the block by itself, the correctness of the block is verified by running the transactions packaged in each new block received, although it will not be rewarded, which actually causes computing power Waste.
  • Computing power limitation Currently in the blockchain platforms represented by Ethereum, there is a "gas limit" that limits the computing power resources allowed for transactions. The calculation of computing power is inaccurate: At present, the blockchain platform represented by Ethereum uses compiled virtual machine instructions to measure computing resource requirements, but the granularity of virtual machine instructions is not fine enough and the accuracy of the measurement is insufficient.
  • an embodiment of the present invention provides a computing power transaction method.
  • the method includes:
  • the withholding digital asset of the demander is sent to the outsourced computing device.
  • the generating a computing task based on the initial logic circuit and input data, and sending the computing task to an outsourced computing device includes: splitting the initial logic circuit into multiple sub-nodes. A logic circuit; splitting the input data corresponding to the initial logic circuit into sub-input data corresponding to a plurality of sub-logic circuits; generating corresponding calculation sub-tasks according to each sub-logic circuit and corresponding sub-input data; each The computing subtask is sent to at least one outsourced computing device.
  • verifying the calculation result sent by the outsourced computing device includes: generating a calculation certificate according to the calculation task, the calculation result, and a preset security parameter; and interpreting the Whether the calculation proves correct; when the calculation proves correct, the calculation result is correct.
  • the method further includes: after receiving the pledged digital assets of the outsourced computing device, sending the computing task to the outsourced computing device.
  • An embodiment of the present invention further provides a computing channel for computing power transactions.
  • the computing channel includes:
  • An obtaining unit configured to obtain an initial logic circuit and corresponding input data sent by a demander
  • a computing unit configured to generate a computing power of the initial logic circuit according to a preset weight value of the logic gate
  • a withholding unit configured to withhold corresponding digital assets of the demander according to the computing power
  • a issuing unit configured to generate a computing task according to the initial logic circuit and input data, and send the computing task to an outsourced computing device;
  • a verification unit configured to receive and verify a calculation result sent by the outsourced computing device
  • a settlement unit is configured to send the withheld digital assets of the demander to the outsourced computing device when the calculation result is correct.
  • the issuing unit includes: a sub-circuit module configured to split the initial logic circuit into a plurality of sub-logic circuits; and a sub-data module configured to correspond to the initial logic circuit
  • Input data is divided into sub-input data corresponding to a plurality of sub-logic circuits; sub-task modules are used to generate corresponding calculation sub-tasks according to each sub-logic circuit and corresponding sub-input data; a publishing module is used to convert Each computing subtask is sent to at least one outsourced computing device.
  • the verification unit includes: a certification module, configured to generate a calculation certificate according to the calculation task, the calculation result, and a preset security parameter; a judgment module, used to judge an office Whether the calculation proves correct; when the calculation proves correct, the calculation result is correct.
  • the computing channel further includes: a pledge unit, configured to receive a pledged digital asset of the outsourced computing device.
  • An embodiment of the present invention further provides a computer device including a memory, a processor, and a computer program stored on the memory and executable on the processor.
  • a computer program stored on the memory and executable on the processor.
  • the withholding digital asset of the demander is sent to the outsourced computing device.
  • An embodiment of the present invention also provides a computer-readable storage medium on which a computer program is stored.
  • a computer program is stored on a computer-readable storage medium.
  • the present invention guarantees the fairness of computing power transactions through accurate measurement of computing power and accurate verification of calculation results. At the same time, it converts the calculation function and input data of the demand side to ensure the privacy and security of computing power transactions. In addition, by withholding digital assets, the interests of both the demander and the outsourcer are not damaged, which further ensures the security and fairness of the transaction.
  • FIG. 1 is a flowchart of a computing power trading method according to an embodiment of the present invention
  • 2A and 2B are schematic diagrams of a Boolean circuit of a method for computing power trading according to an embodiment of the present invention
  • FIG. 3 is a schematic structural diagram of a computing channel for computing power transactions according to an embodiment of the present invention.
  • FIG. 4 is a schematic structural diagram of an electronic device in an embodiment of the present application.
  • Embodiments of the present invention provide a computing power trading method and a computing channel.
  • FIG. 1 is a flowchart of a hash power trading method according to an embodiment of the present invention. The method shown in the figure includes:
  • Step S1 Obtain an initial logic circuit and corresponding input data sent by the demander
  • Step S2 Generate a computing power of the initial logic circuit according to a preset weight value of the logic gate
  • Step S3 Receive the withholding digital assets of the corresponding demander according to the computing power
  • Step S4 generating a computing task according to the initial logic circuit and the input data, and sending the computing task to an outsourced computing device;
  • Step S5 Receive and verify the calculation result sent by the outsourced computing device
  • Step S6 When the calculation result is correct, send the withholding digital assets of the demander to the outsourced computing device.
  • the execution subject of the method shown in FIG. 1 may be a computer.
  • the demander compiles the calculation logic that needs to be calculated into a Boolean circuit, that is, an initial logic circuit, and receives the initial logic circuit and corresponding input data.
  • Boolean circuits are composed of several types of basic logic gates, including AND gates, OR gates, XOR gates, and NOT gates. Each gate consumes different computing power.
  • the initial logic circuit can be calculated by presetting the weight values of different logic gates. Computing power.
  • FIG. 2A and FIG. 2B are schematic diagrams of a Boolean circuit of a computing power trading method according to an embodiment of the present invention.
  • 2A is a schematic diagram of a Boolean circuit conversion of a full adder
  • FIG. 2B is a Boolean circuit diagram of a two-bit adder. It can be seen in FIG.
  • the weight value of the preset logic gate is preset, that is, the computing power of each logic gate is preset, for example, XOR gate: 100, NOT gate: 200, AND gate: 300, OR gate (usually two XOR's are added) (An AND gate representation): 500, the preset weight values of different logic gates can be preset according to their different computational complexity. By accumulating the preset weight values of all logic gates, it can be obtained that the computing power of the two-bit adder in FIG. 2B is 2600.
  • the computing power required by the demand side can be accurately measured.
  • some digital assets on the demand side need to be withheld, that is, withholding digital assets.
  • digital assets can be virtual currencies, such as tokens.
  • the outsourced computing device provides computing resources and returns computing results after completing the computing task.
  • the calculation result is verified by VC (Verifiable Calculation) to ensure that the calculation result provided by the outsourcing device is correct. After verifying that the calculation results are correct, send the demand-side withholding digital assets to the outsourced computing device to complete the hash power transaction.
  • VC Very Calculation
  • generating a computing task based on the initial logic circuit and input data, and sending the computing task to an outsourced computing device includes: splitting the initial logic circuit into a plurality of sub-logic circuits; and inputting data corresponding to the initial logic circuit. Split into sub-input data corresponding to a plurality of sub-logic circuits; generate corresponding computing sub-tasks according to each sub-logic circuit and corresponding sub-input data; and send each computing sub-task to at least one outsourced computing device.
  • the initial logic circuit may be split first according to different requirements of the demand side and the computing power limitation of the outsourced computing device.
  • a splitting strategy can be set in advance, and the initial logic circuit is split into multiple sub-logic circuits according to the splitting strategy.
  • the input data is divided into sub-input data corresponding to each of the sub-logic circuits.
  • the sub-logic circuit and its corresponding sub-input data are packaged into calculation sub-tasks, and each calculation sub-task is sent to at least one outsourced computing device.
  • the same computing sub-task can be distributed to multiple different outsourced computing devices.
  • the calculation results provided by the outsourcing computing device that performs the same computing sub-task are screened through preset rules.
  • verifying the calculation result sent by the outsourced computing device includes: generating a calculation certificate according to the calculation task, the calculation result, and preset security parameters; judging whether the calculation certificate is correct; and when the calculation certificate is correct, calculating The result is correct.
  • the calculation task includes calculation logic (calculation function) and corresponding input data.
  • the verification of the calculation result is verified by VC (Verifiable Calculation), and the public parameter PP (PP ⁇ ParamGen ( ⁇ )) is generated according to the preset safety parameter ⁇ ; or, the public is generated according to the preset safety parameter ⁇ and the calculation function f.
  • Parameter PP (PP ⁇ ParamGen ( ⁇ , f)).
  • a calculation certificate corresponding to the calculation result is generated ( ⁇ ⁇ GenProof (PP, T i , f, R im )).
  • R im is a calculation result
  • T i is a calculation subtask (if the calculation task is split).
  • the method further includes: after receiving the pledged digital assets of the outsourced computing device, sending the computing task to the outsourced computing device.
  • the method further includes: after receiving the pledged digital assets of the outsourced computing device, sending the computing task to the outsourced computing device.
  • it is necessary to pledge a part of the digital assets of the outsourced computing device in advance, that is, to pledge digital assets. Only outsourced computing devices that provide pledged digital assets can receive computing tasks. Once the calculation is found to be false, the pledged digital assets are deducted.
  • the method also includes an objection process.
  • an objection can be filed.
  • both parties to the hash power transaction are allowed to negotiate offline, initiate a transaction signed by both parties, cancel the settlement, and return the withheld virtual currency to the computing demand side.
  • the computing demander can also initiate a complaint and be verified by a third party (called a verifier). If multiple (settable number) verifiers can submit a consistent new calculation certificate, the computing resources can be determined There is fraud on the part of the party, and the deposit pledged by the computing resource party is deducted. Part of the deducted deposit is returned to the calculating demand party, and part is used to reward the verifier.
  • the embodiment of the present invention also provides a computing channel for computing power transactions. Since the principle of the computing channel to solve the problem is similar to the computing method for computing power transactions, the implementation of the computing channel can refer to the implementation of the method, and the same is repeated. I will not repeat them here.
  • FIG. 3 is a schematic structural diagram of a computing channel for computing power transactions according to an embodiment of the present invention.
  • the calculation channel shown in the figure includes: an obtaining unit 10 for obtaining an initial logic circuit and corresponding input data sent by a demander;
  • a computing unit 20 configured to generate a computing power of an initial logic circuit according to a preset weight value of the logic gate
  • a withholding unit 30 is used for withholding the corresponding demand-side digital assets according to the computing power
  • the issuing unit 40 is configured to generate a computing task according to the initial logic circuit and the input data, and send the computing task to an outsourced computing device;
  • a verification unit 50 configured to receive and verify a calculation result sent by the outsourced computing device
  • the settlement unit 60 is configured to send the withheld demand-side digital assets to the outsourced computing device when the calculation result is correct.
  • the demander compiles the calculation logic that needs to be calculated into a Boolean circuit, that is, an initial logic circuit, and receives the initial logic circuit and corresponding input data.
  • Boolean circuits are composed of several types of basic logic gates, including AND gates, OR gates, XOR gates, and NOT gates. Each gate consumes different computing power.
  • the initial logic circuit can be calculated by presetting the weight values of different logic gates. Computing power.
  • the computing power required by the demand side can be accurately measured.
  • some digital assets on the demand side need to be withheld, that is, withholding digital assets.
  • digital assets can be virtual currencies, such as tokens.
  • the outsourced computing device provides computing resources and returns computing results after completing the computing task.
  • the calculation result is verified by VC (Verifiable Calculation) to ensure that the calculation result provided by the outsourcing device is correct. After verifying that the calculation results are correct, send the demand-side withholding digital assets to the outsourced computing device to complete the hash power transaction.
  • VC Very Calculation
  • the issuing unit 40 includes: a sub-circuit module for splitting an initial logic circuit into a plurality of sub-logic circuits; and a sub-data module for splitting input data corresponding to the initial logic circuit into a plurality of sub-logic circuits.
  • Sub-logic circuits with one-to-one corresponding sub-input data a sub-task module for generating corresponding computing sub-tasks according to each sub-logic circuit and corresponding sub-input data
  • a publishing module for sending each computing sub-task to at least one Outsourced computing devices.
  • the verification unit 50 includes: a certification module for generating a calculation certificate according to a calculation task, a calculation result, and a preset security parameter; a judgment module for judging whether the calculation certificate is correct; when the calculation certificate is correct , The calculation result is correct.
  • the computing channel further includes: a pledge unit for receiving a pledged digital asset of an outsourced computing device.
  • the calculation pass also includes an objection unit, which can be used to raise an objection when the demander is not satisfied with the calculation result.
  • each participant can send a transaction to the calculation channel contract, thereby closing the channel and starting a settlement process.
  • the calculation channel will not be settled immediately, and a time interval will be started.
  • the computing demander can also submit a complaint to the computing channel for verification by a third party (called a verifier).
  • the channel can determine that the computing resource party has fraudulent behavior.
  • the computing channel contract deducts the deposit pledged by the computing resource party. Part of the deducted deposit is returned to the computing demand party, and part of it is used to reward the verifier.
  • An embodiment of the present application further provides a specific implementation of an electronic device capable of implementing all the steps in the method for calculating power trading in the foregoing embodiment.
  • the electronic device specifically includes the following content:
  • the electronic device can be implemented by referring to the embodiment of the computing power trading method and the computing channel of the computing power trading embodiment, and the contents thereof are incorporated herein, and repeated descriptions will not be repeated.
  • FIG. 4 is a schematic block diagram of a system configuration of an electronic device 600 according to an embodiment of the present application.
  • the electronic device 600 may include a central processing unit 100 and a memory 140; the memory 140 is coupled to the central processing unit 100. It is worth noting that this figure is exemplary; other types of structures can also be used to supplement or replace the structure to implement telecommunication functions or other functions.
  • a computing resource search function for a P2P network may be integrated into the central processing unit 100.
  • the central processor 100 may be configured to perform the following control: Step S1: Obtain an initial logic circuit and corresponding input data sent by the demander; Step S2: Generate a calculation of the initial logic circuit according to a preset weight value of the logic gate. Step S3: receiving the corresponding withholding digital asset of the demander according to the computing power; step S4: generating a computing task according to the initial logic circuit and input data, and sending the computing task to an outsourced computing device Step S5: Receive and verify the calculation result sent by the outsourced computing device; Step S6: When the calculation result is correct, send the withholding digital asset of the demander to the outsourced computing device.
  • the embodiment of the present application provides an electronic device that can accurately measure the calculation power and accurately verify the calculation result, guarantee the fairness of the calculation power transaction, and at the same time, transform the demand-side calculation function and input data. To ensure the security of privacy in the process of computing power transactions. In addition, by withholding digital assets, the interests of both the demander and the outsourcer are not harmed, further ensuring the security and fairness of the transaction.
  • the computing channel for computing power transactions may be configured separately from the central processing unit 100.
  • the computing channel for computing power trading may be configured as a chip connected to the central processing unit 100 and implemented through the control of the central processing unit. Hash trading function.
  • the electronic device 600 may further include a communication module 110, an input unit 120, an audio processing unit 130, a display 160, and a power source 170. It is worth noting that the electronic device 600 does not necessarily include all the components shown in FIG. 4; in addition, the electronic device 600 may further include components not shown in FIG. 4, and reference may be made to the prior art.
  • the central processing unit 100 is sometimes referred to as a controller or an operation control.
  • the central processing unit 100 may include a microprocessor or other processor device and / or a logic device.
  • the central processing unit 100 receives input and controls each of the electronic devices 600. Operation of parts.
  • the memory 140 may be, for example, one or more of a buffer, a flash memory, a hard drive, a removable medium, a volatile memory, a non-volatile memory, or other suitable devices.
  • the above-mentioned failure-related information can be stored, and in addition, a program for executing the related information can be stored.
  • the central processing unit 100 may execute the program stored in the memory 140 to implement information storage or processing.
  • the input unit 120 provides input to the central processing unit 100.
  • the input unit 120 is, for example, a key input or a touch input device.
  • the power source 170 is used to provide power to the electronic device 600.
  • the display 160 is used for displaying display objects such as images and characters.
  • the display may be, for example, an LCD display, but is not limited thereto.
  • the memory 140 may be a solid-state memory, such as a read-only memory (ROM), a random access memory (RAM), a SIM card, and the like. It may also be a memory that holds information even when power is off, can be selectively erased, and is provided with more data. An example of this memory is sometimes called EPROM or the like.
  • the memory 140 may also be some other type of device.
  • the memory 140 includes a buffer memory 141 (sometimes referred to as a buffer).
  • the memory 140 may include an application / function storage section 142 for storing application programs and function programs or a flow for performing operations of the electronic device 600 through the central processing unit 100.
  • the memory 140 may further include a data storage section 143 for storing data, such as contacts, digital data, pictures, sounds, and / or any other data used by the electronic device.
  • the driver storage section 144 of the memory 140 may include various driver programs for the communication function of the electronic device and / or for performing other functions of the electronic device (such as a messaging application, an address book application, etc.).
  • the communication module 110 is a transmitter / receiver 110 that transmits and receives signals via the antenna 111.
  • a communication module (transmitter / receiver) 110 is coupled to the central processing unit 100 to provide input signals and receive output signals, which may be the same as the case of a conventional mobile communication terminal.
  • multiple communication modules 110 may be provided in the same electronic device, such as a cellular network module, a Bluetooth module, and / or a wireless local area network module.
  • the communication module (transmitter / receiver) 110 is also coupled to the speaker 131 and the microphone 132 via the audio processor 130 to provide audio output via the speaker 131 and to receive audio input from the microphone 132, thereby realizing general telecommunication functions.
  • the audio processor 130 may include any suitable buffers, decoders, amplifiers, and the like.
  • the audio processor 130 is also coupled to the central processing unit 100, thereby enabling recording on the unit through the microphone 132, and enabling sounds stored on the unit to be played through the speaker 131.
  • An embodiment of the present application further provides a computer-readable storage medium capable of realizing all the steps in the computing power trading method in the foregoing embodiment.
  • the computer-readable storage medium stores a computer program, and the computer program is executed by a processor. All the steps of the hash power trading method in the above embodiment are implemented at any time. For example, when the processor executes the computer program, the following steps are implemented:
  • Step S1 Obtain an initial logic circuit and corresponding input data sent by the demander
  • Step S2 Generate a computing power of the initial logic circuit according to a preset weight value of the logic gate
  • Step S3 Receive the withholding digital assets of the corresponding demander according to the computing power
  • Step S4 generating a computing task according to the initial logic circuit and the input data, and sending the computing task to an outsourced computing device;
  • Step S5 Receive and verify the calculation result sent by the outsourced computing device
  • Step S6 When the calculation result is correct, send the withholding digital assets of the demander to the outsourced computing device.
  • the embodiments of the present application provide a computer-readable storage medium that can accurately measure the computing power and accurately verify the calculation results, guarantee the fairness of the computing power transactions, and convert the demand-side calculation functions at the same time. And input data to ensure the security of privacy in the process of computing power transactions. In addition, by withholding digital assets, the interests of both the demander and the outsourcer are not harmed, further ensuring the security and fairness of the transaction.
  • the embodiments of the present invention may be provided as a method, a system, or a computer program product. Therefore, the present invention may take the form of an entirely hardware embodiment, an entirely software embodiment, or an embodiment combining software and hardware aspects. Moreover, the present invention may take the form of a computer program product implemented on one or more computer-usable storage media (including, but not limited to, disk storage, CD-ROM, optical storage, etc.) containing computer-usable program code.
  • computer-usable storage media including, but not limited to, disk storage, CD-ROM, optical storage, etc.
  • These computer program instructions may also be stored in a computer-readable memory capable of directing a computer or other programmable data processing device to work in a specific manner such that the instructions stored in the computer-readable memory produce a manufactured article including an instruction device, the instructions
  • the device implements the functions specified in one or more flowcharts and / or one or more blocks of the block diagram.
  • These computer program instructions can also be loaded onto a computer or other programmable data processing device, so that a series of steps can be performed on the computer or other programmable device to produce a computer-implemented process, which can be executed on the computer or other programmable device.
  • the instructions provide steps for implementing the functions specified in one or more flowcharts and / or one or more blocks of the block diagrams.

Abstract

一种算力交易方法及计算通道。该方法包括：获取需求方发送的初始逻辑电路及对应的输入数据(S1)；根据逻辑门预设权重值，生成初始逻辑电路的算力(S2)；根据算力，接收相应的需求方的预扣数字资产(S3)；根据初始逻辑电路与输入数据生成计算任务，将计算任务发送至外包计算装置(S4)；接收并验证外包计算装置发送的计算结果(S5)；当计算结果正确时，将需求方的预扣数字资产发送至外包计算装置(S6)。所述方法通过对算力准确度量及对计算结果进行准确验证，保证算力交易的公平性，同时通过转换需求方的计算函数及输入数据，保证算力交易过程中隐私的安全性。此外，通过预扣数字资产的方式，保证需求方与外包方的利益均不受损害，进一步确保了交易的安全性与公平性。

Description

一种算力交易方法及计算通道 技术领域
本发明涉及算力交易领域，尤指一种算力交易方法及计算通道。
背景技术
随着在语音、图像及无人驾驶等人工智能应用规模快速发展和深度学习算法的不断深入优化，计算任务越来越趋向计算密集型任务，传统的气象数据、基因数据、癌症治疗等大规模科学计算也是需要尽可能多的计算资源。对那些计算能力有限的用户来说，独立完成计算并不是件容易的事情，需要外包给其他计算资源进行计算，这种算力的交易存在以下问题需要解决：1、安全计算：需要确保客户的信息不会外泄，并能够实现正确的计算，且客户需要能够对计算结果进行验证。2、算力的度量：按照实际计算量准确度量计算资源需求，避免算力浪费，并做准确的计费。3、算力结算：保证计算费用能按照约定正确结算给计算资源提供方，且能对交易纠纷实施仲裁。
目前几个有名的全球公共资源计算项目，包括SETI(外星智能探索)项目、IBM的“World Community Grid”(WCG，全球网格大同盟)项目、BOINC(伯克利公开网络计算基础设施)，都是利用一切闲置的计算资源来进行科学研究，如清洁水源、癌症治疗和清洁能源等。这些全球计算项目靠志愿者贡献计算资源来进行，只能吸引小众志愿者参与，没有一个有效的手段激励全球闲置计算资源的加入，并定义和执行相应的权利和义务。
云计算本质上就是中心化的计算资源提供方，用户可按需付费使用。在云环境上，用户没法准确评估计算资源需求，仍习惯于购买多余的服务器，最终导致空闲；云计算需要把数据保存到云端，同时由于硬件基础设施是在云提供商的控制之下，很难保证数据何计算的隐私安全；计算资源还是按照使用时长计费，没法真正按需付费使用，且交易的控制权在云平台，很难保证算力交易的公平性。
此外，目前的区块链技术体系还是需要矿工来执行交易，并支付给矿工交易费，这种交易执行方式存在以下问题：算力浪费：目前的区块链系统确保链正确性的方法可以归结为让每个节点(包括非矿工节点)自己验证区块，通过运行接收到的每个新区块中打包的交易来验证区块的正确性，尽管不会得到奖励，这实际上造成了算力的浪费。算力限制：目前以以太坊为代表的区块链平台中，存在一种“燃料限制(gaslimit)”，限制了交易允许使用的算力资源。算力的度量不准确：目前以以太坊为代表的区块链平台，以编译后的虚拟机指令来度量计算资源需求，但是虚拟机指令粒度不够细，度量的精确度不够。
发明内容
为了解决目前区块链技术中算力浪费、算力度量不准确及交易不安全、不公平的问题，本发明实施例提供一种算力交易方法，所述方法包括：
获取需求方发送的初始逻辑电路及对应的输入数据；
根据逻辑门预设权重值，生成所述初始逻辑电路的算力；
根据所述算力，接收相应的所述需求方的预扣数字资产；
根据所述初始逻辑电路与输入数据生成计算任务，将所述计算任务发送至外包计算装置；
接收并验证所述外包计算装置发送的计算结果；
当所述计算结果正确时，将所述需求方的预扣数字资产发送至所述外包计算装置。
可选的，在本发明一实施中，所述根据所述初始逻辑电路与输入数据生成计算任务，将所述计算任务发送至外包计算装置，包括：将所述初始逻辑电路拆分为多个子逻辑电路；将所述初始逻辑电路对应的输入数据拆分为与多个子逻辑电路一一对应的子输入数据；根据各子逻辑电路与对应的子输入数据，生成对应的计算子任务；将各计算子任务发送给至少一外包计算装置。
可选的，在本发明一实施中，所述验证所述外包计算装置发送的计算结果，包括：根据所述计算任务、所述计算结果及预设的安全参数，生成计算证明；判读所述计算证明是否正确；当所述计算证明正确时，则所述计算结果正确。
可选的，在本发明一实施中，所述方法还包括：接收所述外包计算装置的质押数字资产后，将所述计算任务发送至所述外包计算装置。
本发明实施例还提供一种算力交易的计算通道，所述计算通道包括：
获取单元，用于获取需求方发送的初始逻辑电路及对应的输入数据；
计算单元，用于根据逻辑门预设权重值，生成所述初始逻辑电路的算力；
预扣单元，用于根据所述算力预扣相应的所述需求方的数字资产；
发布单元，用于根据所述初始逻辑电路与输入数据生成计算任务，将所述计算任务发送至外包计算装置；
验证单元，用于接收并验证所述外包计算装置发送的计算结果；
结算单元，用于当所述计算结果正确时，将预扣的所述需求方的数字资产发送至所述外包计算装置。
可选的，在本发明一实施中，所述发布单元包括：子电路模块，用于将所述初始逻辑电路拆分为多个子逻辑电路；子数据模块，用于将所述初始逻辑电路对应的输入数据拆分为与多个子逻辑电路一一对应的子输入数据；子任务模块，用于根据各子逻辑电路与对应的子输入数据，生成对应的计算子任务；发布模块，用于将各计算子任务发送给至少一外包计算装置。
可选的，在本发明一实施中，所述验证单元包括：证明模块，用于根据所述计算任务、所述计算结果及预设的安全参数，生成计算证明；判断模块，用于判读所述计算证明是否正确；当所述计算证明正确时，则所述计算结果正确。
可选的，在本发明一实施中，所述计算通道还包括：质押单元，用于接收所述外包计算装置的质押数字资产。
本发明实施例还提供一种计算机设备，包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序，所述处理器执行所述计算机程序时实现以下步骤：
获取需求方发送的初始逻辑电路及对应的输入数据；
根据逻辑门预设权重值，生成所述初始逻辑电路的算力；
根据所述算力，接收相应的所述需求方的预扣数字资产；
根据所述初始逻辑电路与输入数据生成计算任务，将所述计算任务发送至外包计算装置；
接收并验证所述外包计算装置发送的计算结果；
当所述计算结果正确时，将所述需求方的预扣数字资产发送至所述外包计算装置。
本发明实施例还提供一种计算机可读存储介质，其上存储有计算机程序，所述计算机程序被处理器执行时实现以下步骤：
获取需求方发送的初始逻辑电路及对应的输入数据；
根据逻辑门预设权重值，生成所述初始逻辑电路的算力；
根据所述算力，接收相应的所述需求方的预扣数字资产；
根据所述初始逻辑电路与输入数据生成计算任务，将所述计算任务发送至外包计算装置；
接收并验证所述外包计算装置发送的计算结果；
当所述计算结果正确时，将所述需求方的预扣数字资产发送至所述外包计算装置。
本发明通过对算力准确的度量及对计算结果进行准确验证，保证算力交易的公平性，同时通过转换需求方的计算函数及输入数据，保证算力交易过程中隐私的安全性。此外，通过 预扣数字资产的方式，保证需求方与外包方的利益均不受损害，进一步确保了交易的安全性与公平性。
附图说明
为了更清楚地说明本发明实施例或现有技术中的技术方案，下面将对实施例描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动性的前提下，还可以根据这些附图获得其他的附图。
图1为本发明实施例一种算力交易方法的流程图；
图2A及图2B为本发明实施例一种算力交易方法的布尔电路示意图；
图3为本发明实施例一种算力交易的计算通道的结构示意图；
图4为本申请实施例中的电子设备的结构示意图。
具体实施方式
本发明实施例提供一种算力交易方法及计算通道。
下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本发明一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普通技术人员在没有作出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。
如图1所示为本发明实施例一种算力交易方法的流程图，图中所示方法包括：
步骤S1，获取需求方发送的初始逻辑电路及对应的输入数据；
步骤S2，根据逻辑门预设权重值，生成初始逻辑电路的算力；
步骤S3，根据算力，接收相应的需求方的预扣数字资产；
步骤S4，根据初始逻辑电路与输入数据生成计算任务，将计算任务发送至外包计算装置；
步骤S5，接收并验证外包计算装置发送的计算结果；
步骤S6，当计算结果正确时，将需求方的预扣数字资产发送至外包计算装置。
在本实施例中，图1所示方法的执行主体可以为计算机。需求方将需要进行计算的计算逻辑编译成布尔电路，即初始逻辑电路，接收初始逻辑电路以及对应的输入数据。布尔电路由几类基础的逻辑门构成，包括与门、或门、异或门和非门，每个门的消耗的算力不同，可通过预设不同逻辑门的权重值来计算初始逻辑电路的算力。
布尔电路每个逻辑门的计算都需要消耗一定的资源，相同种类的门消耗资源相同，可用数字来量化不同种类的逻辑门需要的算力，整个布尔电路所有逻辑门算力的累加值就是整个布尔电路的算力需求。如图2A及图2B所示为本发明实施例一种算力交易方法的布尔电路示意图。其中，图2A为全加器的布尔电路转换示意图，图2B为两位加法器的布尔电路图。图2A中可看出，利用真值表、逻辑表达式与逻辑符合可以得到相应的布尔电路图。图2B中，预设逻辑门的权重值，即预设各逻辑门的算力，例如，异或门：100，非门：200，与门：300，或门(一般用两个异或加一个与门表示)：500，各不同逻辑门的预设权重值可依照其不同的运算复杂程度进行预设。对所有逻辑门的预设权重值进行累加，可以得到图2B中两位加法器的算力为2600。
通过将计算逻辑转换为布尔电路后，可准确的度量需求方所需的算力。度量算力之后，需要预扣需求方的部分数字资产，即预扣数字资产。其中，数字资产可以为虚拟货币，例如token等。根据初始逻辑电路与对应的输入数据生成计算任务，其中，为了进一步保证需求方隐私安全，可将初始逻辑电路与对应的输入数据进行封装打包，确保外包计算装置无法得知初始逻辑电路与对应的输入数据的具体内容。
外包计算装置提供计算资源，完成计算任务后返回计算结果。对计算结果利用VC(可验证计算)进行验证，以保证外包装置提供的计算结果是正确的。验证计算结果正确后，将需求方的预扣数字资产发送给外包计算装置，完成算力交易。
作为本发明的一个实施例，根据初始逻辑电路与输入数据生成计算任务，将计算任务发送至外包计算装置，包括：将初始逻辑电路拆分为多个子逻辑电路；将初始逻辑电路对应的输入数据拆分为与多个子逻辑电路一一对应的子输入数据；根据各子逻辑电路与对应的子输入数据，生成对应的计算子任务；将各计算子任务发送给至少一外包计算装置。
在本实施例中，根据需求方的不同要求以及外包计算装置的算力限制，可先将初始逻辑电路进行拆分。其中，可预先设置拆分策略，按照拆分策略将初始逻辑电路拆分为多个子逻辑电路。同样的，将输入数据拆分成与各子逻辑电路一一对应的子输入数据。将子逻辑电路与其对应的子输入数据封装成计算子任务，并将每一计算子任务发送至至少一个外包计算装置。根据不同的需求，可将同一计算子任务分发给多个不同的外包计算装置，此时，再通过预设规则，对进行同一计算子任务的外包计算装置提供的计算结果进行筛选。
作为本发明的一个实施例，验证外包计算装置发送的计算结果，包括：根据计算任务、计算结果及预设的安全参数，生成计算证明；判读计算证明是否正确；当计算证明正确时，则计算结果正确。
在本实施例中，计算任务中包括计算逻辑(计算函数)及其对应的输入数据。对计算结果的验证通过VC(可验证计算)进行验证，根据预设的安全参数λ生成公共参数PP(PP←ParamGen(λ))；或，根据预设的安全参数λ和计算函数f生成公共参数PP(PP←ParamGen(λ,f))。根据计算任务、计算任务对应的计算结果和公共参数，生成计算结果对应的的计算证明π(π←GenProof(PP,T i,f,R im))。其中，R im为计算结果，T i为计算子任务(若计算任务被拆分时)。当计算证明π正确时，π＝1，则计算结果正确。当计算证明π不正确时，π＝0，丢弃计算证明π对应的计算结果，由此可以在短时间验证计算结果是否正确。
作为本发明的一个实施例，该方法还包括：接收外包计算装置的质押数字资产后，将计算任务发送至外包计算装置。为了防止计算造假，保护需求方利益不被损害，需要预先质押外包计算装置的一部分数字资产，即质押数字资产。提供了质押数字资产的外包计算装置才可以接收计算任务，一旦发现计算作假，则扣除质押数字资产。
此外，该方法还包括异议过程，在需求方对计算结果不满意时，可提出异议。在这期间，允许算力交易双方线下协商后，发起双方签名的交易，取消结算，将预扣的虚拟货币退还给计算需求方。协商不成的情况下，计算需求方也可以发起投诉，由第三方(称为验证者)进行验证，如果多个(可设定数量)验证者能提出一致的新的计算证明，可判定计算资源方存在欺诈行为，并扣除计算资源方质押的保证金，扣除的保证金一部分返还给计算需求方，一部分用于奖励验证者。
通过本发明的算力交易方法，对算力准确的度量及对计算结果进行准确验证，保证算力交易的公平性，同时通过转换需求方的计算函数及输入数据，保证算力交易过程中隐私的安全性。此外，通过预扣数字资产的方式，保证需求方与外包方的利益均不受损害，进一步确保了交易的安全性与公平性。
基于同一发明构思，本发明实施例还提供了一种算力交易的计算通道，由于该计算通道解决问题的原理与算力交易方法相似，因此该计算通道的实施可以参见方法的实施，重复之处不再赘述。
如图3所示为本发明实施例一种算力交易的计算通道的结构示意图。图中所示计算通道包括：获取单元10，用于获取需求方发送的初始逻辑电路及对应的输入数据；
计算单元20，用于根据逻辑门预设权重值，生成初始逻辑电路的算力；
预扣单元30，用于根据算力预扣相应的需求方的数字资产；
发布单元40，用于根据初始逻辑电路与输入数据生成计算任务，将计算任务发送至外包计算装置；
验证单元50，用于接收并验证外包计算装置发送的计算结果；
结算单元60，用于当计算结果正确时，将预扣的需求方的数字资产发送至外包计算装置。
在本实施例中，需求方将需要进行计算的计算逻辑编译成布尔电路，即初始逻辑电路，接收初始逻辑电路以及对应的输入数据。布尔电路由几类基础的逻辑门构成，包括与门、或门、异或门和非门，每个门的消耗的算力不同，可通过预设不同逻辑门的权重值来计算初始逻辑电路的算力。
通过将计算逻辑转换为布尔电路后，可准确的度量需求方所需的算力。度量算力之后，需要预扣需求方的部分数字资产，即预扣数字资产。其中，数字资产可以为虚拟货币，例如token等。根据初始逻辑电路与对应的输入数据生成计算任务，其中，为了进一步保证需求方隐私安全，可将初始逻辑电路与对应的输入数据进行封装打包，确保外包计算装置无法得知初始逻辑电路与对应的输入数据的具体内容。
外包计算装置提供计算资源，完成计算任务后返回计算结果。对计算结果利用VC(可验证计算)进行验证，以保证外包装置提供的计算结果是正确的。验证计算结果正确后，将需求方的预扣数字资产发送给外包计算装置，完成算力交易。
作为本发明的一个实施例，发布单元40包括：子电路模块，用于将初始逻辑电路拆分为多个子逻辑电路；子数据模块，用于将初始逻辑电路对应的输入数据拆分为与多个子逻辑电路一一对应的子输入数据；子任务模块，用于根据各子逻辑电路与对应的子输入数据，生成对应的计算子任务；发布模块，用于将各计算子任务发送给至少一外包计算装置。
作为本发明的一个实施例，验证单元50包括：证明模块，用于根据计算任务、计算结果及预设的安全参数，生成计算证明；判断模块，用于判读计算证明是否正确；当计算证明正确时，则计算结果正确。
作为本发明的一个实施例，计算通道还包括：质押单元，用于接收外包计算装置的质押数字资产。
此外，计算通过还包括异议单元，用于在需求方对计算结果不满意时，可提出异议。计算结束后，每一个参与方都可以往计算通道合约中发送一个交易，从而关闭这个通道并开始一个结算的过程。计算通道不会马上进行结算，会启动一个时间区间,在这期间，允许算力交易双方线下协商后，向计算通道发起双方签名的交易，取消结算，将预扣的虚拟货币退还给计算需求方。协商不成的情况下，计算需求方也可以向计算通道发起投诉，由第三方(称为验证者)进行验证，如果多个(可设定数量)验证者能提出一致的新的计算证明，计算通道 可判定计算资源方存在欺诈行为，计算通道合约扣除计算资源方质押的保证金，扣除的保证金一部分返还给计算需求方，一部分用于奖励验证者。
通过本发明算力交易的计算通道，对算力准确的度量及对计算结果进行准确验证，保证算力交易的公平性，同时通过转换需求方的计算函数及输入数据，保证算力交易过程中隐私的安全性。此外，通过预扣数字资产的方式，保证需求方与外包方的利益均不受损害，进一步确保了交易的安全性与公平性。
本申请的实施例还提供能够实现上述实施例中的算力交易方法中全部步骤的一种电子设备的具体实施方式，所述电子设备具体包括如下内容：
处理器(processor)、存储器(memory)、通信接口(Communications Interface)和总线；其中，所述处理器、存储器、通信接口通过所述总线完成相互间的通信；所述通信接口603用于实现医学标签推荐系统以及用户终端等相关设备之间的信息传输；该电子设备可以是台式计算机、平板电脑及移动终端等，本实施例不限于此。在本实施例中，该电子设备可以参照实施例算力交易方法的实施例及算力交易的计算通道的实施例进行实施，其内容被合并于此，重复之处不再赘述。
图4为本申请实施例的电子设备600的系统构成的示意框图。如图4所示，该电子设备600可以包括中央处理器100和存储器140；存储器140耦合到中央处理器100。值得注意的是，该图是示例性的；还可以使用其他类型的结构，来补充或代替该结构，以实现电信功能或其他功能。
一实施例中，用于P2P网络的计算资源查找功能可以被集成到中央处理器100中。其中，中央处理器100可以被配置为进行如下控制：步骤S1：获取需求方发送的初始逻辑电路及对应的输入数据；步骤S2：根据逻辑门预设权重值，生成所述初始逻辑电路的算力；步骤S3：根据所述算力，接收相应的所述需求方的预扣数字资产；步骤S4：根据所述初始逻辑电路与输入数据生成计算任务，将所述计算任务发送至外包计算装置；步骤S5：接收并验证所述外包计算装置发送的计算结果；步骤S6：当所述计算结果正确时，将所述需求方的预扣数字资产发送至所述外包计算装置。
从上述描述可知，本申请的实施例提供一种电子设备，可对算力准确的度量及对计算结果进行准确验证，保证算力交易的公平性，同时通过转换需求方的计算函数及输入数据，保证算力交易过程中隐私的安全性。此外，通过预扣数字资产的方式，保证需求方与外包方的利益均不受损害，进一步确保了交易的安全性与公平性。
在另一个实施方式中，算力交易的计算通道可以与中央处理器100分开配置，例如可以将算力交易的计算通道配置为与中央处理器100连接的芯片，通过中央处理器的控制来实现 算力交易功能。
如图4所示，该电子设备600还可以包括：通信模块110、输入单元120、音频处理单元130、显示器160、电源170。值得注意的是，电子设备600也并不是必须要包括图4中所示的所有部件；此外，电子设备600还可以包括图4中没有示出的部件，可以参考现有技术。
如图4所示，中央处理器100有时也称为控制器或操作控件，可以包括微处理器或其他处理器装置和/或逻辑装置，该中央处理器100接收输入并控制电子设备600的各个部件的操作。
其中，存储器140，例如可以是缓存器、闪存、硬驱、可移动介质、易失性存储器、非易失性存储器或其它合适装置中的一种或更多种。可储存上述与失败有关的信息，此外还可存储执行有关信息的程序。并且中央处理器100可执行该存储器140存储的该程序，以实现信息存储或处理等。
输入单元120向中央处理器100提供输入。该输入单元120例如为按键或触摸输入装置。电源170用于向电子设备600提供电力。显示器160用于进行图像和文字等显示对象的显示。该显示器例如可为LCD显示器，但并不限于此。
该存储器140可以是固态存储器，例如，只读存储器(ROM)、随机存取存储器(RAM)、SIM卡等。还可以是这样的存储器，其即使在断电时也保存信息，可被选择性地擦除且设有更多数据，该存储器的示例有时被称为EPROM等。存储器140还可以是某种其它类型的装置。存储器140包括缓冲存储器141(有时被称为缓冲器)。存储器140可以包括应用/功能存储部142，该应用/功能存储部142用于存储应用程序和功能程序或用于通过中央处理器100执行电子设备600的操作的流程。
存储器140还可以包括数据存储部143，该数据存储部143用于存储数据，例如联系人、数字数据、图片、声音和/或任何其他由电子设备使用的数据。存储器140的驱动程序存储部144可以包括电子设备的用于通信功能和/或用于执行电子设备的其他功能(如消息传送应用、通讯录应用等)的各种驱动程序。
通信模块110即为经由天线111发送和接收信号的发送机/接收机110。通信模块(发送机/接收机)110耦合到中央处理器100，以提供输入信号和接收输出信号，这可以和常规移动通信终端的情况相同。
基于不同的通信技术，在同一电子设备中，可以设置有多个通信模块110，如蜂窝网络模块、蓝牙模块和/或无线局域网模块等。通信模块(发送机/接收机)110还经由音频处理器130耦合到扬声器131和麦克风132，以经由扬声器131提供音频输出，并接收来自麦克风132的音频输入，从而实现通常的电信功能。音频处理器130可以包括任何合适的缓冲器、解 码器、放大器等。另外，音频处理器130还耦合到中央处理器100，从而使得可以通过麦克风132能够在本机上录音，且使得可以通过扬声器131来播放本机上存储的声音。
本申请的实施例还提供能够实现上述实施例中的算力交易方法中全部步骤的一种计算机可读存储介质，所述计算机可读存储介质上存储有计算机程序，该计算机程序被处理器执行时实现上述实施例中的算力交易方法的全部步骤，例如，所述处理器执行所述计算机程序时实现下述步骤：
步骤S1，获取需求方发送的初始逻辑电路及对应的输入数据；
步骤S2，根据逻辑门预设权重值，生成初始逻辑电路的算力；
步骤S3，根据算力，接收相应的需求方的预扣数字资产；
步骤S4，根据初始逻辑电路与输入数据生成计算任务，将计算任务发送至外包计算装置；
步骤S5，接收并验证外包计算装置发送的计算结果；
步骤S6，当计算结果正确时，将需求方的预扣数字资产发送至外包计算装置。
从上述描述可知，本申请的实施例提供一种计算机可读存储介质，可对算力准确的度量及对计算结果进行准确验证，保证算力交易的公平性，同时通过转换需求方的计算函数及输入数据，保证算力交易过程中隐私的安全性。此外，通过预扣数字资产的方式，保证需求方与外包方的利益均不受损害，进一步确保了交易的安全性与公平性。
本领域内的技术人员应明白，本发明的实施例可提供为方法、系统、或计算机程序产品。因此，本发明可采用完全硬件实施例、完全软件实施例、或结合软件和硬件方面的实施例的形式。而且，本发明可采用在一个或多个其中包含有计算机可用程序代码的计算机可用存储介质(包括但不限于磁盘存储器、CD-ROM、光学存储器等)上实施的计算机程序产品的形式。
本发明是参照根据本发明实施例的方法、设备(系统)、和计算机程序产品的流程图和/或方框图来描述的。应理解可由计算机程序指令实现流程图和/或方框图中的每一流程和/或方框、以及流程图和/或方框图中的流程和/或方框的结合。可提供这些计算机程序指令到通用计算机、专用计算机、嵌入式处理机或其他可编程数据处理设备的处理器以产生一个机器，使得通过计算机或其他可编程数据处理设备的处理器执行的指令产生用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的装置。
这些计算机程序指令也可存储在能引导计算机或其他可编程数据处理设备以特定方式工作的计算机可读存储器中，使得存储在该计算机可读存储器中的指令产生包括指令装置的制 造品，该指令装置实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能。
这些计算机程序指令也可装载到计算机或其他可编程数据处理设备上，使得在计算机或其他可编程设备上执行一系列操作步骤以产生计算机实现的处理，从而在计算机或其他可编程设备上执行的指令提供用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的步骤。
本发明中应用了具体实施例对本发明的原理及实施方式进行了阐述，以上实施例的说明只是用于帮助理解本发明的方法及其核心思想；同时，对于本领域的一般技术人员，依据本发明的思想，在具体实施方式及应用范围上均会有改变之处，综上所述，本说明书内容不应理解为对本发明的限制。

Claims (10)

  1. 一种算力交易方法，其特征在于，所述方法包括：
    获取需求方发送的初始逻辑电路及对应的输入数据；
    根据逻辑门预设权重值，生成所述初始逻辑电路的算力；
    根据所述算力，接收相应的所述需求方的预扣数字资产；
    根据所述初始逻辑电路与输入数据生成计算任务，将所述计算任务发送至外包计算装置；
    接收并验证所述外包计算装置发送的计算结果；
    当所述计算结果正确时，将所述需求方的预扣数字资产发送至所述外包计算装置。
  2. 根据权利要求1所述的方法，其特征在于，所述根据所述初始逻辑电路与输入数据生成计算任务，将所述计算任务发送至外包计算装置，包括：
    将所述初始逻辑电路拆分为多个子逻辑电路；
    将所述初始逻辑电路对应的输入数据拆分为与多个子逻辑电路一一对应的子输入数据；
    根据各子逻辑电路与对应的子输入数据，生成对应的计算子任务；
    将各计算子任务发送给至少一外包计算装置。
  3. 根据权利要求1所述的方法，其特征在于，所述验证所述外包计算装置发送的计算结果，包括：
    根据所述计算任务、所述计算结果及预设的安全参数，生成计算证明；
    判读所述计算证明是否正确；当所述计算证明正确时，则所述计算结果正确。
  4. 根据权利要求1所述的方法，其特征在于，所述方法还包括：接收所述外包计算装置的质押数字资产后，将所述计算任务发送至所述外包计算装置。
  5. 一种算力交易的计算通道，其特征在于，所述计算通道包括：
    获取单元，用于获取需求方发送的初始逻辑电路及对应的输入数据；
    计算单元，用于根据逻辑门预设权重值，生成所述初始逻辑电路的算力；
    预扣单元，用于根据所述算力预扣相应的所述需求方的数字资产；
    发布单元，用于根据所述初始逻辑电路与输入数据生成计算任务，将所述计算任务发送至外包计算装置；
    验证单元，用于接收并验证所述外包计算装置发送的计算结果；
    结算单元，用于当所述计算结果正确时，将预扣的所述需求方的数字资产发送至所述外包计算装置。
  6. 根据权利要求5所述的计算通道，其特征在于，所述发布单元包括：
    子电路模块，用于将所述初始逻辑电路拆分为多个子逻辑电路；
    子数据模块，用于将所述初始逻辑电路对应的输入数据拆分为与多个子逻辑电路一一对应的子输入数据；
    子任务模块，用于根据各子逻辑电路与对应的子输入数据，生成对应的计算子任务；
    发布模块，用于将各计算子任务发送给至少一外包计算装置。
  7. 根据权利要求5所述的计算通道，其特征在于，所述验证单元包括：
    证明模块，用于根据所述计算任务、所述计算结果及预设的安全参数，生成计算证明；
    判断模块，用于判读所述计算证明是否正确；当所述计算证明正确时，则所述计算结果正确。
  8. 根据权利要求5所述的计算通道，其特征在于，所述计算通道还包括：质押单元，用于接收所述外包计算装置的质押数字资产。
  9. 一种电子设备，包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序，其特征在于，所述处理器执行所述程序时实现权利要求1至4任一项所述算力交易方法的步骤。
  10. 一种计算机可读存储介质，其上存储有计算机程序，其特征在于，该计算机程序被处理器执行时实现权利要求1至4任一项所述算力交易方法的步骤。
PCT/CN2019/092680 2018-07-10 2019-06-25 一种算力交易方法及计算通道 WO2020011010A1 (zh)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
CN201810750034.0 2018-07-10
CN201810750034.0A CN109064329B (zh) 2018-07-10 2018-07-10 一种算力交易方法及装置

Publications (1)

Publication Number Publication Date
WO2020011010A1 true WO2020011010A1 (zh) 2020-01-16

Family

ID=64819382

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/CN2019/092680 WO2020011010A1 (zh) 2018-07-10 2019-06-25 一种算力交易方法及计算通道

Country Status (2)

Country Link
CN (1) CN109064329B (zh)
WO (1) WO2020011010A1 (zh)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109064329B (zh) * 2018-07-10 2022-09-30 矩阵元技术（深圳）有限公司 一种算力交易方法及装置
CN109886791A (zh) * 2018-12-28 2019-06-14 无锡井通网络科技有限公司 算力交易方法、装置、电子设备及存储介质
CN111787034B (zh) * 2019-04-03 2024-01-16 北京邦天信息技术有限公司 区块生成方法、同步方法、装置、区块链系统和存储介质

Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103414576A (zh) * 2013-07-24 2013-11-27 广东电子工业研究院有限公司 一种云计算资源使用计费方法
US20160330034A1 (en) * 2015-05-07 2016-11-10 Blockstream Corporation Transferring ledger assets between blockchains via pegged sidechains
CN106529932A (zh) * 2016-11-01 2017-03-22 西安电子科技大学 一种基于比特币的外包计算公平支付方法
CN107579814A (zh) * 2017-08-03 2018-01-12 北京比特大陆科技有限公司 工作量证明的计算方法的装置、计算芯片、挖矿机
CN108009823A (zh) * 2017-11-03 2018-05-08 厦门快商通信息技术有限公司 基于区块链智能合约的分布式算力资源的调用方法和系统
CN109064329A (zh) * 2018-07-10 2018-12-21 矩阵元技术（深圳）有限公司 一种算力交易方法及计算通道

Family Cites Families (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20030101085A1 (en) * 2001-11-20 2003-05-29 Butler Herbert F. Method and system for vendor communication
US20120053992A1 (en) * 2010-08-30 2012-03-01 Ricoh Company, Ltd. Techniques for pricing a task
US10417226B2 (en) * 2015-05-29 2019-09-17 International Business Machines Corporation Estimating the cost of data-mining services
CN106789118B (zh) * 2016-11-28 2020-11-17 上海交通大学 基于服务等级协议的云计算计费方法
CN107248973B (zh) * 2017-03-23 2021-06-04 上海大学 一种基于双台云服务器针对两个双线性对的安全外包方法

Patent Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103414576A (zh) * 2013-07-24 2013-11-27 广东电子工业研究院有限公司 一种云计算资源使用计费方法
US20160330034A1 (en) * 2015-05-07 2016-11-10 Blockstream Corporation Transferring ledger assets between blockchains via pegged sidechains
CN106529932A (zh) * 2016-11-01 2017-03-22 西安电子科技大学 一种基于比特币的外包计算公平支付方法
CN107579814A (zh) * 2017-08-03 2018-01-12 北京比特大陆科技有限公司 工作量证明的计算方法的装置、计算芯片、挖矿机
CN108009823A (zh) * 2017-11-03 2018-05-08 厦门快商通信息技术有限公司 基于区块链智能合约的分布式算力资源的调用方法和系统
CN109064329A (zh) * 2018-07-10 2018-12-21 矩阵元技术（深圳）有限公司 一种算力交易方法及计算通道

Also Published As

Publication number Publication date
CN109064329B (zh) 2022-09-30
CN109064329A (zh) 2018-12-21

Similar Documents

Publication Publication Date Title
CN110163590B (zh) 基于区块链的缴费代扣方法及装置、电子设备、存储介质
CN110175913A (zh) 基于区块链的数据处理系统、方法、计算设备及存储介质
CN110428257B (zh) 密码破解任务处理方法、设备及存储介质
CN106504094B (zh) 基于区块链技术的分布式总账系统的交易撮合方法及系统
CN108833398A (zh) 一种区块链智能合约更新方法、装置及设备
WO2020011010A1 (zh) 一种算力交易方法及计算通道
TWM543413U (zh) 利用區塊鏈技術進行交易的網路借貸平台
TW202036434A (zh) 基於區塊鏈的轉帳方法、系統、計算設備及儲存媒體
US20190114707A1 (en) Distribution of Blockchain Tokens
Wright et al. SmartEdge: A smart contract for edge computing
CN109493204A (zh) 基于区块链的业务记账方法及终端设备
TW202016820A (zh) 區塊鏈交易方法及裝置、電子設備
Dorsala et al. Fair payments for verifiable cloud services using smart contracts
CN110008716A (zh) 区块链交易方法及装置、电子设备、存储介质
Kehrli Blockchain 2.0-from bitcoin transactions to smart contract applications
CN110033370A (zh) 账户创建方法及装置、电子设备、存储介质
CN110197433A (zh) 数值转移方法、装置及系统
Liu et al. Smart contract-based long-term auction for mobile blockchain computation offloading
CN110992211A (zh) 一种基于bim的合约管理方法
Jain et al. Auction based cost‐efficient resource allocation by utilizing blockchain in fog computing
CN110009492A (zh) 区块链交易方法及装置、电子设备、存储介质
CN110009323A (zh) 区块链交易方法及装置、电子设备、存储介质
Shi et al. AWESOME: an auction and witness enhanced SLA model for decentralized cloud marketplaces
CN106302367B (zh) 事务处理方法和系统
CN109325858A (zh) 资源流的交易方法和装置、计算机设备及计算机可读介质

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 19834672

Country of ref document: EP

Kind code of ref document: A1

NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 19834672

Country of ref document: EP

Kind code of ref document: A1