Highlights
BitcoinOS - Open Sourcing the BitSNARK Verification Protocol
BitcoinOS 开源了 BitSNARK v.0.1，第一次使得使用户能够验证比特币上的零知识证明。允许任何人在不分叉代码的情况下升级网络。BitSNARK 协议是在比特币网络上验证零知识证明执行情况的一种方法，它允许将比特币的转移与可证明的外部事件（如另一个区块链上的资金转移或烧毁）挂钩。 这可用于原子交换、双向挂钩和其他跨链应用。
- You asked. We delivered.
Today we’re proud to open-source BitSNARK v.0.1 – an early version of the technology that allowed us to verify the first zero-knowledge proof on Bitcoin.
Bitcoin has broken free of its technical shackles, allowing anyone to upgrade the network without… https://www.bitcoinos.build/blog/bitcoinos-open-sourcing-the-bitsnark-verification-protocol
85
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 安全性和持久加密等内容。
- This summer, we held our third summer research program, where we invite researchers from academia and industry to come and share their work.
We also publicly release all of their presentations to make the community stronger.
Check out the first three videos below: https://www.youtube.com/playlist?list=PLjQ9HCQMu_8zlqApmyd2_cJZHstiNbirl
The Network State Conference 2024 - Livestream
Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey (With ZKP)
Hyper-Greco: Verifiable FHE with GKR
- Greco -> HyperGreco
Proof generation for verifiable FHE encryption (BFV) for a ciphertext with n=32768 and noise budget log(q)= 940 got from 170s to 5s!
How? GKR, smaller field, Lasso range checks! (details in repo):
github.comGitHub - nulltea/hyper-greco: Verifiable FHE with GKR
Verifiable FHE with GKR. Contribute to nulltea/hyper-greco development by creating an account on GitHub.
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
Founding Quantum Cryptography on Quantum Advantage, or, Towards Cryptography from #P-Hardness
Compact Proofs of Partial Knowledge for Overlapping CNF Formulae
The transition to post-quantum cryptography, metaphorically
The Power of NAPs: Compressing OR-Proofs via Collision-Resistant Hashing
部分知识证明最早由 Cramer、Damgård 和 Schoenmakers（CRYPTO'94）以及 De Santis 等人（FOCS'94）提出，它允许证明𝑛个不同声明中𝑘个声明的有效性，但不透露是哪些声明。 作者提出了一种新方法，将某些证明系统转化为新的证明系统，允许证明部分知识。 由此产生的证明系统的通信复杂度仅与语句总数 n 成对数关系，其安全性仅依赖于抗碰撞哈希函数的存在。举例来说，作者证明了提出的转换适用于 Goldreich、Micali 和 Wigderson（FOCS'86）针对图同构和图 3 着色问题的证明系统。作者的主要技术工具是一种称为非适应性可编程函数（NAPs）的新加密基元，我们认为它具有独立的意义。这些函数可以看作是伪随机函数，可以在输入点对输出进行重新编程，而输入点在密钥生成过程中必须是固定的。即使给定了重新编程的密钥，要找出重新编程的位置仍然是不可行的。非适应性可编程函数（NAPs）是在适应性可编程函数的基础上发展而来的，根据应用场景，它去除了适应性可编程函数的一部分灵活性，带来了效率的明显提升。