RUS  ENG
Full version
JOURNALS // Prikladnaya Diskretnaya Matematika. Supplement // Archive

Prikl. Diskr. Mat. Suppl., 2021 Issue 14, Pages 119–125 (Mi pdma545)

Mathematical Foundations of Computer Security

On privacy in decentralized systems with tokens

L. R. Akhmetzyanovaa, A. A. Babuevaa, S. N. Kyazhinb, V. A. Popovb

a ООО «КРИПТО-ПРО», г. Москва
b Лаборатория блокчейн, Сбербанк России, г. Москва

Abstract: A three-level model of a decentralized system is proposed, the level with protocols for the creation and validation of private transactions is highlighted. The main feature of ensuring the transaction privacy in decentralized systems with tokens is the need to validate the various conditions for the transaction content without access to it. Therefore, classes of non-classical (and non-standardized in the Russian Federation) cryptographic mechanisms, which are often used in decentralized systems with private transactions, are highlighted. The non-universality of the existing formal definitions of such systems is shown. Therefore, formalizing the transaction privacy property in the general case is an open problem.

Keywords: decentralized system, privacy, token, zero knowledge proof, homomorphic encryption, commitment, aggregate signature, ring signature.

UDC: 004.056

DOI: 10.17223/2226308X/14/26



© Steklov Math. Inst. of RAS, 2024