如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～
Highlights
BitcoinOS - Open Sourcing the BitSNARK Verification Protocol
BitcoinOS 开源了 BitSNARK v.0.1，第一次使得使用户能够验证比特币上的零知识证明。允许任何人在不分叉代码的情况下升级网络。BitSNARK 协议是在比特币网络上验证零知识证明执行情况的一种方法，它允许将比特币的转移与可证明的外部事件（如另一个区块链上的资金转移或烧毁）挂钩。 这可用于原子交换、双向挂钩和其他跨链应用。
Lookups in Lurk
Lurk 目前的迭代版本（将在未来几个月内开源）使用 Sphinx 验证器，它是 Succinct Labs SP1 Prover 的友好分叉。 因此，Lurk 查找表技术的核心结构与 SP1 中使用的结构保持一致。第一篇短文旨在介绍支撑 Lurk 执行架构的查找表技术。 在第二篇短文中介绍该协议的简单实现中存在的合理性问题，以及修复建议。
RISC-V ZKVMs: the Good and the Bad
ZKVMs vs. ZK Circuits: A Spicy Debate
在本期节目中，我们将分别解读 ZKVMs 和 ZK Circuits 的独特之处。 我们将探讨使用通用 ZKVM 的利弊、对定制化 ZK 电路开发的影响，以及这些选择如何影响从开发人员体验到安全审计的方方面面。 本次讨论的目的是了解利弊权衡以及 ZK 如何与您项目的长期愿景相匹配。
In this episode, we’ll unpack what makes each approach unique. We’ll explore the pros and cons of using a generalizable ZKVM, the impact of custom circuit development, and how these choices affect everything from developer experience to security audits. The goal of this debate is understanding the trade-offs and how ZK fits into your project’s long-term vision.
Ova: A slightly better Nova
Ova 是 Bulletproof 的作者 Benedikt Bünz 提出的 一种 Nova 的微小改进。只需 1 组标量乘法和一定数量的哈希值和场运算就能产生递归电路。
Ova reduces the accumulation verifier in Nova from 2 to just 1 group exp, without increasing the number of hashes. This should yield the smallest recursive circuit to date. Should be useful for cyclefold.
A challenge on the Jolt zkVM
Giorgio Dell 在 MOCA 意大利黑客训练营期间 CTF "2+2=5 "密码学挑战的笔记，以 Jolt zkVM 为特点：它涉及利用修改版的 Jolt 库为 RISC-V 程序的无效执行制作证明。
Quantum Computing: Between Hope and Hype
by Scott Aaronson
Quantum Computer Programming in 100 Easy Lessons
卡内基梅隆大学 Ryan O'Donnell 关于量子计算机编程课程的课程视频，已经切分成了以单元为单位的 20 分钟左右长度的视频合集。
Binius STARK Proof Systems Over Binary Field
Eigen Network 提出了基于 Binius 的 二元域上的 STARK 证明系统，其构造基于多线性多项式。
Binius: Surfing on Binary Fields
Taiko Labs 关于 Binius 方案的概念介绍博客， 包含了域，当前 SNARKs 发展现状，SNARKs 运行和性能挑战，基于最小域的 SNARKs，二进制域塔式承诺的优势和未来，以及相关资源。是很好的入门读物。
Web Proof, Make more data verifiable
Here Come The Pufpunks
『解密』华为慕尼黑研究所密码学专家
Updates
a16z crypto Summer '24 Research Seminars
a16z 在今年夏天举办了第三届夏季研究项目，邀请学术界和工业界的研究人员前来分享他们的工作成果。包括 HyperNova，SNARK 安全性和持久加密等内容。
The Network State Conference 2024 - Livestream
Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey (With ZKP)
Hyper-Greco: Verifiable FHE with GKR
Papers
Detecting and Correcting Computationally Bounded Errors: A Simple Construction Under Minimal Assumptions
Dense and smooth lattices in any genus
On the Spinor Genus and the Distinguishing Lattice Isomorphism Problem
Enhancing Digital Privacy: The Application of Zero-Knowledge Proofs in Authentication Systems
If you’d like to receive updates via email, click subscribe. Stay informed and never miss a post!
-
原创
- 学分: 6
- 分类: Solidity
- 标签:
