2024-10-13 zk-insights Weekly

如果你重视零知识证明技术信息的实效性和信息源质量的意义,不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失,请多支持我们(包括给予赞助支持),让这一汨清流继续流淌~

Highlights

On Distributed FRI-based Proof Generation

这篇博客讨论了分布式基于 FRI 的 SNARK 证明生成方案。方案将不同子多项式的证明过程分配到不同的证明者上,利用这些子多项式都符合低阶多项式检查的特性来组合它们,减少了计算和通信开销。

zkVM Testing Report: Evaluating Zero-Knowledge Virtual Machines for Nescience

WHIR: Reed–Solomon Proximity Testing with Super-Fast Verification

WHIR 既是里德-所罗门编码的 IOPP,也是多线性多项式承诺方案(PCS),并在所有此类方案中实现了最快的验证速度,甚至包括具有可信设置的单变量 PCS。 它在保持基于哈希方案的最先进参数大小和验证器哈希复杂度的同时,只需要透明设置并保证后量子安全。

Updates

circom 2.2.0 introduces a new feature called signal buses.

Papers

The Uber-Knowledge Assumption: A Bridge to the AGM

If you’d like to receive updates via email, click subscribe. Stay informed and never miss a post!

And our YouTube channel

点赞 0
收藏 0
分享
本文参与登链社区写作激励计划 ,好文好收益,欢迎正在阅读的你也加入。

0 条评论

请先 登录 后评论
Antalpha Labs
Antalpha Labs
江湖只有他的大名,没有他的介绍。