ZKPunk's ZK Insights

Highlights

Parallel Zero-knowledge Virtual Machine

scroll 团队在zkvm的性能极限上的探索:

• 证明系统上采用了并行GRK
• 更小的域算术
• 在opcode级别进行成本计算

小编认为除此之外，本文还有两个亮点，在第四章阐释了非对称证明协议，并基于此设计的 non-uniform 的 prover 是更好的选择。 在第六章介绍了一个 zkvm 的设计以及如何追踪一个程序的执行并让 trace 更接近 circuit。对zkvm设计有兴趣的同学推荐阅读。

• Paper

Updates

Succinct’s Platform, Prover Network and SP1

本次zk播客采访了最近很火的 Succinct 团队的创始人，介绍了他们做 alpha.succinct.xyz - 一个帮助开发者自动构建证明器，存储电路图的开发者工具 - 的动机。也介绍了他们对未来 zk 技术和市场的一些想法。

• podcast

Blitzar

Blitzar 是一个可用于GPU加速 zk 相关的数学计算的库，提供了如下功能:

• Curve-25519 and Ristretto25519
• Inner Product Argument

接口和使用挺方便的，有兴趣和需求的同学可以体验下。

• github

MACI v1.2.0 更新

MACI 是一个以太坊工具，为链上投票提供隐私和反串通能力。如果您对MACI不熟悉，我们建议先阅读我们的文档，了解背景信息和技术细节。

MACI通过使用加密和零知识证明（zk-SNARKs）来隐藏每个人的投票方式，同时公开揭示最终结果，从而解决了这个问题。用户无法证明他们投票选择了哪个选项，因此贿赂者无法可靠地相信用户投票了他们偏好的选项。例如，选民可以告诉贿赂者他们将投票支持选项A，但实际上他们投票支持选项B。无法可靠地证明选民实际投票了哪个选项，因此贿赂者对支付选民按照他们的意愿投票的动机较小。

在 1.2.0 更新里面，

• 支持非二次投票的投票
• 一种新的抵御女巫攻击的机制, 用户必须满足设定好的的条件才能参与投票。例如，用户可能需要证明拥有某个特定的NFT，或证明他们已经通过某种人证验证。

Resource:

• doc
• github