Highlights

Verifiable Multi-Exponentiation and Multi-Scalar Multiplication (MSM)

介绍了一种验证多指数和多标量乘法 (MSM) 的方法，以方便外包这些计算。这允许证明者执行通常由验证者完成的计算。

• https://x.com/bennypinkas/status/1894789166220615804
• https://decentralizedthoughts.github.io/2025-02-14-verifiable-MSM/

Lattice-Based Proof Systems

本文探讨基于格的零知识证明及其在后量子密码学中构建安全高效密码协议的作用。

• https://mirror.xyz/privacy-scaling-explorations.eth/4OyAht_dHsVT1MgcZTwrK2qJ-bwxpINcpBmLNfF4I2E

Circle STARKs: Part II, Circles

这篇文章探讨了 Circle STARKs 的代数基础，介绍了复数、单位圆的群结构，以及其在 Circle STARKs 证明系统中的应用

• https://blog.zksecurity.xyz/posts/circle-starks-2/

Projects That Shaped Modern zkVMs — Part 1

这篇文章介绍了 zkVM（零知识虚拟机） 的概念，并回顾了塑造现代 zkVM 发展的关键项目。

• https://blog.zksecurity.xyz/posts/zkvm-projects-1/

Publicly Verifiable & Private Collaborative ML Model Training

本项目结合 MPC 与 ZK，利用 Noir 和 co-noir 实现私密且可验证的逻辑回归模型训练。

• https://hashcloak.github.io/noir-mpc-ml-report/introduction.html

亲手帮忙装了台量子计算机，量子时代要来了吗？

• https://www.youtube.com/watch?v=5DMVAqQ-dd8

特稿 | “矛”与“盾”的较量——西安电子科技大学密码学科发展侧记

• https://mp.weixin.qq.com/s/jUGq_i7J9m0tLK49ExaRwA

Known Attacks On Elliptic Curve Cryptography

本系列文章将介绍椭圆曲线是什么、可以对它们执行的基本操作以及如何在加密上下文中使用它们，大部分内容都是针对不正确实现或错误使用的已知攻击示例。

• https://github.com/elikaski/ECC_Attacks

Updates

Ligero Inc. has raised $4M in seed funding

• https://x.com/ligero_inc/status/1894781288273588551

Session 03 of Proof is in the Pudding

@cryptodavidw 分析了最近关于 Fiat-Shamir、GKR 以及如何证明虚假陈述的论文。

• https://x.com/archetypevc/status/1894422368908357783

PQC Rewind (2024 Edition): Stay Agile, Stay Ahead!

回顾 2024 年后量子密码学进展，涵盖混合密钥交换、ML-KEM 漏洞、NIST 更新及谷歌量子芯片 Willow。

• https://www.esat.kuleuven.be/cosic/blog/pqc-rewind-2024/

Papers

Fine-Grained Complexity in a World without Cryptography

• https://eprint.iacr.org/2025/324

On Quantum Money and Evasive Obfuscation

• https://eprint.iacr.org/2025/325

Bulletproofs for R1CS: Bridging the Completeness-Soundness Gap and a ZK Extension

• https://eprint.iacr.org/2025/327

Fully Asymmetric Anamorphic Homomorphic Encryption from LWE

• https://eprint.iacr.org/2025/328

Towards a White-Box Secure Fiat-Shamir Transformation

• https://eprint.iacr.org/2025/329

(Multi-Input) FE for Randomized Functionalities, Revisited

• https://eprint.iacr.org/2025/330

How to Share an NP Statement or Combiners for Zero-Knowledge Proofs

• https://eprint.iacr.org/2025/334

Privacy-Preserving Multi-Signatures: Generic Techniques and Constructions Without Pairings

• https://eprint.iacr.org/2025/335

Traceable Threshold Encryption without Trusted Dealer

• https://eprint.iacr.org/2025/342

Publicly Verifiable Generalized Secret Sharing and Its Application in Building Decentralized Exchange

• https://eprint.iacr.org/2025/344

Thorough Power Analysis on Falcon Gaussian Samplers and Practical Countermeasure

• https://eprint.iacr.org/2025/351

Efficient NIZK Arguments with Straight-Line Simulation and Extraction

• https://eprint.iacr.org/2025/352

Stronger Security for Threshold Blind Signatures

• https://eprint.iacr.org/2025/353