A study of universal zero-knowledge proof circuit-based virtual machines that validate general operations & reduce transaction validation

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