Geodesic
A Study of Universal Zero-Knowledge Proof Circuit-based Virtual Machines that Validate General Operations Reduce Transaction Validation
Computer Science and Information Systems, Tome 18 (2021) no. 2.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

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 
@article{CSIS_2021_18_2_a6,
     author = {SoonHyeong Jeong and Byeongtae Ahn},
     title = {A {Study} of {Universal} {Zero-Knowledge} {Proof} {Circuit-based} {Virtual} {Machines} that {Validate} {General} {Operations} & {Reduce} {Transaction} {Validation}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {18},
     number = {2},
     year = {2021},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2021_18_2_a6/}
}
TY  - JOUR
AU  - SoonHyeong Jeong
AU  - Byeongtae Ahn
TI  - A Study of Universal Zero-Knowledge Proof Circuit-based Virtual Machines that Validate General Operations & Reduce Transaction Validation
JO  - Computer Science and Information Systems
PY  - 2021
VL  - 18
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2021_18_2_a6/
ID  - CSIS_2021_18_2_a6
ER  - 
%0 Journal Article
%A SoonHyeong Jeong
%A Byeongtae Ahn
%T A Study of Universal Zero-Knowledge Proof Circuit-based Virtual Machines that Validate General Operations & Reduce Transaction Validation
%J Computer Science and Information Systems
%D 2021
%V 18
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2021_18_2_a6/
%F CSIS_2021_18_2_a6
SoonHyeong Jeong; Byeongtae Ahn. A Study of Universal Zero-Knowledge Proof Circuit-based Virtual Machines that Validate General Operations & Reduce Transaction Validation. Computer Science and Information Systems, Tome 18 (2021) no. 2. http://geodesic.mathdoc.fr/item/CSIS_2021_18_2_a6/