Cover photo

ZK Insights | 30th Mar 2025

#56

0x1130e84c64Eb0288B5EC9DB460738cfc37F490F6

0x1130...90F6

Share Dialog

Highlights

ETHDILITHIUM and ETHFALCON for Ethereum PQ Era

ETHFALCON is an Ethereum-optimized post-quantum signature scheme balancing on-chain efficiency and security.

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

Graviola

Graviola is a compendium of high quality, fast and easy to build cryptography for Rust, aimed at use with rustls.

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

A short note on Post Quantum Verkle explorations

Explores PQ-resistant Verkle alternatives for Ethereum statelessness, focusing on differential updatability and aggregatable proof structures.

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

A dive into VOLE-based Zero Knowledge - Xiao Wang

This presentation Xiao Wang provides an introduction into VOLE-based Zero Knowledge proving systems, with a focus on the Quicksilver protocol. VOLE-based proving systems distinguish themselves with high prover performance with minimal memory overhead, with applicability to client side proving applications.

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

Updates

ZKProof 7 in Sofia

ZKProof 7 takes place March 23–25, 2025, in Sofia, Bulgaria, spotlighting ZK proof standardization and cutting-edge research.

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

how to recursively verify a proof in Noir

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

This repository shows how to use recursive proofs in Noir.

Papers

SoK: Fully-homomorphic encryption in smart contracts

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

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

Plonkify: R1CS-to-Plonk transpiler

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

A Fiat-Shamir Transformation From Duplex Sponges

Efficient Proofs of Possession for Legacy Signatures

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

Tangram: Encryption-friendly SNARK framework under Pedersen committed engines

That's AmorE: Amortized Efficiency for Pairing Delegation

Breaking HuFu with 0 Leakage: A Side-Channel Analysis

Public Key Accumulators for Revocation of Non-Anonymous Credentials

ANARKey: A New Approach to (Socially) Recover Keys

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

Soloist: Distributed SNARKs for Rank-One Constraint System

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

Attacking soundness for an optimization of the Gemini Polynomial Commitment Scheme

ZK Insights | 30th Mar 2025