A Study of Universal Zero-Knowledge Proof Circuit-based Virtual Machines that Validate General Operations & Reduce Transaction Validation

【Author】 Jeong, Soonhyeong; Ahn, Byeongtae

【Source】COMPUTER SCIENCE AND INFORMATION SYSTEMS

【影响因子】1.170

【Abstract】Recently, blockchain technology accumulates and stores all transactions. Therefore, in order to verify the contents of all transactions, the data itself is compressed, but the scalability is limited. In addition, since a separate verification algorithm is used for each type of transaction, the verification burden increases as the size of the transaction increases. Existing blockchain cannot participate in the network because it does not become a block sink by using a server with a low specification. Due to this problem, as the time passes, the data size of the blockchain network becomes larger and it becomes impossible to participate in the network except for users with abundant resources. Therefore, in this paper, we studied the zero knowledge proof algorithm for general operation verification. In this system, the design of zero-knowledge circuit generator capable of general operation verification and optimization of verifier and prover were also conducted. Also, we developed an algorithm for optimizing key generation. Based on all of these, the zero-knowledge proof algorithm was applied to and tested on the virtual machine so that it can be used universally on all blockchains.

【Keywords】Zero-Knowledge; validation; transaction; BlockChain; Ethereum

【发表时间】2021 APR

【收录时间】2022-01-02

【文献类型】

【主题类别】

--