。

Groth16是一种高效且广泛使用的零知识简洁非交互知识证明#xff08;Zero-Knowledge

Succinct

Move允许用户使用Groth16进行高效验证任何非确定性多项式时间Non-deterministic

Polynomial

NP状态。

Groth16是一种高效且广泛使用的零知识简洁非交互知识证明Zero-Knowledge

Succinct

零知识证明是增强区块链隐私和安全的关键密码方法。

它允许一方“证明者”向另一方“验证者”证明某个语句为真而不揭示任何机密细节。

例如证明者可以证明他们知道某个谜题的答案而不揭示答案本身。

Groth16满足传统的非交互式零知识Non-Interactive

Zero

KnowledgeNIZK所具有的正确性、健全性和零知识性。

此外它还满足了更强的知识健全性大致意味着产生验证证明的一方实际上确实知道一个有效的答案。

然而在将Groth16用作更大应用的一部分来实例化NIZK时开发者需要确保所需的NIZK特性由原始的Groth16系统提供。

应用程序可能需要NIZK的一些其他属性包括模拟健全性、真实模拟健全性、颠覆抵抗性和模拟可提取性。

文献中有很多资料表明单独的Groth16并不满足这些属性。

但当Groth16用作成员关系的零知识论证时这些属性的缺失并不会影响系统的预期安全性或隐私性。

Groth16证明是可重混淆的允许公开生成语句的新证明。

换句话说证明者发送的证明可以被混淆看起来完全不同尽管它仍然是相同语句的有效证明。

事实上重混淆在某些应用中已被用作一种特性。

然而应用程序开发者需要仔细理解这一特性以防止在某些情况下发生双花攻击。

特别是应该在应用层中认识到同一状态下两个不同的证明对应于相同的消费操作。

对于这一特性的类比假设Alice和Bob共享一个名为Caesar编码本其中

A对应KB对应DC对应M以此类推用来传递秘密消息。

Alice将消息“Hello”加密为“IFOOR”。

正在观察秘密传输的Eve可以进一步混淆消息例如将所有字母都向后移动5位。

新消息变为NKTTW,

5。

Bob仍然可以通过先向前移动5位然后反向应用密码本来解密这条消息。

关键在于Alice和Bob之间的通信仍然保密但同时Eve可以将消息混淆得完全不同。

同样的类比适用于Groth16

NIZKs在这里我们使用证明而不是加密、秘密见证而不是秘密明文、可验证而不是解密来通信。

Knowledge

KnowledgeZKPoK。

在这类应用中需要注意Groth16并不提供一种称为“模拟可提取性”的属性。

该属性背后的直觉如下假设有两个数独谜题分别为SP1和相关的谜题SP2它们都有解。

一个诚实的参与者发布了一个证明pi证明他们知道如何解决SP1。

那么一个攻击者能否在不知道完整解法的情况下产生一个声称解决SP2的证明pi呢需要注意的是由于这两个谜题都有解这样的攻击者不会违反NIZK的可靠性属性。

事实证明满足一个较弱的模拟可提取性足以安全地将大多数这类应用变成实例。

幸运的是Groth16可以较弱的满足这个概念前提是满足一些技术要求。

Andrija

Novakovic和Kobi

Gurkan描述了一种简单的方法可以修改证明者使得证明满足所有这些技术条件。

snarkjs和arkworks库已经整合了这些修改使用这些库的部署对于这些特定攻击是免疫的。

特别地是这些技术条件强加了对仅由证明者使用的程序即二次算术程序Quadratic

Arithmetic

SystemR1CS。

Groth16验证器不需要这些作为输入因此这些要求在证明者端可能更好地履行。

此外并非所有应用都需要这些额外的属性。

因此在Move方面不太可能进行任何修改来适应这些更强的属性的保证而是鼓励开发者融入适当的应用安全措施。

Sui

Sui是基于第一原理重新设计和构建而成的L1公有链旨在为创作者和开发者提供能够承载Web3中下一个十亿用户的开发平台。

Sui上的应用基于Move智能合约语言并具有水平可扩展性让开发者能够快速且低成本支持广泛的应用开发。

获取更多信息https://linktr.ee/sui_apac