Highlights

The Era of Provable Software

The article explores the rise of provable software, enabled by zero-knowledge proofs (ZK), highlighting the transition from application-specific implementations to general-purpose standards and driving new infrastructure development.

文章探讨了可证明软件的兴起，其通过零知识证明（ZK）技术实现计算验证，从应用专用到通用标准的转变推动了新基础设施的构建。

Irreducible launches alpha-ready Binius library and its first application, an Ethereum state proving service.

Pick, Prove, Profit: The NIVC Singularity.

To understand what it is and why its useful.

了解 NIVC 是什么以及为什么有用。

Part 6: CKKS Scheme | Building Blocks of FHE

The article explains the CKKS encryption scheme, focusing on encoding, decoding, key generation, and homomorphic operations, ideal for approximate arithmetic in privacy-preserving applications.

文章介绍了 CKKS 加密方案的编码、解码、密钥生成及同态运算，适用于近似数值运算的隐私保护应用。

An interactive visualization website of Dan Boneh’s cryptography course

Forking the RANDAO: Manipulating Ethereum’s Distributed Randomness Beacon

This proposal analyzes Ethereum's RANDAO manipulability, introducing forking with selfish mixing attacks and exploring short- and long-term countermeasures.

提案分析 RANDAO 的分叉操控性，提出结合自私混合与分叉的策略，并探讨短期与长期防御对策及研究方向。

Updates

A hash collision bug in identhree's implementation of Poseidon

Rational or Not? This Basic Math Question Took Decades to Answer.

Papers

New Quantum Cryptanalysis of Binary Elliptic Curves (Extended Version)

Leveled Functional Bootstrapping via External Product Tree

Extending Groth16 for Disjunctive Statements

A New Paradigm for Server-Aided MPC

ZODA: Zero-Overhead Data Availability

Forking the RANDAO: Manipulating Ethereum's Distributed Randomness Beacon

Learnings

零知识入门课程

主要面向非专业数学人士的开发者打造，希望使用简单易懂的文字和例子带人快速的了解ZK是如何实现的。

**If you’d like to receive updates via email, subscribe us!