首页>
外国专利>
System for implementing a virtual machine based on a zero-knowledge proof circuit for general operation verification
System for implementing a virtual machine based on a zero-knowledge proof circuit for general operation verification
展开▼
机译:基于零知识证明电路实现虚拟机的系统,用于一般操作验证
展开▼
页面导航
摘要
著录项
相似文献
摘要
A system for implementing a virtual machine based on a zero-knowledge proof circuit for general operation verification is disclosed, which includes a general operation verification circuit generator that generates a general operation verification circuit having a base number of commands, a base number of machine steps, and a base system size and generates proof keys and verification keys by using the general operation verification circuit and a zk-SNARK algorithm, a prover terminal that generates a proof by using a proof key included in the general operation verification circuit, coefficients of a polynomial function obtained through the zk-SNARK algorithm, and information required for verifying and proving from the general operation verification circuit; and a verifier terminal that performs verification of whether or not the proof is valid by using the verification key, the information required for verifying and proving from the general operation verification circuit, and the proof.
展开▼