Highlight
Google Quantum AI: Meet Willow, our state-of-the-art quantum chip
新芯片展示了纠错和性能，为实用的大规模量子计算机铺平了道路。
New chip demonstrates error correction and performance that paves the way to a useful, large-scale quantum computer
Your definitive guide to zkVMs
这篇文章的目标不仅是提供客观的性能指标，还包括分享在使用这个工具包进行开发时的主观体验。
The goal of this article is to not only provide objective performance metrics but also talk about the subjective experience while we were building using this toolkit.
Introducing the fhEVM Coprocessor: Run FHE smart contracts on Ethereum, Base, and other EVM chains
Zama 的 fhEVM Coprocessor 利用全同态加密（FHE）实现 EVM 链上隐私智能合约，保障数据隐私、可扩展性和可组合性，支持隐私稳定币、治理和代币化等应用，并通过 Solidity 简化开发。
Zama’s fhEVM Coprocessor enables confidential smart contracts on EVM chains using FHE, ensuring data privacy, scalability, and composability, supporting applications like private stablecoins, governance, and tokenization, all programmable via Solidity.
Brave: Commitments and zero-knowledge attestations over TLS 1.3: DiStefano protocol
Brave 的 DiStefano 协议在 TLS 1.3 基础上实现零知识证明，支持数据承诺、隐私验证及高效集成，用于年龄验证和防欺诈等场景。
Brave’s DiStefano protocol enables zero-knowledge proofs over TLS 1.3, ensuring secure data commitments, privacy-preserving attestations, and efficient integration for applications like age verification and anti-fraud checks.
Scribe: Low-memory SNARKs via Read-Write Streaming
Scribe 是一种新型低内存 SNARK，能够在使用最少内存的情况下证明任意大小的电路。
Scribe!Scribe is a new low-memory SNARK that is able to prove arbitrarily-large circuits while using minimal memory.
zk, verifiability, and privacy projects on Solana
A Technical Dive into Jolt: The RISC-V zkVM
文章详细解析了Jolt zkVM的工作原理，包括指令查找、离线内存检查及R1CS约束，展示其如何通过零知识证明验证 RISC-V 程序的正确性。
The article provides a detailed explanation of how Jolt zkVM works, covering instruction lookup, offline memory checking, and R1CS constraints to verify RISC-V program correctness using zero-knowledge proofs.
Improving the Security of the Jolt zkVM
文章揭示了 Jolt zkVM 的关键安全漏洞，包括执行轨迹验证、输出检查和内存布局问题，并详细说明了修复措施。
The article uncovers critical security flaws in Jolt zkVM, including execution trace validation, output checking, and memory layout issues, detailing their fixes.
Mathematicians Uncover a New Way to Count Prime Numbers
文章介绍数学家发现了一种新方法，通过粗素数和 Gowers 范数工具，证明了某些形式素数的无限性，为数论研究带来突破。
The article details how mathematicians used rough primes and Gowers norms to prove the infinitude of specific prime forms, marking a breakthrough in number theory.
2024 ZK Market Map
由 Electric Capital 整理，主要是五个大方向，包括：应用、协议、开发者工具和服务、互操作性和中间件、核心基础设施，技术难度依次递增。
Made by Electric Capital, there are five major directions, including: applications, protocols, developer tools and services, interoperability and middleware, and core infrastructure, with the technical difficulty increasing in sequence.
Updates
Keccak256 hash trace proving & verifying with Binius
Papers
【论文速递】Asiacrypt'24（零知识协议、可验证计算、折叠方案、简洁论证）
【论文速递】TCC'2024 （证明、单向函数、格、同态、混淆）
On the Security of LWE-based KEMs under Various Distributions: A Case Study of Kyber
Low Communication Threshold Fully Homomorphic Encryption
Garbled Circuits with 1 Bit per Gate
BOIL: Proof-Carrying Data from Accumulation of Correlated Holographic IOPs
Token-Based Key Exchange - Non-Interactive Key Exchange meets Attribute-Based Encryption
BitVM: Quasi-Turing Complete Computation on Bitcoin
Evasive LWE Assumptions: Definitions, Classes, and Counterexamples
Xiezhi: Toward Succinct Proofs of Solvency
Regev's attack on hyperelliptic cryptosystems
The Mis/Dis-information Problem is Hard to Solve
Anonymous credentials from ECDSA
Honest-Majority Threshold ECDSA with Batch Generation of Key-Independent Presignatures
Crescent: Stronger Privacy for Existing Credentials
Universal SNARGs for NP from Proofs of Correctness
The Existence of Quantum One-Way Functions
On the BUFF Security of ECDSA with Key Recovery
The Revisited Hidden Weight Bit Function
Learnings
0xPARC book: Programmable Cryptography
awesome-miden
Lattice Based Cryptography for Beginners
Introduction to Blockchain Mechanism Math, Terminology, and Hieroglyphics
If you’d like to receive updates via email, click subscribe button blow. Stay informed and never miss a post!