Highlights

The Era of Provable Software

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

• https://x.com/SuccinctLabs/status/1877416309434023962
• https://writings.succinct.xyz/provable

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

• https://x.com/IrreducibleHW/status/1877086675907871044
• https://www.binius.xyz/

Pick, Prove, Profit: The NIVC Singularity.

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

• https://x.com/wyatt_benno/status/1876699233786396995
• https://blog.icme.io/pick-prove-profit-the-nivc-singularity-2/

Part 6: CKKS Scheme | Building Blocks of FHE

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

• https://x.com/FHEOnchain/status/1876561314308313464
• https://www.fheonchain.org/blog-post/part-6-ckks-scheme

An interactive visualization website of Dan Boneh’s cryptography course

• https://cipher4.fun/visualization

Forking the RANDAO: Manipulating Ethereum’s Distributed Randomness Beacon

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

• https://ethresear.ch/t/forking-the-randao-manipulating-ethereums-distributed-randomness-beacon/21414

Updates

A hash collision bug in identhree's implementation of Poseidon

• https://x.com/vdWijden/status/1877046148386451732

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

• https://www.quantamagazine.org/rational-or-not-this-basic-math-question-took-decades-to-answer-20250108/

Papers

New Quantum Cryptanalysis of Binary Elliptic Curves (Extended Version)

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

Leveled Functional Bootstrapping via External Product Tree

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

Extending Groth16 for Disjunctive Statements

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

A New Paradigm for Server-Aided MPC

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

ZODA: Zero-Overhead Data Availability

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

Forking the RANDAO: Manipulating Ethereum's Distributed Randomness Beacon

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

Learnings

零知识入门课程

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

• http://ZK101.io