Daily Hunting of The SNARK (01/30/23)
DAI
L Y
HUNT
ING
OF
SNARK
2023
CRYPTO
///
DAI
L Y
HUNT
ING
OF
SNARK
2023
CRYPTO
///
DAI
L Y
HUNT
ING
OF
SNARK
2023
CRYPTO
///
DAI
L Y
HUNT
ING
OF
SNARK
2023
CRYPTO
ZK 从一个理论密码学中的冷僻基础概念到一个程序员必会的技术，VC 必吹的 buzzword，再最终到一个中学生必知的知识，不过十余年左右的时间。在这个全民加速普及「零知识知识爆炸」的时代，再去问「有哪些入门资料」是荒谬的，至少应该去问「有哪些经典资料」。任何一个领域都是如此，资料虽多虽杂，但经典永流传。比如 Oded Goldreich 的两卷 Foundation of Cryptography 时隔多年依然是每一个严肃的零知识证明密码学研究者的必读文献。• BIU Winter School 的讲座视频
https://cyber.biu.ac.il/event/the-9th-
biu-winter-school-on-cryptography/ http://people.eecs.berkeley.edu/~
alexch/classes/CS294-F2020.html• zkHack 的 wihteboard sessions：https://zkhack.dev/whiteboard/
……
好吧，光是经典就已经很多了，我再来推荐几个很新但是有很大概率成为经典的资料： https://people.cs.georgetown.edu/
jthaler/ProofsArgsAndZK.html
https://discord.com/channels/740913
612368904192/902875064452677672
▲ Dan Boneh 和 Victor Shoup 的 A Graduate Course in Applied Cryptography 更新了 v0.6 版。http://toc.cryptobook.us/ 另外，其实资料本身并没有那么重要，关键的是学会学懂会用。如果你想在中文区进行有所沉淀的零知识证明理论和技术的学习（不局限于具体项目，甚至无关于具体区块链），可以来这个 Discord 学习讨论：【零知识证明技术讨论】 https://discord.gg/zCcQmxvTSJ设置 Cairo 开发环境：Protostar、Argent X 和 Starkscan 的终极开发环境https://www.argent.xyz/blog/setting-
up-a-cairo-development-environment/https://medium.com/starknet-edu/
the-starknet-stack-7b0d70a7e1d4写给大众的帐户抽象：2023 年了解账户抽象的完整指南https://camiinthisthang.substack.com/
p/account-abstraction-for-everyone 极速机器之向 Polygon zkEVM 添加递归 :https://polygon.technology/blog/the-
go-fast-machine-adding-recursion-
@Zero Knowledge Validator ：新 Mapping the ZK 博客文章。这一次，我们探索 @MinaProtocol 及其 zkApps。https://zkvalidator.com/mapping-
the-zk-ecosystem-mina-protocol/
zkLLVM：nil Foundation 开发的电路编译器https://blog.csdn.net/mutourend/article/
https://arxiv.org/pdf/2205.11652v2.pdf与 SNARK 用于链可扩展性的过度使用不同，这会有一个非常有趣的 SNARK 用例来减少共识回合中的轮次复杂性。我们的第一次 OpenZL 会议很成功！有 800 多名参与者和 11 位演讲者齐聚一堂，帮助我们让 ZKP 更容易使用。目标是让所有开发人员都可以访问 ZKP。如果错过了，可以通过我们的 YouTube 播放列表观看整个会议：https://www.youtube.com/playlist?
list=PLlcfbEGVTa-gfVw5oz6a3BxAaUvstvxzfOpenZL 旨在弥合无法进行优化的高级语言与需要大量密码专业知识的低级库之间的差距。我们相信弥合这一差距可以提高 ZK 应用开发的速度和安全性。https://github.com/OpenZkLib/
DA
I
L Y
HUNT
ING
OF
SNARK
2023
CRYPTO
///
DAI
L Y
HUNT
ING
OF
SNARK
2023
CRYPTO
///
DAI
L Y
HUNT
ING
OF
SNARK
2023
CRYPTO
/
/
/
DAI
L Y
HUNT
ING
OF
SNARK
2023
CRYPTO
本文由 zCloak Network 密码学研究员上一篇：Daily Hunting of The SNARK (01/29/23)
zCloak Network 是基于零知识证明技术的隐私计算服务平台，使用 zk-STARK 虚拟机为通用计算进行零知识证明的生成与验证。基于独创的自主权数据和自证明计算技术，可以让用户在无需对外发送数据的情况下，实现对数据的分析和计算。项目采用“零知识证明即服务”的商业模式，打造一站式的多链隐私计算基础设施。zCloak 的首个产品 zkID.app 是一个链上数字身份与数据隐私保护解决方案。无论是企业、个人还是 IoT 设备，都可以借由 zkID 获得符合 W3C 国际标准的数字身份，并完成相关数字凭证的制备、公证、传递和验证等相关工作，整个过程由符合工业标准的密码技术保障其安全可靠。
【免责声明】市场有风险，投资需谨慎。本文不构成投资建议，用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资，责任自负。
相关Wiki
