[Resource Topic] 2020/1579: Efficient Verifiable Image Redacting based on zk-SNARKs

Welcome to the resource topic for 2020/1579

Title:
Efficient Verifiable Image Redacting based on zk-SNARKs

Authors: Hankyung Ko, Ingeun Lee, Seunghwa Lee, Jihye Kim, 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.

ePrint: https://eprint.iacr.org/2020/1579

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .