Efficient distributed zero-knowledge proof method based on Spark

Abstract

The invention discloses an efficient distributed zero-knowledge proof method based on Spark. The method comprises the steps of distributed calculation trajectory arithmetic intermediate form construction, distributed boundary constraint arithmetic intermediate form construction, distributed transfer constraint arithmetic intermediate form construction, distributed combination constraint arithmetic intermediate form construction and distributed proof generation. A system corresponding to the method is realized based on Python and PySpark, and runs on a Spark platform, so that the certification time required by a certification party can be effectively reduced, and the calculation scale which can be processed by the certification party can be improved, and therefore, the certification system has higher efficiency and usability. According to the data availability proving of the method, a proving party can efficiently prove that a certain output is obtained after calculation of some steps to a verifier under the condition that plaintext information of the data is not exposed. Limiting conditions which need to be met by adjacent intermediate values in the calculation trajectory are called transfer constraint conditions, and final public output is called boundary constraint conditions.

Description

technical field [0001] The invention relates to a distributed zero-knowledge proof method, in particular to an efficient distributed zero-knowledge proof method based on Spark, and belongs to the field of information technology. Background technique [0002] zkSTARK (Zero-Knowledge Scalable Transparent ARguments of Knowledge) is a zero-knowledge proof technology that enables users to share verified data or perform calculations with third parties without revealing the data or calculation methods to the third party. In simple terms, zero-knowledge proof technology can prove that something is true without having to reveal what it actually proves. For example, zkSTARKs allow Alice to verify Bob's banking information using zero-knowledge cryptographic proofs without requiring Bob to reveal confidential information to Alice. zkSTARK does not require trusted initialization by a third party, has higher security, and has scalable computing methods. However, the existing zkSTARK imp...

AI Technical Summary

Problems solved by technology

However, the existing zkSTARK implementation can only run in a stand-alone environment, and there are the following problems: 1) limited by the computing resources of the stand-alone machine, it takes a long time to prove; 2) limited by the memory of the stand-alone machine, it cannot handle large-scale calculations

Images