Paper 2020/1579

Efficient Verifiable Image Redacting based on zk-SNARKs

Hankyung Ko, Ingeun Lee, Seunghwa Lee, Jihye Kim, and Hyunok Oh

Abstract

Image is a visual representation of a certain fact and can be used as proof of events. As the utilization of the image increases, it is required to prove its authenticity with the protection of its sensitive personal information. In this paper, we propose a new efficient verifiable image redacting scheme based on zk-SNARKs, a commitment, and a digital signature scheme. We adopt a commit-and-prove SNARK scheme which takes commitments as inputs, in which the authenticity can be quickly verified outside the circuit. We also specify relations between the original and redacted images to guarantee the redacting correctness. Our experimental results show that the proposed scheme is superior to the existing works in terms of the key size and proving time without sacrificing the other parameters. The security of the proposed scheme is proven formally.

Metadata
Available format(s)
PDF
Category
Cryptographic protocols
Publication info
Published elsewhere. Asiaccs 2021
DOI
10.1145/3433210.3453110
Keywords
zk-SNARKimage authenticationprivacyfiltering
Contact author(s)
hankyungko @ hanyang ac kr
ingeunlee @ kookmin ac kr
ttyhgo @ kookmin ac kr
jihyek @ kookmin ac kr
hoh @ hanyang ac kr
History
2021-06-02: revised
2020-12-21: received
See all versions
Short URL
https://ia.cr/2020/1579
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2020/1579,
      author = {Hankyung Ko and Ingeun Lee and Seunghwa Lee and Jihye Kim and Hyunok Oh},
      title = {Efficient Verifiable Image Redacting based on zk-SNARKs},
      howpublished = {Cryptology ePrint Archive, Paper 2020/1579},
      year = {2020},
      doi = {10.1145/3433210.3453110},
      note = {\url{https://eprint.iacr.org/2020/1579}},
      url = {https://eprint.iacr.org/2020/1579}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.