Geodesic
zk-SNARK-based data privacy method
Prikladnaya Diskretnaya Matematika. Supplement, no. 14 (2021), pp. 132-134.

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{PDMA_2021_14_a28,
     author = {D. O. Kondyrev},
     title = {zk-SNARK-based data privacy method},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {132--134},
     publisher = {mathdoc},
     number = {14},
     year = {2021},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2021_14_a28/}
}
TY  - JOUR
AU  - D. O. Kondyrev
TI  - zk-SNARK-based data privacy method
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2021
SP  - 132
EP  - 134
IS  - 14
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2021_14_a28/
LA  - ru
ID  - PDMA_2021_14_a28
ER  - 
%0 Journal Article
%A D. O. Kondyrev
%T zk-SNARK-based data privacy method
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2021
%P 132-134
%N 14
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2021_14_a28/
%G ru
%F PDMA_2021_14_a28
D. O. Kondyrev. zk-SNARK-based data privacy method. Prikladnaya Diskretnaya Matematika. Supplement, no. 14 (2021), pp. 132-134. http://geodesic.mathdoc.fr/item/PDMA_2021_14_a28/

[1] Ben-Sasson E., Chiesa A., Genkin D., et al., “SNARKs for C: Verifying program executions succinctly and in zero knowledge”, CRYPTO'2013, LNCS, 8043, 2013, 90–108 | MR | Zbl

[2] Kondyrev D. O., “Razrabotka metoda sokrytiya privatnykh dannykh dlya sistemy tenderov na osnove tekhnologii blokchein”, Prikladnaya diskretnaya matematika, 2020, no. 48, 63–81 | MR

[3] Eberhardt J., Tai S., “ZoKrates — scalable privacy-preserving off-chain computations”, IEEE Intern. Conf. Blockchain (Halifax, Canada, 2018), 1084–1091

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