|
Mathematical Foundations of Computer Security
zk-SNARK-based data privacy method
D. O. Kondyrevabc a JetBrains Research
b Novosibirsk State University
c Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Abstract:
The paper presents a method for ensuring data confidentiality with the possibility of validation based on the zk-SNARK zero-knowledge proof protocol. This method allows the creation of zk-SNARK-based algorithms in Ethereum smart contracts code using high-level basic cryptographic schemes that implement logical operations (AND, OR, NOT) and comparison operations. Cryptographic schemes are implemented on the basis of the libsnark library as a rank-1 constraint systems (R1CS). The Ethereum virtual machine has been modified to include functions for schema creation, proof generation and verification.
Keywords:
distributed systems, blockchain, zero-knowledge proof, zk-SNARK, Ethereum platform.
Citation:
D. O. Kondyrev, “zk-SNARK-based data privacy method”, Prikl. Diskr. Mat. Suppl., 2021, no. 14, 132–134
Linking options:
https://www.mathnet.ru/eng/pdma547 https://www.mathnet.ru/eng/pdma/y2021/i14/p132
|
Statistics & downloads: |
Abstract page: | 143 | Full-text PDF : | 86 | References: | 27 |
|