A power transaction method and system based on homomorphic secret sharing and zero-knowledge proof

Abstract

The present application relates to a kind of power transaction method and system based on homomorphic secret sharing and zero-knowledge proof, the present application has broken through the limitation of prior art in principle, with the significant characteristics of easy to deploy, low traffic, and without introducing additional participants in the whole implementation process.The present application can guarantee the security of power transaction data, protect the privacy of both parties while avoiding the coordination difficulties and cost increase problems that may be caused by the intervention of additional participants, and also overcomes the technical obstacles such as high energy consumption, providing a more innovative and practical solution for data processing of power transaction. The power generation side and the power consumption side only need to negotiate public key, private key, send ciphertext holding power data, send share of calculation result of transaction model and zero-knowledge proof, to get the agreed power generation and power consumption without knowing the privacy of the other party's power data, and the correctness can also be verified through zero-knowledge proof.

Description

TECHNICAL FIELD

[0001] The present application relates to a power transaction method, in particular to a power transaction method and system based on homomorphic secret sharing and zero-knowledge proof, belonging to the technical field of privacy computing. BACKGROUND

[0002] The power market is a system composed of multiple participants (such as power producers, suppliers, consumers, market operators, etc.), aiming to realize the production, distribution and consumption of electricity through market mechanisms. In this market, electricity as a commodity is bought and sold through transactions, and the price fluctuates according to supply and demand, policy guidance, and real-time conditions of the power system.

[0003] A simple division of the power system is usually made in the power system, which generally covers multiple power generation parties and multiple power consumption parties. In order to reduce the total cost in the process of power transaction, power generation parties and power consumption parties need to carry out joint calculation according to each other's information to determine the transaction power.

[0004] Currently, similar to the transaction power, such power transaction data is stored in a centralized database in plaintext form. However, this centralized storage method is prone to tampering, which makes the data security poor. In addition, the way of storing data in plaintext cannot guarantee the privacy security of power generation parties and power consumption parties. In the power system, the cost of each node (power consumption party or power generation party) can be calculated by a cost function , which is generally expressed as: , where represents the power generation of the power generation party or the power consumption of the power consumption party, represents the cost of node , and are constant parameters, usually determined by the power generation or power consumption properties of the node, which can be obtained by analyzing and fitting various factors such as the performance of power generation equipment, fuel cost, operation and maintenance cost. Different types of power generation technologies (such as thermal power generation, hydroelectric power generation, wind power generation, etc.) will have different cost characteristics. It is noted that the polynomial only contains two operations, multiplication of constant and variable ( and ), and multiplication of variables ( ), and the multiplication of variables only needs to be calculated once, so the function is homomorphic secret sharing computable.

[0005] In the current power system, the power generation or power consumption data is directly sent to the relevant party in plaintext or relies on a third-party computing platform for processing, which has serious privacy and security risks. The cost parameters of power generation parties and other business secrets, as well as the power consumption habits of power consumption parties and other sensitive information are easily stolen or tampered with when transmitted in plaintext. Since the third-party computing platform stores a large amount of data, if its security measures are insufficient, such as network vulnerabilities, poor permission management, etc., there is a risk of data leakage or misuse, and data transmission is vulnerable to network attacks and storage security issues, which threatens the normal operation of the power system.

[0006] In recent years, with the continuous research and development of blockchain technology, the research on power transaction methods has also been mainly focused on blockchain technology. Blockchain is a decentralized distributed ledger technology with non-tamperability and transparency. It maintains a chain-like data structure through multiple nodes in the network, ensuring the authenticity and traceability of each transaction record. In the electricity market, blockchain can be used to track and record the production, distribution, transaction and consumption process of electricity, eliminating the trust and transparency problems existing in the traditional electricity transaction mode. The application of blockchain technology in electricity transactions is becoming an innovative and forward-looking trend, especially in promoting the transparency, security, decentralization and efficiency of the electricity market, blockchain provides unique advantages.

[0007] However, the energy consumption of blockchain (such as blockchain based on proof of work mechanism) is huge. In the context of electricity transactions, this is contrary to the goal of energy saving and emission reduction. In addition, the blockchain technology itself is relatively complex, and for power transaction enterprises, a large amount of human and material resources need to be invested in the development and maintenance of the blockchain system. SUMMARY

[0008] In view of the above-mentioned poor transaction data privacy in the prior art and the high energy consumption of the application of blockchain technology in electricity transactions, the present application proposes a power transaction method and system based on homomorphic secret sharing and zero-knowledge proof. The power generation party and the power consumption party only need to negotiate the public key and the private key, send the ciphertext holding the power data, send the share of the calculation result of the transaction model and the zero-knowledge proof, and can obtain the agreed power generation and power consumption without knowing the privacy power data of the other party. The correctness can also be verified through zero-knowledge proof.

[0009] The technical solution adopted by the present application to solve its technical problems is: a power transaction method based on homomorphic secret sharing and zero-knowledge proof, the method comprising the following steps:

[0010] Step S1, key generation: the power generation party and the power consumption party determine the homomorphic secret sharing protocol, and jointly determine the generation of the public key and the respective private keys;

[0011] Step S2, data encryption: the power generation party uses the public key to encrypt the planned power generation data, and the power consumption party uses the public key to encrypt the planned power consumption data;

[0012] Step S3, ciphertext sending: the power generation party sends the ciphertext of the planned power generation data to the power consumption party, and the power consumption party sends the ciphertext of the planned power consumption data to the power generation party;

[0013] Step S4, zero-knowledge proof calculation: the power generation party and the power consumption party negotiate to determine the transaction model, and calculate the transaction model on the respective ciphertext data to obtain the respective calculation results and the related zero-knowledge proof;

[0014] Step S5, result sending: the power generation party and the power consumption party respectively send the transaction model calculation results of their own part and the related zero-knowledge proof to the other party;

[0015] Step S6, result verification: the power generation party and the power consumption party reconstruct the correct transaction model calculation results according to all the data, and verify the zero-knowledge proof, if the verification is passed, the power generation party and the power consumption party perform power transmission according to the transaction model calculation results.

[0016] A power transaction system based on homomorphic secret sharing and zero-knowledge proof, the system comprises the following module units:

[0017] Key generation unit: for determining the homomorphic secret sharing protocol by the power generation party and the power consumption party, and jointly determining the generation of the public key and the respective private key;

[0018] Data encryption unit: for letting the power generation party use the public key to encrypt the planned power generation data, and the power consumption party uses the public key to encrypt the planned power consumption data;

[0019] Ciphertext sending unit: for making the power generation party send the ciphertext of the planned power generation data to the power consumption party, and the power consumption party sends the ciphertext of the planned power consumption data to the power generation party;

[0020] The planned power generation data includes: planned power generation upper limit and / or planned power generation lower limit; the planned power consumption data includes: planned power consumption upper limit and / or planned power consumption lower limit;

[0021] Zero-knowledge proof calculation unit: for negotiating to determine the transaction model by the power generation party and the power consumption party, and calculating the transaction model on the respective ciphertext data to obtain the respective calculation results and the related zero-knowledge proof;

[0022] Result sending unit: for making the power generation party and the power consumption party respectively send the transaction model calculation results of their own part and the related zero-knowledge proof to the other party;

[0023] A result verification unit is configured to enable the power generation party and the power consumption party to reconstruct a correct transaction model calculation result according to all data and verify the zero-knowledge proof, and if the verification is passed, the power generation party and the power consumption party perform power transmission according to the transaction model calculation result.

[0024] A storage medium, in which a program for implementing the power transaction method based on the homomorphic secret sharing and the zero-knowledge proof is stored.

[0025] An electronic product, which is capable of implementing the power transaction method based on the homomorphic secret sharing and the zero-knowledge proof.

[0026] The technical solution further comprises the following steps:

[0027] The power generation party is one or more power generation parties, and the power consumption party is one or more power consumption parties.

[0028] In the step S1, the power generation party specifies a homomorphic secret sharing protocol and a public key, or the power generation party and the power consumption party agree on a homomorphic secret sharing protocol and a commonly negotiated public key.

[0029] The public key is used to encrypt plaintext data to obtain ciphertext, and the private key is used to assist in computing tasks.

[0030] The planned power generation data includes a planned upper limit of power generation and / or a planned lower limit of power generation, and the planned power consumption data includes a planned upper limit of power consumption and / or a planned lower limit of power consumption.

[0031] The transaction model is specified by the power system or negotiated by the power generation party and the power consumption party.

[0032] The public key is used to encrypt plaintext data to obtain ciphertext; the private key is used to assist in computing tasks, and a share of the computing result is obtained by using the private key; a transaction model is specified by the power system or negotiated by the power generation side and the power consumption side, and the transaction model is a linear optimization model with a constraint condition, parameters of which are held in plaintext by the power generation side and the power consumption side, and the plaintext parameters held by the two parties are the same; the power consumption side takes the transaction model as a computing function, inputs the negotiated private key, plaintext of the planned power consumption data and ciphertext of the planned power generation data, obtains a share of the computing result of the transaction model, and generates a zero-knowledge proof of the computing function by using zero-knowledge proof technology; the power generation side takes the transaction model as a computing function, inputs the negotiated private key, plaintext of the planned power generation data and ciphertext of the planned power consumption data, obtains a share of the computing result of the transaction model, and generates a zero-knowledge proof of the computing function by using zero-knowledge proof technology.

[0033] The present application has the advantages that the present application breaks through the limitations of the prior art in principle, has the remarkable characteristics of easy deployment and low communication volume, and does not need to introduce additional participants in the whole implementation process. The present application can guarantee the security of power transaction data and protect the privacy of both transaction parties, avoid the coordination difficulties and cost increase problems caused by the intervention of additional participants, overcome the technical obstacles such as high energy consumption, and provide a more innovative and practical solution for the data processing of power transaction.

[0034] The present application will be further described below in combination with the drawings and specific embodiments. BRIEF DESCRIPTION OF DRAWINGS

[0035] Figure 1 A flowchart of the power transaction method based on homomorphic secret sharing and zero-knowledge proof in the present application.

[0036] Figure 2 A model diagram of the power transaction method based on homomorphic secret sharing and zero-knowledge proof in the present application. DETAILED DESCRIPTION

[0037] The present embodiment is a preferred embodiment of the present application, and other embodiments with the same or similar principles and basic structures as the present embodiment are also within the protection scope of the present application.

[0038] The present application will be further described below in combination with the drawings and specific embodiments.

[0039] Please refer to the accompanying Figure 1 and the accompanyingFigure 2 The present application mainly protects a power transaction method based on homomorphic secret sharing and zero-knowledge proof, which comprises the following steps:

[0040] Step S1, key generation: the power generation party and the power consumption party agree on a homomorphic secret sharing protocol, and jointly negotiate to generate a public key and respective private keys.

[0041] The power generation party refers to a unit or facility responsible for power production and supply, and the main task of the power generation party is to convert different forms of energy (such as coal, natural gas, nuclear energy, renewable energy, etc.) into electric energy for the power grid. It usually includes thermal power plants, hydropower plants, nuclear power plants, wind power, solar power, geothermal power, biomass power, tidal power and wave power, etc.

[0042] The power consumption party refers to various users or entities that consume electricity in the power system, which is usually divided into different roles, and the power consumption party is the end user of the system. It usually includes residential users (household electricity), industrial users, commercial users, agricultural users, public facilities and government departments, electric vehicle (EV) users, energy internet users, electricity retailers, electricity wholesalers, demand response managers (DRM), etc.

[0043] In the power system, there are usually multiple power generation parties and multiple power consumption parties.

[0044] For relatively dispersed or small-scale power consumption parties, the power generation party is usually assigned a homomorphic secret sharing protocol and a public key, and for large-scale power consumption parties, the power generation party and the power consumption party agree on a homomorphic secret sharing protocol and jointly negotiate to generate a public key.

[0045] In this embodiment, the homomorphic secret sharing protocol (HSS) is a protocol based on homomorphic encryption, which is used to securely share and process secret data. This type of protocol is usually used in multi-party computation (MPC) scenarios, allowing multiple participants to jointly compute the result of a function without exposing private inputs, while protecting the privacy of each party.

[0046] This public key and private key negotiation phase only requires one round of communication. The public key is used to encrypt the plaintext data to obtain the ciphertext; the private key is used to assist in computing tasks. For a specific computing task and ciphertext input, using the private key to compute can obtain a share of the computing result. In the homomorphic secret sharing protocol, two shares can reconstruct the computing result of the plaintext.

[0047] At this point, multiple power generators and multiple power consumers can jointly negotiate a public key, and multiple power generators and multiple power consumers can negotiate in pairs and each hold a pair of private keys, so that each party can reconstruct all the calculation results.

[0048] Step S2, Data Encryption: The power generator uses a public key to encrypt the planned power generation data, and the power consumer uses a public key to encrypt the planned power consumption data.

[0049] Step S3, encrypted transmission: The power generator sends the encrypted data of the planned power generation to the power consumer, and the power consumer sends the encrypted data of the planned power consumption to the power generator.

