Daily Hunting of The SNARK(01/28/23)

zCloak 隐私网络2023-02-10 09:55



Daily Hunting of The  

SNARK





■ Daily Hunting ●

■  Daily Hunting of The SNARK●




 @zeroknowledgefm ：
本周，@AnnaRRose 与 @SuccinctJT 聊了聊他在交互式证明 + SNARK 方面的工作。然后讨论了他的书《证明、论证和零知识》的制作 + 在 @zkhack discord 上围绕它形成的学习小组以及更多！
https://zeroknowledge.fm/261-2/
@Justin Thaler：我和 @AnnaRRose 聊得很开心！下个月的某个时候，我们将开始一个新的《证明、论证和零知识》的阅读小组。如果你有兴趣，请加入 Discord 进行日程安排和更新。
https://discord.com/channels/740913612368904192/902875064452677672
还可以查看两个新的 ZK 课程！
https://zkiap.com/ 
https://zk-learning.org/

 @grittygrease ：
关于密码学强化的地理访问控制的必读帖子。该系统将分布式系统与高级密码学（配对！）相结合，以解决高度受限环境中的密钥分发和访问控制问题。非常酷！
https://blog.cloudflare.com/inside-geo-key-manager-v2/

 @camiinthisthang ：
刚刚发布了我关于理解账户抽象的深入指南！这真的是我发表过的最好的作品之一，我很高兴能把那些难以理解的东西变得清晰和简单。
https://camiinthisthang.substack.com/p/account-abstraction-for-everyone

 @mempoolsurfer ：
想用 eth_call 验证某个 StarkNet 中的状态？我们有一个工具可以帮你！这是我们为为 Ethereum <- StarkNet 实现 CCIP 读取网关的工作的一部分（很快就会有更多消息）

https://ccip-helper.nethermind.io/

https://github.com/Kelvyne/starknet-storage-proof-solidity



 @0xtaetaehoho：Plonk 技能树 🎄
我发现仅通过原始论文来学习 ZK 非常困难。所以...我编制了一份资源清单，可指导你逐步了解概念以充分理解 Plonk。论文链接：
https://eprint.iacr.org/2019/953.pdf
计划如下：
    1. Plonk 工作原理的一般高级概述（假定熟悉 ECC 和 ZkSnarks）
    2. KZG
    3. Lagrange 基和线路约束
    4. 置换检验
    5. PCS 多重证明
    6. 放在一起
    7. 原始 plonk 的实现
@cryptodavidw 的视频概述：
https://www.youtube.com/watch?v=RUZcam_jrz0&list=PLBJMt6zV1c7Gh9Utg-Vng2V6EYVidTFCC
如果你的背景知识为零，我认为 Vitalik 的博客会有点难以理解。
@dankrad 的《理解 KZG 承诺》：
https://dankradfeist.de/ethereum/2020/06/16/kate-polynomial-commitments.html
@Zac_Aztec 的《理解线路约束》 (11:15-20:37)：
https://www.youtube.com/watch?v=NqrVcDuQ8hM
了解布线约束是如何证明的：
https://www.youtube.com/watch?v=eEFF7wGfJTY
@trailofbits 的 Fiat-shamir 
https://blog.trailofbits.com/2021/02/19/serving-up-zero-knowledge-proofs/
了解置换检验（关于 Sid 和 Ssigma 的直觉）
https://www.youtube.com/watch?v=ty-LZf0YCK0
更多关于置换检验（右移）：
https://www.youtube.com/watch?v=NqrVcDuQ8hM
再更多的关于置换检验：
https://www.youtube.com/watch?v=iY2ue8Kfsb0
了解批处理的 KZG：
https://github.com/ZK-Garage/plonk/tree/master/plonk-book
第二章过了一遍代数（希望他们也为最终验证这样做！）
https://dankradfeist.de/ethereum/2021/06/18/pcs-multiproofs.html
python 的玩具实现与 @ethorhil 的分步文档
https://github.com/ETHorHIL/Plonk_Py/blob/master/plonk_tutorial.ipynb
Rust 玩具实现：
https://github.com/adria0/plonk-by-fingers


注：作者 Kurt Pan 个人觉得这些文章很难读。纯粹是对手写和 latex 的偏好，但它们可能适合你！）




另外：
还有更多资源在这里：
https://github.com/Fluidex/awesome-plonk
如果想了解更多关于现代 plonk / plonk 实现的信息，请查看：
https://zeroknowledge.fm/news-2-on-optimization-plonk/
我也会在未来的某个时候做一个 Plonkish 系统技能树。
如果你盯着这些看得足够久，你很快就会对 plonk 有很好的理解，它是当今大多数证明系统的基础！我自己的数学水平算是中等，但这些资源会手把手地教你，一步一步地教你每个概念。一旦你学会了所有这些，不要忘记阅读论文的第 8 部分，看看每个步骤是如何组合在一起的！



本文由 zCloak Network 密码学研究员
Kurt Pan 整理发布
详情点击阅读原文





END


上一篇：Daily Hunting of The SNARK (01/27/23)





zCloak Network 是基于零知识证明技术的隐私计算服务平台，使用 zk-STARK 虚拟机为通用计算进行零知识证明的生成与验证。基于独创的自主权数据和自证明计算技术，可以让用户在无需对外发送数据的情况下，实现对数据的分析和计算。项目采用“零知识证明即服务”的商业模式，打造一站式的多链隐私计算基础设施。zCloak 的首个产品 zkID.app 是一个链上数字身份与数据隐私保护解决方案。无论是企业、个人还是 IoT 设备，都可以借由 zkID 获得符合 W3C 国际标准的数字身份，并完成相关数字凭证的制备、公证、传递和验证等相关工作，整个过程由符合工业标准的密码技术保障其安全可靠。

【免责声明】市场有风险，投资需谨慎。本文不构成投资建议，用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资，责任自负。

来源链接

相关Wiki

ProofFluiDexAva Protocol（原 OAK Network）zCloak NetworkSTRK$0.038-4.16%Channels

相关标签

zkSNARKsSolidityCCIPKEYDiscordPROOFOAK NetworkzCloak NetworkFluiDex