Popis: |
Предлагается трёхуровневая модель функционирования децентрализованной системы, выделяется уровень, на котором выполняются протоколы формирования и валидации конфиденциальных транзакций. Приводится особенность обеспечения конфиденциальности транзакций в децентрализованных системах учёта токенов — потребность проверять выполнение различных условий для содержимого транзакций без получения доступа к нему. Выявляются классы неклассических (и нестандартизированных в России) криптографических механизмов, часто используемых в децентрализованных системах, в которых обеспечивается конфиденциальность транзакций. Показывается неуниверсальность существующих формальных определений таких систем, вследствие чего на текущий момент задача формализации свойства конфиденциальности транзакций в общем случае является открытой. 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. |