[0050] The planned power generation data includes: the upper limit of planned power generation and / or the lower limit of planned power generation; the planned power consumption data includes: the upper limit of planned power consumption and / or the lower limit of planned power consumption. In this embodiment, the planned power generation data and planned power consumption data are sent in encrypted form, and the party receiving the encrypted data cannot directly obtain the plaintext information about the planned power generation data and planned power consumption data.

[0051] Step S4: Zero-Knowledge Proof Calculation: The power generator and the power consumer negotiate and determine the transaction model, and perform calculations on their respective encrypted data to obtain partial calculation results and related zero-knowledge proofs. Zero-Knowledge Proof (ZKP) is a cryptographic protocol that allows one party (the prover) to prove the truth of a statement or proposition to another party (the verifier) ​​without revealing any specific information about the proposition. In short, the core idea of ​​zero-knowledge proof is that the prover can prove that they know a secret, but the verifier cannot obtain any other information throughout the process.

[0052] The transaction model is generally specified by the power system, but can also be negotiated and formulated by the power generator and the power consumer. It is typically a constrained linear optimization model, with parameters held separately in plaintext by both the power generator and the power consumer, and both holding identical plaintext parameters. The power consumer uses this transaction model as a computational function, inputting the negotiated private key, the plaintext of the planned electricity consumption data, and the ciphertext of the planned power generation data to obtain a share of the computational result. They then use zero-knowledge proof techniques to generate a zero-knowledge proof of this computational function. Similarly, the power generator uses the same transaction model as a computational function, inputting the negotiated private key, the plaintext of the planned power generation data, and the ciphertext of the planned electricity consumption data to obtain a share of the computational result. They also use zero-knowledge proof techniques to generate a zero-knowledge proof of this computational function. Due to the properties of homomorphic secret sharing, a single share does not reveal any information about the plaintext; only by combining both shares can the computational result of the plaintext be reconstructed.

[0053] Step S5, Result Transmission: The power generator and the power consumer respectively send their respective transaction model calculation results and related zero-knowledge proofs to each other.

[0054] Step S6, Result Verification: The power generator and the power consumer reconstruct the correct transaction model calculation result based on all the data and verify the zero-knowledge proof. If the verification is successful, the power generator and the power consumer will transmit electricity based on the transaction model calculation result.

[0055] This invention also protects a power trading system based on homomorphic secret sharing and zero-knowledge proof, which includes the following modular units:

[0056] Key generation unit: Used to jointly generate a public key and their respective private keys by agreeing on a homomorphic secret sharing protocol between the power generator and the power consumer.

[0057] In a power system, there are usually multiple power generators and multiple power consumers.

[0058] For electricity consumers that are relatively dispersed or have a small electricity consumption scale, a homomorphic secret sharing protocol and a public key are usually specified for the power generator. For electricity consumers with a large electricity consumption scale, a homomorphic secret sharing protocol agreed upon by the power generator and the electricity consumer is used, and a public key is generated through joint negotiation.

[0059] During the public-private key negotiation phase, the two parties only need to communicate once. The public key is used to encrypt plaintext data to obtain ciphertext; the private key is used to assist in the computation task. For a specific computation task and ciphertext input, a share of the computation result can be obtained using the private key. In the homomorphic secret sharing protocol, the computation result of the plaintext can be reconstructed from the two shares.

[0060] At this point, multiple power generators and multiple power consumers can jointly negotiate a public key, and multiple power generators and multiple power consumers can negotiate in pairs and each hold a pair of private keys, so that each party can reconstruct all the calculation results.

[0061] Data encryption unit: used to enable the power generator to encrypt the planned power generation data using a public key, and the power consumer to encrypt the planned power consumption data using a public key.

[0062] Encrypted text transmission unit: used to enable the power generator to send the encrypted data of the planned power generation to the power consumer, and the power consumer to send the encrypted data of the planned power consumption to the power generator.

[0063] The planned power generation data includes: the upper limit of planned power generation and / or the lower limit of planned power generation; the planned power consumption data includes: the upper limit of planned power consumption and / or the lower limit of planned power consumption. In this embodiment, the planned power generation data and planned power consumption data are sent in encrypted form, and the party receiving the encrypted data cannot directly obtain the plaintext information about the planned power generation data and planned power consumption data.

[0064] Zero-knowledge proof computation unit: used to determine the transaction model through negotiation between the power generator and the power consumer, perform calculations on the transaction model on their respective encrypted data, and obtain partial calculation results and related zero-knowledge proofs.

[0065] The transaction model is generally specified by the power system, but can also be negotiated and formulated by the power generator and the power consumer. It is typically a constrained linear optimization model, with parameters held separately in plaintext by both the power generator and the power consumer, and both holding identical plaintext parameters. The power consumer uses this transaction model as a computational function, inputting the negotiated private key, the plaintext of the planned electricity consumption data, and the ciphertext of the planned power generation data to obtain a share of the computational result. They then use zero-knowledge proof techniques to generate a zero-knowledge proof of this computational function. Similarly, the power generator uses the same transaction model as a computational function, inputting the negotiated private key, the plaintext of the planned power generation data, and the ciphertext of the planned electricity consumption data to obtain a share of the computational result. They also use zero-knowledge proof techniques to generate a zero-knowledge proof of this computational function. Due to the properties of homomorphic secret sharing, a single share does not reveal any information about the plaintext; only by combining both shares can the computational result of the plaintext be reconstructed.

[0066] Result Sending Unit: Used to enable the power generator and the power consumer to send their respective transaction model calculation results and related zero-knowledge proofs to each other.

[0067] Result Verification Unit: This unit enables the power generator and the power consumer to reconstruct the correct transaction model calculation results based on all data and verify the zero-knowledge proof. If the verification is successful, the power generator and the power consumer will transmit electricity based on the transaction model calculation results.

[0068] Based on the properties of homomorphic secret sharing, the power generator and the power consumer can reconstruct the plaintext of the transaction model calculation result using simple addition or subtraction, and verify the correctness of the calculation result using a zero-knowledge proof verification algorithm. If the verification passes, the power generator and the power consumer will transmit electricity according to the transaction model calculation result.

[0069] This invention also protects a storage medium that stores a program capable of implementing the above-described electricity trading method based on homomorphic secret sharing and zero-knowledge proof during runtime.

[0070] This invention also protects an electronic product that, when in operation, can implement the electricity trading method based on homomorphic secret sharing and zero-knowledge proof as described above.

[0071] It should be understood that although the above scheme is designed for one power generator and one power consumer, it can also be extended to the scenario of multiple power generators and multiple power consumers. That is, the present invention can support power transactions between one power generator and one power consumer, as well as power transactions between multiple power generators and multiple power consumers. For example, in the first step, multiple power generators and multiple power consumers negotiate a common public key, and each pair negotiates a private key.

[0072] This invention breaks through the limitations of existing technologies in principle, possessing the significant characteristics of easy deployment and low communication volume, and requiring no additional participants throughout the implementation process. This invention can ensure the security of electricity trading data and protect the privacy of both parties, while avoiding coordination difficulties and increased costs that may arise from the involvement of additional parties. It also overcomes technical obstacles such as high energy consumption, providing a more innovative and practical solution for electricity trading data processing.

Claims

1. A power trading method based on homomorphic secret sharing and zero-knowledge proof, characterized by: The method includes the following steps: Step S1, Key Generation: The power generator and the power consumer determine the homomorphic secret sharing protocol, jointly determine the public key to be generated, and their respective private keys; Step S2, Data Encryption: The power generator uses a public key to encrypt the planned power generation data, and the power consumer uses a public key to encrypt the planned power consumption data. Step S3, Cipher Text Transmission: The power generator sends the ciphertext of the planned power generation data to the power consumer, and the power consumer sends the ciphertext of the planned power consumption data to the power generator. Step S4, Zero-knowledge proof calculation: The power generator and the power consumer negotiate and determine the transaction model, and calculate the transaction model on their respective encrypted data to obtain their respective calculation results and related zero-knowledge proofs. Step S5, Result Transmission: The power generator and the power consumer respectively send their respective transaction model calculation results and related zero-knowledge proofs to each other; Step S6, Result Verification: The power generator and the power consumer reconstruct the correct transaction model calculation result based on all the data and verify the zero-knowledge proof. If the verification is successful, the power generator and the power consumer will transmit electricity based on the transaction model calculation result. The power generator can be one or more power generators; the power consumer can be one or more power consumers. Multiple power generators and multiple power consumers share a public key, and multiple power generators and multiple power consumers negotiate with each other and each hold a pair of private keys. The aforementioned transaction model is specified by the power system or negotiated and formulated by the power generator and the power consumer. The transaction model is a linear optimization model with constraints. Its parameters are held in plaintext by the power generator and the power consumer respectively, and the plaintext parameters held by both parties are identical. The power consumer uses the transaction model as a calculation function, inputs the private key held after negotiation, the plaintext of the planned electricity consumption data, and the ciphertext of the planned electricity generation data, and obtains a share of the transaction model calculation result. It then uses zero-knowledge proof technology to generate a zero-knowledge proof of the calculation function. Similarly, the power generator uses the transaction model as a calculation function, inputs the private key held after negotiation, the plaintext of the planned electricity generation data, and the ciphertext of the planned electricity consumption data, and obtains a share of the transaction model calculation result. It then uses zero-knowledge proof technology to generate a zero-knowledge proof of the calculation function.

