The system for implementing a zero-knowledge proof circuit-based virtual machine for general operation verification according to an embodiment of the present invention generates a circuit for general operation verification having the number of reference instructions, the number of reference machine steps, and the size of the reference system. , The general operation verification circuit and the general computation verification circuit generator generating a verification key and verification key using the zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) algorithm, and the general computation verification circuit Prover terminal generating evidence using information necessary for verification and verification among the verification key, the coefficient of the polynomial function obtained through the zk-SNARK algorithm, and the verification key for verification of the general computation. It includes a verifier terminal that verifies whether the evidence is valid using the information necessary for verification and verification among the circuits for verification and the evidence.
展开▼