我们所处的互联网世界是在没有任何真正集成数字签名和验证事物是否真实的情况下发展起来。这也是我们被网络钓鱼仍然攻击的核心原因——我们的电子邮件中很少有人能够真正验证发件人是否真的是它所要找的人。" A  l& N3 w  Z& V) }4 O% o  v
! ]8 a" A3 Z$ h9 ^
最令人担忧的趋势之一是深度造假的使用，其中图像和视频被修改以改变视频中的主题。这可以在战争时期使用，可以向士兵发送他们的领导人告诉他们放下武器的视频。. [9 A7 A! }7 W' ]9 ^
( r! z2 ~" E" J/ G5 x4 B* }9 L
Kang, D.在其论文中提出了一种使用 zk-Snarks 的方法 [1]，在不实际泄露原始图像的情况下证明图像和任何编辑的确定性。现有的零知识证明方法需要披露原始图像或中间图像，这可能会泄露信息。通过 zk-Snarks方法 作者还扩展了现有研究以支持高清图像并消除了对可信第三方的需求。1 I  w/ R& N3 T4 `& E
8 R  w/ V+ e, @& }2 t& _
该论文提供了一个简单的深度伪造图像示例 [2]：* q5 n1 {- V6 W1 p8 U
$ I3 p; x1 h5 i

8 o7 z+ U# g; a: Z/ g# v, F6 o1 }7 q  y5 n) a

. r  t/ F0 M! T8 `3 z
9 j- V( Z' _6 w  K图 1：Deep Fake 示例 [2]7 a# U" y. h" C' y# i5 l

( R. q% B7 e7 z3 W6 _* A# S* X信任基础设施的核心部分是相机证明的使用，私钥存储在相机中，然后用于对图像进行数字签名。然后，公钥可以验证拍摄图像的相机。在许多情况下，原始图像将被修改以删除任何敏感信息。这可能与模糊车牌号或编辑图像中的人有关。因此，我们有一组可信的核心图像和一个或多个转换后的图像。然后可以将原始图像保密。' O8 v& p7 O: ^8 V

; K) X5 g% u, w# ?那么如何才能保护原始图像的隐私，而验证另一张图像是修改后的版本呢？为此，zk-img 对原始图像和转换后的图像进行哈希处理，并使用 zk-Snark 来证明计算是正确的。如果原始图像的哈希值为 H_1，修改后图像的哈希值为 H_2，那么我们只释放 H_2。
, c# P2 N0 s4 k