CN109064329B - Calculation power transaction method and device - Google Patents
Calculation power transaction method and device Download PDFInfo
- Publication number
- CN109064329B CN109064329B CN201810750034.0A CN201810750034A CN109064329B CN 109064329 B CN109064329 B CN 109064329B CN 201810750034 A CN201810750034 A CN 201810750034A CN 109064329 B CN109064329 B CN 109064329B
- Authority
- CN
- China
- Prior art keywords
- calculation
- logic circuit
- input data
- outsourcing
- sub
- 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.)
- Active
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
Abstract
The invention provides a calculation power trading method and device. The method comprises the following steps: acquiring an initial logic circuit and corresponding input data sent by a demand side; generating the computing power of the initial logic circuit according to the preset weight value of the logic gate; receiving the pre-deducted digital assets of the corresponding demand party according to the calculation force; generating a calculation task according to the initial logic circuit and the input data, and sending the calculation task to an outsourcing calculation device; receiving and verifying a calculation result sent by the outsourcing calculation device; and when the calculation result is correct, sending the prebuckling digital assets of the demand side to an outsourcing calculation device. The invention ensures the fairness of the computing power transaction by accurately measuring the computing power and accurately verifying the computing result, and simultaneously ensures the security of the privacy in the computing power transaction process by converting the computing function and the input data of the demand side. In addition, through the mode of deducting digital assets in advance, guarantee that the interests of demand side and outsourcing side do not all receive the harm, further guaranteed the security and the fairness of transaction.
Description
Technical Field
The invention relates to the field of computing power trading, in particular to a computing power trading method and a computing power trading device.
Background
With the rapid development of artificial intelligence application scales in voice, images, unmanned driving and the like and the continuous deep optimization of deep learning algorithms, the calculation tasks tend to be more and more calculation intensive tasks, and the traditional large-scale scientific calculations of meteorological data, genetic data, cancer treatment and the like also need as many calculation resources as possible. For those users with limited computing power, it is not easy to complete the computation independently, and the computation needs to be outsourced to other computing resources, and the following problems need to be solved in the computation-intensive transaction: 1. and (4) safety calculation: it is necessary to ensure that the information of the client is not leaked out and that the correct calculation can be performed, and that the client can verify the calculation result. 2. Measurement of computational power: and the computing resource demand is accurately measured according to the actual computing quantity, the waste of computing power is avoided, and accurate charging is carried out. 3. And (4) computing power settlement: the calculation cost can be guaranteed to be correctly settled to a calculation resource provider according to the convention, and the arbitration can be implemented on transaction disputes.
Several famous global public resource computing projects including SETI (extraterrestrial intelligent exploration) project, IBM's World Community Grid (WCG, large union of global Grid) project, and BOINC (berkeley open network computing infrastructure) all utilize all idle computing resources to perform scientific research, such as clean water source, cancer treatment, clean energy, and the like. These global computing projects are performed by volunteers contributing computing resources, and only by volunteers of the minority, and there is no effective means to encourage the joining of global idle computing resources and to define and enforce corresponding rights and obligations.
Cloud computing is essentially a centralized provider of computing resources that users can pay for use on demand. In a cloud environment, a user cannot accurately evaluate the computing resource requirement, still is used to purchase redundant servers, and finally idles; the cloud computing needs to store data to the cloud end, and meanwhile, as hardware infrastructure is controlled by a cloud provider, the privacy and the safety of data computing are difficult to ensure; the computing resources are charged according to the using duration, the computing resources cannot be used by paying according to needs really, the control right of the transaction is on the cloud platform, and the fairness of the computing power transaction is difficult to guarantee.
In addition, the current blockchain technology system still needs miners to execute transactions and pay transaction fees to the miners, and the transaction execution mode has the following problems: the calculation is wasted: current methods of ensuring link correctness in blockchain systems can be summarized as having each node (including non-miners) authenticate the block itself, verifying the correctness of the block by running transactions packaged in each new block received, although no rewards are obtained, which is a substantial waste of effort. And (4) computing power limitation: currently, in a blockchain platform represented by etherhouses, there is a "fuel limit" (gaslimit) that limits the computational resources allowed to be used by transactions. Inaccurate measurement of computational power: at present, a block chain platform represented by etherhouses measures the computing resource demand by using compiled virtual machine instructions, but the granularity of the virtual machine instructions is not fine enough, and the measurement accuracy is not enough.
Disclosure of Invention
In order to solve the problems of computing power waste, inaccurate computing power amount and unsafe and unfair transaction in the current block chain technology, the embodiment of the invention provides a computing power transaction method, which comprises the following steps:
acquiring an initial logic circuit and corresponding input data sent by a demand side;
generating the computing power of the initial logic circuit according to a preset weighted value of a logic gate;
receiving corresponding pre-deducted digital assets of the demand party according to the calculated force;
generating a calculation task according to the initial logic circuit and input data, and sending the calculation task to an outsourcing calculation device;
receiving and verifying a calculation result sent by the outsourcing calculation device;
and when the calculation result is correct, sending the prebuckling digital assets of the demander to the outsourcing calculation device.
Optionally, in an implementation of the present invention, the generating a computation task according to the initial logic circuit and the input data, and sending the computation task to an outsourced computing device includes: splitting the initial logic circuit into a plurality of sub-logic circuits; splitting input data corresponding to the initial logic circuit into sub input data corresponding to a plurality of sub logic circuits one to one; generating corresponding calculation subtasks according to the sub logic circuits and the corresponding sub input data; and sending each computing subtask to at least one outsourced computing device.
Optionally, in an implementation of the present invention, the verifying the calculation result sent by the outsourced calculation device includes: generating a calculation certificate according to the calculation task, the calculation result and a preset safety parameter; interpreting whether the calculation proof is correct; when the calculation proves to be correct, the calculation result is correct.
Optionally, in an implementation of the present invention, the method further includes: and after receiving the pledge digital assets of the outsourcing computing device, sending the computing task to the outsourcing computing device.
The embodiment of the invention also provides a computing power transaction device, which comprises:
the acquisition unit is used for acquiring the initial logic circuit and corresponding input data sent by a demand side;
the calculation unit is used for generating the calculation force of the initial logic circuit according to a preset weight value of a logic gate;
the deduction unit is used for deducting the corresponding digital assets of the demand side in advance according to the calculated force;
the issuing unit is used for generating a calculation task according to the initial logic circuit and input data and sending the calculation task to an outsourcing calculation device;
the verification unit is used for receiving and verifying the calculation result sent by the outsourcing calculation device;
and the settlement unit is used for sending the pre-deducted digital assets of the demander to the outsourcing computing device when the computing result is correct.
Optionally, in an implementation of the present invention, the issuing unit includes: a sub-circuit module for splitting the initial logic circuit into a plurality of sub-logic circuits; the sub data module is used for splitting the input data corresponding to the initial logic circuit into sub input data corresponding to a plurality of sub logic circuits one to one; the subtask module is used for generating corresponding calculation subtasks according to each sub logic circuit and corresponding sub input data; and the issuing module is used for sending each calculation subtask to at least one outsourcing calculation device.
Optionally, in an implementation of the present invention, the verification unit includes: the certification module is used for generating a calculation certification according to the calculation task, the calculation result and preset safety parameters; the judging module is used for judging whether the calculation proof is correct or not; when the calculation proves to be correct, the calculation result is correct.
Optionally, in an implementation of the present invention, the apparatus further includes: and the pledge unit is used for receiving pledge digital assets of the outsourcing computing device.
An embodiment of the present invention further provides a computer device, which includes a memory, a processor, and a computer program stored in the memory and capable of running on the processor, where the processor implements the following steps when executing the computer program:
acquiring an initial logic circuit and corresponding input data sent by a demand side;
generating the computing power of the initial logic circuit according to a logic gate preset weight value;
receiving corresponding pre-deducted digital assets of the demand party according to the calculated force;
generating a calculation task according to the initial logic circuit and input data, and sending the calculation task to an outsourcing calculation device;
receiving and verifying a calculation result sent by the outsourcing calculation device;
and when the calculation result is correct, sending the prebuckling digital assets of the demand side to the outsourcing calculation device.
An embodiment of the present invention further provides a computer-readable storage medium, on which a computer program is stored, where the computer program, when executed by a processor, implements the following steps:
acquiring an initial logic circuit and corresponding input data sent by a demand side;
generating the computing power of the initial logic circuit according to a preset weighted value of a logic gate;
receiving corresponding pre-deducted digital assets of the demand party according to the calculated force;
generating a calculation task according to the initial logic circuit and input data, and sending the calculation task to an outsourcing calculation device;
receiving and verifying a calculation result sent by the outsourcing calculation device;
and when the calculation result is correct, sending the prebuckling digital assets of the demander to the outsourcing calculation device.
The invention ensures the fairness of the computing power transaction by accurately measuring the computing power and accurately verifying the computing result, and simultaneously ensures the security of the privacy in the computing power transaction process by converting the computing function and the input data of the demand side. In addition, through the mode of deducting digital assets in advance, guarantee that the interests of demand side and outsourcing side do not all receive the harm, further guaranteed the security and the fairness of transaction.
Drawings
In order to more clearly illustrate the embodiments of the present invention or the technical solutions in the prior art, the drawings used in the description of the embodiments will be briefly introduced below, and it is obvious that the drawings in the description below are only some embodiments of the present invention, and for those skilled in the art, other drawings can be obtained according to the drawings without inventive labor.
FIG. 1 is a flow chart of a method for computing power trading according to an embodiment of the present invention;
fig. 2A and fig. 2B are schematic diagrams of boolean circuits of a computing power transaction method according to an embodiment of the present invention;
fig. 3 is a schematic structural diagram of a computing power transaction apparatus according to an embodiment of the present invention.
Detailed Description
The embodiment of the invention provides a calculation capacity trading method and device.
The technical solutions in the embodiments of the present invention will be clearly and completely described below with reference to the drawings in the embodiments of the present invention, and it is obvious that the described embodiments are only a part of the embodiments of the present invention, and not all of the embodiments. All other embodiments, which can be obtained by a person skilled in the art without inventive step based on the embodiments of the present invention, are within the scope of protection of the present invention.
Fig. 1 is a flow chart of a method for trading computing power according to an embodiment of the present invention, where the method includes: step S1, acquiring an initial logic circuit and corresponding input data sent by a demand side;
step S2, generating the calculation force of the initial logic circuit according to the preset weight value of the logic gate;
step S3, receiving the pre-deducted digital assets of the corresponding demand party according to the calculation force;
step S4, generating a calculation task according to the initial logic circuit and the input data, and sending the calculation task to an outsourcing calculation device;
step S5, receiving and verifying the calculation result sent by the outsourcing calculation device;
and step S6, when the calculation result is correct, sending the prebuckling digital assets of the demand side to an outsourcing calculation device.
In this embodiment, the execution subject of the method shown in fig. 1 may be a computer. The requiring party compiles the calculation logic required to perform the calculation into a boolean circuit, i.e. an initial logic circuit, which receives the initial logic circuit and the corresponding input data. The Boolean circuit is composed of several types of basic logic gates including an AND gate, an OR gate, an XOR gate and a NOR gate, the calculation power consumed by each gate is different, and the calculation power of the initial logic circuit can be calculated by presetting the weight values of different logic gates.
The calculation of each logic gate of the Boolean circuit needs to consume certain resources, the gates of the same type consume the same resources, the calculation power needed by the logic gates of different types can be quantized by using numbers, and the accumulated value of the calculation power of all the logic gates of the whole Boolean circuit is the calculation power requirement of the whole Boolean circuit. Fig. 2A and fig. 2B are schematic diagrams of boolean circuits of a computing power transaction method according to an embodiment of the invention. Fig. 2A is a schematic diagram of boolean circuit conversion of a full adder, and fig. 2B is a schematic diagram of a boolean circuit of a two-bit adder. As can be seen in fig. 2A, a corresponding boolean circuit diagram may be obtained using a truth table, logic expressions, and logic coincidences. In fig. 2B, the weighted values of the logic gates are preset, that is, the calculation power of each logic gate is preset, for example, the xor gate: 100, NOT gate: 200, and gate: 300, or gate (typically represented by two exclusive ors plus one and gate): 500, the preset weighted values of different logic gates can be preset according to different operation complexity levels. The predetermined weighted values of all the logic gates are accumulated to obtain the computation power 2600 of the two-bit adder in fig. 2B.
By converting the calculation logic into a Boolean circuit, the calculation power required by a demand side can be accurately measured. After the measurement calculation, the part of the digital assets of the demand side needs to be deducted, namely, the deduction digital assets. The digital assets may be virtual currency, such as token, among others. And generating a calculation task according to the initial logic circuit and the corresponding input data, wherein in order to further ensure the privacy and the safety of the demand side, the initial logic circuit and the corresponding input data can be packaged and packed, so that the outsourcing calculation device can not know the specific contents of the initial logic circuit and the corresponding input data.
And the outsourcing computing device provides computing resources and returns a computing result after completing a computing task. The computation results are verified using VC (verifiable computation) to ensure that the computation results provided by the outsourced device are correct. And after the calculation result is verified to be correct, the pre-deducted digital assets of the demand side are sent to an outsourcing calculation device, and the calculation power transaction is completed.
As an embodiment of the invention, the calculation task is generated according to the initial logic circuit and the input data, and is sent to the outsourcing calculation device, and the method comprises the following steps: splitting the initial logic circuit into a plurality of sub-logic circuits; splitting input data corresponding to the initial logic circuit into sub input data corresponding to a plurality of sub logic circuits one to one; generating corresponding calculation subtasks according to the sub logic circuits and the corresponding sub input data; and sending each computing subtask to at least one outsourced computing device.
In this embodiment, the initial logic circuit may be split first according to different requirements of the demanders and the computational power limitation of the outsourced computing device. The splitting strategy can be preset, and the initial logic circuit is split into a plurality of sub-logic circuits according to the splitting strategy. Similarly, the input data is divided into sub-input data corresponding to the sub-logic circuits one to one. And encapsulating the sub-logic circuits and the corresponding sub-input data into computing sub-tasks, and sending each computing sub-task to at least one outsourcing computing device. According to different requirements, the same computation subtask can be distributed to a plurality of different outsourcing computation devices, and at the moment, the computation results provided by the outsourcing computation devices which perform the same computation subtask are screened through a preset rule.
As an embodiment of the present invention, verifying the calculation result sent by the outsource calculation device comprises: generating a calculation certificate according to the calculation task, the calculation result and a preset safety parameter; judging whether the calculation proves to be correct or not; when the calculation proves to be correct, the calculation result is correct.
In this embodiment, the calculation task includes calculation logic (calculation function) and its corresponding input data. Verifying the verification of the calculation result by VC (verifiable calculation), and generating a public parameter PP (PP ← Paramsen (lambda)) according to a preset safety parameter lambda; or, the common parameter PP is generated from a preset security parameter λ and the calculation function f (PP ← ParamGen (λ, f)). According to the calculation task, the calculation result corresponding to the calculation task and the public parameter, a calculation certificate corresponding to the calculation result is generatedMing pi (pi ← GenProof (PP, T) i ,f,R im )). Wherein R is im To calculate the result, T i Is a compute subtask (if the compute task is split). When the calculation proves that pi is correct, pi is 1, and the calculation result is correct. When the calculation proof pi is incorrect, pi is 0, and the calculation result corresponding to the calculation proof pi is discarded, whereby whether the calculation result is correct can be verified in a short time.
As an embodiment of the present invention, the method further comprises: and after receiving the pledge digital assets of the outsourcing computing device, sending the computing task to the outsourcing computing device. In order to prevent the computer from being counterfeited and protect the interests of the demander from being damaged, a part of digital assets of the outsourced computing device, namely the pledge digital assets, needs to be pledged in advance. The outsourced computing device that provides the pledged digital asset can receive the computing task and deduct the pledged digital asset once the computation is found to be false.
In addition, the method also comprises an objection process, and when the demand side is not satisfied with the calculation result, objection can be proposed. During the period, after the calculation power transaction is allowed to be negotiated off line by two parties, the transaction signed by the two parties is initiated, the settlement is cancelled, and the pre-deducted virtual currency is returned to the calculation demand party. Under the condition of non-successful negotiation, the calculation demand party can also initiate complaints, the third party (called a verifier) carries out verification, if a plurality of verifiers (with a settable number) can provide consistent new calculation proofs, the calculation resource party can be judged to have fraud behaviors, the guarantee fund of the calculation resource party is deducted, and part of the deducted guarantee fund is returned to the calculation demand party and part of the deductited guarantee fund is used for rewarding the verifier.
By the computing power trading method, accurate measurement of the computing power and accurate verification of a computing result are carried out, fairness of the computing power trading is guaranteed, and privacy safety in the computing power trading process is guaranteed by converting a computing function and input data of a demand side. In addition, through the mode of deducting digital assets in advance, guarantee that the interests of demander and outsourcing side do not receive the harm, further guaranteed the security and the fairness of transaction.
Based on the same inventive concept, the embodiment of the invention also provides a computing power trading device, and as the principle of solving the problems of the device is similar to the computing power trading method, the implementation of the device can refer to the implementation of the method, and repeated parts are not repeated.
Fig. 3 is a schematic structural diagram of a computing power transaction apparatus according to an embodiment of the invention. The apparatus shown in the figures comprises: an obtaining unit 10, configured to obtain an initial logic circuit and corresponding input data sent by a demander;
the calculating unit 20 is configured to generate a calculation force of the initial logic circuit according to a preset weight value of the logic gate;
a deduction unit 30 for deducting digital assets of a corresponding demander in advance according to the calculation power;
the issuing unit 40 is used for generating a calculation task according to the initial logic circuit and the input data and sending the calculation task to the outsourcing calculation device;
a verification unit 50 for receiving and verifying the calculation result sent by the outsourced calculation device;
and the settlement unit 60 is used for sending the digital assets of the pre-deducted demander to the outsourcing computing device when the computing result is correct.
In this embodiment, the requesting party compiles the computation logic that needs to be computed into a boolean circuit, i.e., an initial logic circuit, and receives the initial logic circuit and the corresponding input data. The Boolean circuit is composed of several types of basic logic gates including an AND gate, an OR gate, an XOR gate and a NOR gate, the calculation power consumed by each gate is different, and the calculation power of the initial logic circuit can be calculated by presetting the weight values of different logic gates.
By converting the calculation logic into a Boolean circuit, the calculation power required by a demand side can be accurately measured. After the measurement calculation, the part of the digital assets of the demand side needs to be deducted, namely, the deduction digital assets. The digital assets may be virtual currency, such as token, among others. And generating a calculation task according to the initial logic circuit and the corresponding input data, wherein in order to further ensure the privacy and the safety of the demand side, the initial logic circuit and the corresponding input data can be packaged and packed, so that the outsourcing calculation device can not know the specific contents of the initial logic circuit and the corresponding input data.
And the outsourcing computing device provides computing resources and returns a computing result after completing the computing task. The computation results are verified using VC (verifiable computation) to ensure that the computation results provided by the outsourced device are correct. And after the calculation result is verified to be correct, the pre-deducted digital assets of the demand side are sent to an outsourcing calculation device, and the calculation power transaction is completed.
As an embodiment of the present invention, the issue unit 40 includes: the sub-circuit module is used for splitting the initial logic circuit into a plurality of sub-logic circuits; the sub-data module is used for splitting input data corresponding to the initial logic circuit into sub-input data corresponding to a plurality of sub-logic circuits one to one; the subtask module is used for generating corresponding calculation subtasks according to each sub logic circuit and corresponding sub input data; and the issuing module is used for sending each computing subtask to at least one outsourcing computing device.
As an embodiment of the present invention, the verification unit 50 includes: the certification module is used for generating a calculation certification according to the calculation task, the calculation result and the preset safety parameters; the judging module is used for judging whether the calculation proof is correct or not; when the calculation proves to be correct, the calculation result is correct.
As an embodiment of the present invention, the apparatus further comprises: and the pledge unit is used for receiving pledge digital assets of the outsourced computing device.
The device also comprises an objection unit which can propose objection when the demand side is not satisfied with the calculation result. After the computation is completed, each participant may send a transaction to the computation path contract, thereby closing the path and beginning a settlement process. The computing channel does not settle immediately, a time interval is started, during the time interval, after the two parties of the computing power transaction are allowed to negotiate off-line, the transaction with the signatures of the two parties is initiated to the computing channel, the settlement is cancelled, and the pre-deducted virtual currency is returned to the computing demand party. Under the condition that negotiation is not successful, the calculation demand party can also initiate complaints to the calculation channel, a third party (called a verifier) carries out verification, if a plurality of verifiers (with a settable number) can provide consistent new calculation proofs, the calculation channel can judge that the calculation resource party has fraudulent behaviors, the calculation channel contract deducts the guarantee fund of the calculation resource party pledge, and part of the deducted guarantee fund is returned to the calculation demand party and part of the deductited guarantee fund is used for rewarding the verifier.
The computing power trading device provided by the invention can be used for accurately measuring the computing power and accurately verifying the computing result, so that the fairness of the computing power trading is ensured, and meanwhile, the privacy security in the computing power trading process is ensured through the computing function and the input data of the conversion demand side. In addition, through the mode of deducting digital assets in advance, guarantee that the interests of demand side and outsourcing side do not all receive the harm, further guaranteed the security and the fairness of transaction.
The embodiment of the present invention further provides a computer device, which includes a memory, a processor, and a computer program stored in the memory and capable of running on the processor, and when the processor executes the computer program, the following steps are implemented:
acquiring an initial logic circuit and corresponding input data sent by a demand side;
generating the computing power of an initial logic circuit according to a preset weighted value of the logic gate;
receiving the pre-deducted digital assets of the corresponding demand side according to the calculated power;
generating a calculation task according to the initial logic circuit and the input data, and sending the calculation task to an outsourcing calculation device;
receiving and verifying a calculation result sent by the outsourcing calculation device;
and when the calculation result is correct, sending the pre-deducted digital assets of the demander to an outsourcing calculation device.
An embodiment of the present invention further provides a computer-readable storage medium, on which a computer program is stored, where the computer program, when executed by a processor, implements the following steps:
acquiring an initial logic circuit and corresponding input data sent by a demand side;
generating the computing power of an initial logic circuit according to a preset weighted value of the logic gate;
receiving the pre-deducted digital assets of the corresponding demand party according to the calculation force;
generating a calculation task according to the initial logic circuit and the input data, and sending the calculation task to an outsourcing calculation device;
receiving and verifying a calculation result sent by the outsourcing calculation device;
and when the calculation result is correct, sending the pre-deducted digital assets of the demander to an outsourcing calculation device.
Through the computer equipment and the computer readable storage medium provided by the embodiment of the invention, the computing power is accurately measured and the computing result is accurately verified, so that the fairness of computing power transaction is ensured, and meanwhile, the security of privacy in the computing power transaction process is ensured through the computing function and the input data of a conversion demand side. In addition, through the mode of deducting digital assets in advance, guarantee that the interests of demand side and outsourcing side do not all receive the harm, further guaranteed the security and the fairness of transaction.
Those skilled in the art will appreciate that all or part of the steps in the method according to the above embodiments may be implemented by a program instructing relevant hardware, and the program may be stored in a computer-readable storage medium, such as a ROM/RAM, a magnetic disk, an optical disk, and the like.
The above-mentioned embodiments are provided to further explain the objects, technical solutions and advantages of the present invention in detail, and it should be understood that the above-mentioned embodiments are only examples of the present invention and should not be used to limit the scope of the present invention, and any modifications, equivalents, improvements and the like made within the spirit and principle of the present invention should be included in the scope of the present invention.
Claims (8)
1. A method of computing power trading, the method comprising:
acquiring an initial logic circuit and corresponding input data sent by a demand side;
generating the computing power of the initial logic circuit according to a preset weighted value of a logic gate;
receiving corresponding pre-deducted digital assets of the demand party according to the calculated force;
generating a calculation task according to the initial logic circuit and input data, and sending the calculation task to an outsourcing calculation device;
receiving and verifying a calculation result sent by the outsourcing calculation device;
when the calculation result is correct, sending the pre-deducted digital assets of the demander to the outsourcing calculation device;
wherein, the generating a computation task according to the initial logic circuit and the input data, and sending the computation task to an outsourcing computing device, comprises:
splitting the initial logic circuit into a plurality of sub-logic circuits;
splitting input data corresponding to the initial logic circuit into sub input data corresponding to a plurality of sub logic circuits one to one;
generating corresponding calculation subtasks according to each sub logic circuit and the corresponding sub input data;
and sending each computing subtask to at least one outsourced computing device.
2. The method of claim 1, wherein the validating the results of the computation sent by the outsourced computing device comprises:
generating a calculation certificate according to the calculation task, the calculation result and a preset safety parameter;
interpreting whether the calculation proof is correct; when the calculation proves to be correct, the calculation result is correct.
3. The method of claim 1, further comprising: and after receiving the pledge digital assets of the outsourcing computing device, sending the computing task to the outsourcing computing device.
4. An effort transaction apparatus, the apparatus comprising:
the acquisition unit is used for acquiring the initial logic circuit and the corresponding input data sent by the demander;
the calculation unit is used for generating the calculation force of the initial logic circuit according to a preset weight value of a logic gate;
the deduction unit is used for deducting the corresponding digital assets of the demand party according to the calculation force;
the issuing unit is used for generating a calculation task according to the initial logic circuit and input data and sending the calculation task to an outsourcing calculation device;
the verification unit is used for receiving and verifying the calculation result sent by the outsourcing calculation device;
the settlement unit is used for sending the pre-deducted digital assets of the demand side to the outsourcing computing device when the computing result is correct;
wherein the issuing unit includes:
a sub-circuit module for splitting the initial logic circuit into a plurality of sub-logic circuits;
the sub-data module is used for splitting the input data corresponding to the initial logic circuit into sub-input data corresponding to a plurality of sub-logic circuits one to one;
the subtask module is used for generating corresponding calculation subtasks according to each sub logic circuit and corresponding sub input data;
and the issuing module is used for sending each computing subtask to at least one outsourcing computing device.
5. The apparatus of claim 4, wherein the authentication unit comprises:
the certification module is used for generating a calculation certification according to the calculation task, the calculation result and preset safety parameters;
the judging module is used for judging whether the calculation proof is correct or not; when the calculation proves to be correct, the calculation result is correct.
6. The apparatus of claim 4, further comprising: and the pledge unit is used for receiving pledge digital assets of the outsourcing computing device.
7. A computer device comprising a memory, a processor and a computer program stored on the memory and executable on the processor, wherein the processor when executing the computer program implements the steps of:
acquiring an initial logic circuit and corresponding input data sent by a demand side;
generating the computing power of the initial logic circuit according to a preset weighted value of a logic gate;
receiving corresponding pre-deducted digital assets of the demand party according to the calculated force;
generating a calculation task according to the initial logic circuit and input data, and sending the calculation task to an outsourcing calculation device;
receiving and verifying a calculation result sent by the outsourcing calculation device;
when the calculation result is correct, sending the pre-deducted digital assets of the demander to the outsourcing calculation device;
wherein, the generating a computation task according to the initial logic circuit and the input data, and sending the computation task to an outsourced computing device, comprises:
splitting the initial logic circuit into a plurality of sub-logic circuits;
splitting input data corresponding to the initial logic circuit into sub input data corresponding to a plurality of sub logic circuits one to one;
generating corresponding calculation subtasks according to the sub logic circuits and the corresponding sub input data;
and sending each computing subtask to at least one outsourced computing device.
8. A computer-readable storage medium, on which a computer program is stored, which computer program, when being executed by a processor, carries out the steps of:
acquiring an initial logic circuit and corresponding input data sent by a demand side;
generating the computing power of the initial logic circuit according to a preset weighted value of a logic gate;
receiving corresponding pre-deducted digital assets of the demand side according to the calculated force;
generating a calculation task according to the initial logic circuit and input data, and sending the calculation task to an outsourcing calculation device;
receiving and verifying a calculation result sent by the outsourcing calculation device;
when the calculation result is correct, sending the pre-deducted digital assets of the demander to the outsourcing calculation device;
wherein, the generating a computation task according to the initial logic circuit and the input data, and sending the computation task to an outsourcing computing device, comprises:
splitting the initial logic circuit into a plurality of sub-logic circuits;
splitting input data corresponding to the initial logic circuit into sub input data corresponding to a plurality of sub logic circuits one to one;
generating corresponding calculation subtasks according to each sub logic circuit and the corresponding sub input data;
and sending each computing subtask to at least one outsourced computing device.
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201810750034.0A CN109064329B (en) | 2018-07-10 | 2018-07-10 | Calculation power transaction method and device |
| PCT/CN2019/092680 WO2020011010A1 (en) | 2018-07-10 | 2019-06-25 | Computing power transaction method and computing channel |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201810750034.0A CN109064329B (en) | 2018-07-10 | 2018-07-10 | Calculation power transaction method and device |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN109064329A CN109064329A (en) | 2018-12-21 |
| CN109064329B true CN109064329B (en) | 2022-09-30 |
Family
ID=64819382
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201810750034.0A Active CN109064329B (en) | 2018-07-10 | 2018-07-10 | Calculation power transaction method and device |
Country Status (2)
| Country | Link |
|---|---|
| CN (1) | CN109064329B (en) |
| WO (1) | WO2020011010A1 (en) |
Families Citing this family (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN109064329B (en) * | 2018-07-10 | 2022-09-30 | 矩阵元技术（深圳）有限公司 | Calculation power transaction method and device |
| CN109886791A (en) * | 2018-12-28 | 2019-06-14 | 无锡井通网络科技有限公司 | Calculate power method of commerce, device, electronic equipment and storage medium |
| CN111787034B (en) * | 2019-04-03 | 2024-01-16 | 北京邦天信息技术有限公司 | Block generation method, synchronization method, device, blockchain system and storage medium |
Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106789118A (en) * | 2016-11-28 | 2017-05-31 | 上海交通大学 | Cloud computing charging method based on service-level agreement |
Family Cites Families (10)
| 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 |
| CN103414576A (en) * | 2013-07-24 | 2013-11-27 | 广东电子工业研究院有限公司 | Charging method for use of cloud computing resources |
| US10812274B2 (en) * | 2015-05-07 | 2020-10-20 | Blockstream Corporation | Transferring ledger assets between blockchains via pegged sidechains |
| US10417226B2 (en) * | 2015-05-29 | 2019-09-17 | International Business Machines Corporation | Estimating the cost of data-mining services |
| CN106529932A (en) * | 2016-11-01 | 2017-03-22 | 西安电子科技大学 | Bitcoin-based outsourcing calculating fair payment method |
| CN107248973B (en) * | 2017-03-23 | 2021-06-04 | 上海大学 | Safe outsourcing method for two bilinear pairs based on double cloud servers |
| CN107579814A (en) * | 2017-08-03 | 2018-01-12 | 北京比特大陆科技有限公司 | Device, computing chip, the digging ore deposit machine of the computational methods of proof of work |
| CN108009823A (en) * | 2017-11-03 | 2018-05-08 | 厦门快商通信息技术有限公司 | The distributed call method and system for calculating power resource based on block chain intelligence contract |
| CN109064329B (en) * | 2018-07-10 | 2022-09-30 | 矩阵元技术（深圳）有限公司 | Calculation power transaction method and device |
-
2018
- 2018-07-10 CN CN201810750034.0A patent/CN109064329B/en active Active
-
2019
- 2019-06-25 WO PCT/CN2019/092680 patent/WO2020011010A1/en active Application Filing
Patent Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106789118A (en) * | 2016-11-28 | 2017-05-31 | 上海交通大学 | Cloud computing charging method based on service-level agreement |
Also Published As
| Publication number | Publication date |
|---|---|
| CN109064329A (en) | 2018-12-21 |
| WO2020011010A1 (en) | 2020-01-16 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Liu et al. | Electric vehicle power trading mechanism based on blockchain and smart contract in V2G network | |
| CN110428257B (en) | Password cracking task processing method, equipment and storage medium | |
| CN109165092B (en) | Consensus method, device and system based on effective computing power contribution | |
| CN110163590B (en) | Payment withholding method and device based on block chain, electronic equipment and storage medium | |
| CN109064329B (en) | Calculation power transaction method and device | |
| JP2023179687A (en) | Distributed computing system and method | |
| US10708071B1 (en) | Consensus protocols in distributed computing systems | |
| CN110175913A (en) | Data processing system, method, calculating equipment and storage medium based on block chain | |
| Dorsala et al. | Fair payments for verifiable cloud services using smart contracts | |
| Shibata | Proof-of-search: combining blockchain consensus formation with solving optimization problems | |
| Wright et al. | SmartEdge: A smart contract for edge computing | |
| CN109285071B (en) | Data processing platform and data processing method based on block chain | |
| CN109118224A (en) | Proof of work method, apparatus, medium and the electronic equipment of block chain network | |
| CN113347162A (en) | Block link point contribution degree proving consensus method for crowd-sourcing service | |
| KR20200093089A (en) | System and method for transaction of work requests and products based on blockchain | |
| Jain et al. | Auction based cost‐efficient resource allocation by utilizing blockchain in fog computing | |
| Nardini et al. | A blockchain-based decentralized electronic marketplace for computing resources | |
| CN112488227B (en) | Auditable outsourcing machine learning service method for providing integrity verification | |
| CN110599370A (en) | Property management method and device based on block chain and storage medium | |
| JP2018206199A (en) | Management device, management method, and program | |
| CN113254980B (en) | Workload certification consensus method and system for deep learning | |
| Eisele et al. | Mechanisms for outsourcing computation via a decentralized market | |
| CN114612089A (en) | Block chain-based man-hour settlement method, device, equipment and storage medium | |
| CN110866830A (en) | Data processing method based on block chain and related device | |
| CN112967148B (en) | Block chain consensus mechanism for intelligent Internet of things computing service |
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 | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |