Zk-snark-based data privacy method | Applied Discrete Mathematics. Supplement. 2021. № 14. DOI: 10.17223/2226308X/14/28

Zk-snark-based data privacy method

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.

Download file

Counter downloads: 27

Keywords

distributed systems, blockchain, zero-knowledge proof, zk-SNARK, Ethereum platform

Authors

Name	Organization	E-mail
Kondyrev D. O.	Novosibirsk State University; Cryptography Laboratory JetBrains Research; Institute of Mathematics. S. L. Soboleva	dkondyrev@gmail.com

Всего: 1

References

https://github.com/scipr-lab/libsnark - libsnark: a C++ library for zkSNARK proofs.

Eberhardt J. and Tai S. ZoKrates - scalable privacy-preserving off-chain computations // IEEE Intern. Conf. Blockchain. Halifax, Canada, 2018. P. 1084-1091.

Кондырев Д.О. Разработка метода сокрытия приватных данных для системы тендеров на основе технологии блокчейн // Прикладная дискретная математика. 2020. № 48. С. 63-81.

Ben-Sasson E., Chiesa A., Genkin D., et al. SNARKs for C: Verifying program executions succinctly and in zero knowledge // CRYPTO'2013. LNCS. 2013. V. 8043. P. 90-108.