ZKPunk's ZK Insights

Highlights

Mangrove: A Scalable Framework for Folding-based SNARKs

提出了一个构建高效的基于 folding 的 SNARK 框架。

首先，为 NP 语句开发了一个新的「均匀化」编译器，将任何多项式时间计算转换为一系列相同的简单步骤。由此产生的均匀计算特别适合通过基于folding的 IVC 方案进行处理。

其次，对基于 folding 的 IVC 进行了两项优化。第一个方法通过重构应用 folding 的关系来减少 IVC 的递归开销。第二个采用「commit-and-fold」策略来进一步简化关系。这些优化共同得到了具有许多良好性质的基于 folding 的 SNARK。

该方案使用常数大小 CRS。证明者具有

(i) 低内存占用， (ii) 仅对数据进行两次传递， (iii) 高度可并行化，以及 (iv) 具体高效。 微基准测试表明，证明时间与领先的单体 SNARK 相当，并且比其他流式 SNARK 快得多。在笔记本电脑上，对于 2^24 (2^32) 个门，Mangrove 证明者预计需要 2 分钟（8 小时），峰值内存使用量约为 390 MB (800 MB)。

• paper:https://eprint.iacr.org/2024/416

Stwo

Stwo（STARK Two）是 Starknet 下一代证明器的名称，旨在增强、加速并最终取代当前的证明器 – Stone（STARK One）。Stwo 的效率预计是 Stone 速度的 100 倍，将使用 Circle STARK 方案。Circle STARK 通过定义在 Mersenne 质数 M31（素数 2^31-1）上的圆上点的序列，找到了一个能够产生大量点且符合特定重复结构的方法。这种结构是高效 STARKs 的关键，因为它允许使用快速递归算法。

• link: https://elibensasson.blog/2024/03/15/why-im-excited-by-circle-stark-and-stwo/

Updates

Sindri - ZKP API service

ZKP API 服务 Sindri 宣布和 IDE 工具 Remix 集成，旨在通过将 Sindri 的强大 API 嵌入到开发者已经依赖的基于浏览器的 Remix 解决方案中，简化零知识（ZK）开发过程。

Sindri是一个旨在简化零知识证明（ZKP）生成的 API 服务。它通过提供易于使用的 API 调用，将复杂的 ZKP 开发变得更简单。Sindri 还利用 GPU 和新算法来解决证明生成的瓶颈，提供与公开可用基准相媲美的性能。

Remix 是一个流行的开源 Web IDE（集成开发环境），专为智能合约开发和以太坊应用编程设计。它允许开发者直接在浏览器中编写、测试和部署智能合约，无需安装额外软件。

通过本次集成，开发者可以在浏览器中开发 ZK 电路和应用程序，并在浏览器中生成并验证 ZK 证明。为了进一步加快开发过程，此集成为内置于 Remix 中的 Circom 开发提供了预构建的帮助程序模板，这些模板可以允许开发人员直接进入构建。

link：https://sindri.app/blog/2024/03/13/remix-sindri/

BabySpartan

Setty 在 PSE 对最新的 BabySpartan 工作进行了介绍。

BabySpartan 是 SuperSpartan 和 Lasso 的简单组合。通过对 PCS 进行优化，可确保证明者以加密方式仅承诺「小」数值，避免大数值计算开销。

• link：https://www.youtube.com/watch?v=6VuYqRcnhbA

zkKYC

• 相关 resource:

• https://twitter.com/RiscZero/status/1767366884746469864 https://www.risczero.com/blog/

• decentralized-identity-verification-with-zkkyc-and-soulbound-nfts

• https://www.youtube.com/watch?v=oGjJ-rTFtQc&t=39s https://eprint.iacr.org/2023/296