Highlights

ETHDILITHIUM and ETHFALCON for Ethereum PQ Era

ETHFALCON 是为以太坊优化的后量子签名方案，兼顾链上验证效率与安全性。

• https://zknox.eth.limo/posts/2025/03/21/ETHFALCON.html

Graviola

Graviola 是一套高质量、快速且易于为 Rust 构建的加密概要，旨在与 rustls 一起使用。

• https://github.com/ctz/graviola
• https://www.youtube.com/watch?v=zmxMh06OtXc

A short note on Post Quantum Verkle explorations

探索抗量子 Verkle Tree 替代方案，旨在实现以太坊无状态性与更高存储效率。重点在差分更新与可聚合证明。

• https://ethresear.ch/t/a-short-note-on-post-quantum-verkle-explorations/22001

A dive into VOLE-based Zero Knowledge - Xiao Wang

本演讲由 Xiao Wang 介绍基于 VOLE 的零知识证明系统，重点介绍 Quicksilver 协议。基于 VOLE 的证明系统具有高证明器性能和最小内存开销的特点，适用于客户端证明应用程序。

• https://www.youtube.com/watch?v=U30lzH0k5f8

Updates

ZKProof 7 in Sofia

ZKProof 7 于 2025 年 3 月 23–25 日在保加利亚索非亚举行，聚焦零知识证明标准化与最新研究进展。

• https://zkproof.org/events/zkproof-7-sofia/

how to recursively verify a proof in Noir

这个仓库展示如何用 Noir 语言使用递归证明。

• https://x.com/0xteddav/status/1904848038453010608
• https://github.com/teddav/noir-recursive

Papers

SoK: Fully-homomorphic encryption in smart contracts

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

VeRange: Verification-efficient Zero-knowledge Range Arguments with Transparent Setup for Blockchain Applications and More

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

JesseQ: Efficient Zero-Knowledge Proofs for Circuits over Any Field

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

Plonkify: R1CS-to-Plonk transpiler

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

zkPyTorch: A Hierarchical Optimized Compiler for Zero-Knowledge Machine Learning

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

A Fiat-Shamir Transformation From Duplex Sponges

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

Efficient Proofs of Possession for Legacy Signatures

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

Aegis: Scalable Privacy-preserving CBDC Framework with Dynamic Proof of Liabilities

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

Tangram: Encryption-friendly SNARK framework under Pedersen committed engines

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

That's AmorE: Amortized Efficiency for Pairing Delegation

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

Breaking HuFu with 0 Leakage: A Side-Channel Analysis

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

Public Key Accumulators for Revocation of Non-Anonymous Credentials

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

ANARKey: A New Approach to (Socially) Recover Keys

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

Analyzing Group Chat Encryption in MLS, Session, Signal, and Matrix

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

Soloist: Distributed SNARKs for Rank-One Constraint System

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

An Optimized Instantiation of Post-Quantum MQTT protocol on 8-bit AVR Sensor Nodes

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

Attacking soundness for an optimization of the Gemini Polynomial Commitment Scheme

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