<100 subscribers
新芯片展示了纠错和性能，为实用的大规模量子计算机铺平了道路。
New chip demonstrates error correction and performance that paves the way to a useful, large-scale quantum computer
这篇文章的目标不仅是提供客观的性能指标，还包括分享在使用这个工具包进行开发时的主观体验。
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.
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 的 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 是一种新型低内存 SNARK，能够在使用最少内存的情况下证明任意大小的电路。
Scribe!Scribe is a new low-memory SNARK that is able to prove arbitrarily-large circuits while using minimal memory.
文章详细解析了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.
文章揭示了 Jolt zkVM 的关键安全漏洞，包括执行轨迹验证、输出检查和内存布局问题，并详细说明了修复措施。
The article uncovers critical security flaws in Jolt zkVM, including execution trace validation, output checking, and memory layout issues, detailing their fixes.
文章介绍数学家发现了一种新方法，通过粗素数和 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.
由 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.
If you’d like to receive updates via email, click subscribe button blow. Stay informed and never miss a post!
