Geodesic
Zero-knowledge succinct non-interactive arguments of~knowledge based on sets of polynomials
Prikladnaâ diskretnaâ matematika, no. 1 (2023), pp. 20-57

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

The paper discusses the basic principles of construction and the main types of zero-knowledge succinct non-interactive argument of knowledge (zk-SNARK) which is used in the model of a three-way insecure computing environment and based on sets of polynomials. A number of zk-SNARK cryptographic protocols with different algorithms for generating public parameters (Trusted Setup) are given, constructing succinct proofs of reliability calculations (Prover) and public/designated verification of proofs (Verifier). The cases of satisfying the feasibility of discrete functions (arithmetic/ Boolean circuits) using different polynomial sets are presented in quadratic arithmetic programs (QAP), square arithmetic programs (SAP), quadratic span programs (QSP), square span programs (SSP), quadratic polynomial programs (QPP), etc., also the use of authenticated data are described. The cryptographic transformations needed to build zk-SNARKs based on symmetric and asymmetric hash functions, exponential knowledge problems, digital signatures, homomorphic encryption, bilinear pairings based on elliptic curves, etc. are presented. Examples of multilateral verifiable calculations based on zk-SNARK are given.
Keywords: proof of knowledge, reliability of calculations, zero knowledge, succinct non-interactive arguments. 
@article{PDM_2023_1_a1,
     author = {I. V. Martynenkov},
     title = {Zero-knowledge succinct non-interactive arguments of~knowledge based on sets of polynomials},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {20--57},
     publisher = {mathdoc},
     number = {1},
     year = {2023},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2023_1_a1/}
}
TY  - JOUR
AU  - I. V. Martynenkov
TI  - Zero-knowledge succinct non-interactive arguments of~knowledge based on sets of polynomials
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2023
SP  - 20
EP  - 57
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2023_1_a1/
LA  - ru
ID  - PDM_2023_1_a1
ER  - 
%0 Journal Article
%A I. V. Martynenkov
%T Zero-knowledge succinct non-interactive arguments of~knowledge based on sets of polynomials
%J Prikladnaâ diskretnaâ matematika
%D 2023
%P 20-57
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2023_1_a1/
%G ru
%F PDM_2023_1_a1
I. V. Martynenkov. Zero-knowledge succinct non-interactive arguments of~knowledge based on sets of polynomials. Prikladnaâ diskretnaâ matematika, no. 1 (2023), pp. 20-57. http://geodesic.mathdoc.fr/item/PDM_2023_1_a1/