Highlights
NIST PQC Standardization Process | HQC Announced as a 4th Round Selection
HQC 在 NIST PQC 第四轮中被选中标准化，推进后量子密码学。
Math isn't ready to solve this problem
An introduction to the rank conjecture, an unsolved problem about elliptic curves.
介绍关于椭圆曲线的一个未解问题——秩猜想。
The path to secure and efficient zkVMs: How to track progress
A post outlining a structured roadmap for zkVM development. It separates “security stages” from “speed stages,” giving us a transparent way to track progress.
这篇文章概述了 zkVM 开发的结构化路线图。它将「安全阶段」与「速度阶段」分开，为我们提供了一种透明的进度跟踪方式。
Partial evaluations and linearization
Explains partial evaluations in Plonk, enabling efficient polynomial checks in zero-knowledge proofs.
介绍 Plonk 中的部分求值，实现高效的零知识证明多项式验证。
Still confused by Plonk's permutation?
Explains Plonk's permutation argument with visual aids and code, simplifying its understanding in zero-knowledge proofs.
通过可视化和代码讲解 Plonk 置换论证，简化零知识证明的理解。