2. The power trading method based on homomorphic secret sharing and zero-knowledge proof according to claim 1, characterized in that: In step S1, the power generator specifies a homomorphic secret sharing protocol and a public key, or the power generator and the power consumer agree on a homomorphic secret sharing protocol and jointly negotiate to generate a public key.

3. The power trading method based on homomorphic secret sharing and zero-knowledge proof according to claim 1, characterized in that: The public key is used to encrypt plaintext data to obtain ciphertext; The private key is used to assist in computation tasks. Using the private key, a share of the computation result can be obtained. In a homomorphic secret sharing protocol, two shares can be used to reconstruct the plaintext computation result.

4. The power trading method based on homomorphic secret sharing and zero-knowledge proof according to claim 1, characterized in that: The planned power generation data includes: the upper limit of planned power generation and / or the lower limit of planned power generation; the planned power consumption data includes: the upper limit of planned power consumption and / or the lower limit of planned power consumption, and the planned power generation data and planned power consumption data are sent in encrypted form.

5. A system for implementing the power trading method based on homomorphic secret sharing and zero-knowledge proof as described in any one of claims 1-4, characterized in that: The system includes the following modules: Key generation unit: used to determine the homomorphic secret sharing protocol through the power generator and the power consumer, and jointly determine the public key and their respective private keys; Data encryption unit: used to enable the power generator to encrypt planned power generation data using a public key, and the power consumer to encrypt planned power consumption data using a public key; Encrypted text transmission unit: used to enable the power generator to send encrypted data of planned power generation to the power consumer, and the power consumer to send encrypted data of planned power consumption to the power generator; Planned power generation data includes: the upper limit of planned power generation and / or the lower limit of planned power generation; planned electricity consumption data includes: the upper limit of planned electricity consumption and / or the lower limit of planned electricity consumption. Zero-knowledge proof computation unit: used to determine the transaction model through negotiation between the power generator and the power consumer, perform the calculation of the transaction model on their respective encrypted data, and obtain their respective calculation results and related zero-knowledge proofs; Result Sending Unit: Used to enable the power generator and the power consumer to send their respective transaction model calculation results and related zero-knowledge proofs to each other; Result Verification Unit: This unit enables the power generator and the power consumer to reconstruct the correct transaction model calculation results based on all data and verify the zero-knowledge proof. If the verification is successful, the power generator and the power consumer will transmit electricity based on the transaction model calculation results.

6. The system according to claim 5, characterized in that: The public key is used to encrypt plaintext data to obtain ciphertext; the private key is used to assist in the computation task, and a share of the computation result is obtained using the private key. The transaction model is specified by the power system or negotiated and formulated by the power generator and the power consumer. The transaction model is a linear optimization model with constraints, and its parameters are held in plaintext by the power generator and the power consumer respectively. The plaintext parameters held by both parties are the same. The power consumer uses the transaction model as a computation function, inputs the private key held after negotiation, the plaintext of the planned electricity consumption data, and the ciphertext of the planned electricity generation data, and obtains a share of the computation result of the transaction model. Zero-knowledge proof technology is used to generate a zero-knowledge proof of the computation function. The power generator uses the transaction model as a computation function, inputs the private key held after negotiation, the plaintext of the planned electricity generation data, and the ciphertext of the planned electricity consumption data, and obtains a share of the computation result of the transaction model. Zero-knowledge proof technology is used to generate a zero-knowledge proof of the computation function.

7. A storage medium, characterized in that: The storage medium contains a program that, when run, can implement the power trading method based on homomorphic secret sharing and zero-knowledge proof as described in any one of claims 1 to 4.

8. An electronic product characterized by: The electronic product, when in operation, can implement the power trading method based on homomorphic secret sharing and zero-knowledge proof as described in any one of claims 1 to 4.

Images