Paper 2025/1194 Original: eprint.iacr.org/2025/1194 ↗

Private coins extension with verifiable encryption

Oleg Fomenko
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.
History
2025-06-26: last updated
2025-06-26: published
Short URL
https://ia.cr/2025/1194
License
https://creativecommons.org/licenses/by-nc-nd/4.0/

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, this archive does not use cookies or embedded third party content.