Paper 2025/1194

Private coins extension with verifiable encryption

Oleg Fomenko, Distributed Lab
Abstract

This paper introduces a protocol for verifiable encryption of values committed using Pedersen commitments. It enables a recipient to decrypt the hidden amount while proving its consistency with the original commitment, without revealing the value publicly. The construction combines symmetric encryption with zero-knowledge proofs and is made non-interactive via the Fiat-Shamir heuristic. The protocol is particularly useful in blockchain settings where confidential but verifiable value transfers are required.

Metadata
Available format(s)
PDF
Category
Cryptographic protocols
Publication info
Preprint.
Keywords
Confidential assetsVerifiable encryptionSigma-protocolPedersen commitment
Contact author(s)
oleg fomenko @ distributedlab com
History
2025-06-30: approved
2025-06-26: received
See all versions
Short URL
https://ia.cr/2025/1194
License
Creative Commons Attribution-NonCommercial-NoDerivs
CC BY-NC-ND

BibTeX

@misc{cryptoeprint:2025/1194,
      author = {Oleg Fomenko},
      title = {Private coins extension with verifiable encryption},
      howpublished = {Cryptology {ePrint} Archive, Paper 2025/1194},
      year = {2025},
      url = {https://eprint.iacr.org/2025/1194}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.