Highlights

NIST PQC Standardization Process | HQC Announced as a 4th Round Selection

HQC 在 NIST PQC 第四轮中被选中标准化，推进后量子密码学。

https://csrc.nist.gov/News/2025/hqc-announced-as-a-4th-round-selection

Math isn't ready to solve this problem

An introduction to the rank conjecture, an unsolved problem about elliptic curves.

介绍关于椭圆曲线的一个未解问题——秩猜想。

https://www.youtube.com/watch?v=6gCaEeBNlnk

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 开发的结构化路线图。它将「安全阶段」与「速度阶段」分开，为我们提供了一种透明的进度跟踪方式。

https://a16zcrypto.com/posts/article/secure-efficient-zkvms-progress/

Partial evaluations and linearization

Explains partial evaluations in Plonk, enabling efficient polynomial checks in zero-knowledge proofs.

介绍 Plonk 中的部分求值，实现高效的零知识证明多项式验证。

https://www.cryptologie.net/article/626/partial-evaluations-and-linearization/

Still confused by Plonk's permutation?

Explains Plonk's permutation argument with visual aids and code, simplifying its understanding in zero-knowledge proofs.

通过可视化和代码讲解 Plonk 置换论证，简化零知识证明的理解。

https://www.cryptologie.net/article/627/still-confused-by-plonks-permutation/

Papers

Transmitting Secrets by Transmitting only Plaintext

https://eprint.iacr.org/2025/438

Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth

https://eprint.iacr.org/2025/461

SoK: Efficient Design and Implementation of Polynomial Hash Functions over Prime Fields

https://eprint.iacr.org/2025/464

zkAML: Zero-knowledge Anti Money Laundering in Smart Contracts with whitelist approach

https://eprint.iacr.org/2025/465

PMNS arithmetic for elliptic curve cryptography

https://eprint.iacr.org/2025/467

Optimized Frobenius and Cyclotomic Cubing for Enhanced Pairing Computation

https://eprint.iacr.org/2025/468

Cross-Platform Benchmarking of the FHE Libraries: Novel Insights into SEAL and OpenFHE

https://eprint.iacr.org/2025/473

HammR: A ZKP Protocol for Fixed Hamming-Weight Restricted-Entry Vectors

https://eprint.iacr.org/2025/475

A Note on the Advanced Use of the Tate Pairing

https://eprint.iacr.org/2025/477

Post Quantum Migration of Tor

https://eprint.iacr.org/2025/479

Worst-case Analysis of Lattice Enumeration Algorithm over Modules

https://eprint.iacr.org/2025/480

RHQC: post-quantum ratcheted key exchange from coding assumptions

https://eprint.iacr.org/2025/481

An Efficient Sequential Aggregate Signature Scheme with Lazy Verification

https://eprint.iacr.org/2025/482

ZK Insights | 16th Mar 2025