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 置换论证，简化零知识证明的理解。
Papers
Transmitting Secrets by Transmitting only Plaintext
Preimage Attacks on up to 5 Rounds of SHA-3 Using Internal Differentials
A Unified Framework for Succinct Garbling from Homomorphic Secret Sharing
Homomorphic Signature-based Witness Encryption and Applications
Disincentivize Collusion in Verifiable Secret Sharing
Polar Lattice Cryptography
Verifiable Secret Sharing Based on Fully Batchable Polynomial Commitment for Privacy-Preserving Distributed Computation
A 10-bit S-box generated by Feistel construction from cellular automata
Revisiting the Security and Privacy of FIDO2
Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth
SoK: Efficient Design and Implementation of Polynomial Hash Functions over Prime Fields
zkAML: Zero-knowledge Anti Money Laundering in Smart Contracts with whitelist approach
PMNS arithmetic for elliptic curve cryptography
Optimized Frobenius and Cyclotomic Cubing for Enhanced Pairing Computation
Cross-Platform Benchmarking of the FHE Libraries: Novel Insights into SEAL and OpenFHE
HammR: A ZKP Protocol for Fixed Hamming-Weight Restricted-Entry Vectors
A Note on the Advanced Use of the Tate Pairing
Post Quantum Migration of Tor
Worst-case Analysis of Lattice Enumeration Algorithm over Modules
RHQC: post-quantum ratcheted key exchange from coding assumptions
An Efficient Sequential Aggregate Signature Scheme with Lazy Verification
