Highlights

Crypto's New Whitespace: WTF is MPC, FHE, and TEE?

作者将分解每一种增强隐私的技术、它们的影响以及使它们成为现实的项目。

The author will break down each privacy-enhancing technology, their impact, and the projects bringing them to life.

• https://x.com/milianstx/status/1873767492767654359

Incomplete Musings on Applied Cryptography in 2025

这篇文章讨论了 2025 年密码学的几个研究领域，包括零知识证明（zk-SNARKs/STARKs）、后量子密码学（PQC）、多方计算（MPC）、全同态加密（FHE）以及模糊加密（iO/FE）。文章特别关注其应用前景与当前挑战，如硬件性能限制、量子计算威胁以及专利问题。

This article explores key cryptography topics in 2025, including zk-SNARKs/STARKs, post-quantum cryptography (PQC), multi-party computation (MPC), fully homomorphic encryption (FHE), and obfuscation (iO/FE). It highlights application potential, challenges like hardware limits, quantum threats, and patent concerns.

• https://hackmd.io/@PierreDM/r19Q73yl1l

Write your Own Virtual Machine

这篇教程教你用 C 语言实现一个虚拟机，用于模拟 LC-3 计算机架构，运行汇编程序。它涵盖了虚拟机的内存、寄存器、指令集以及陷阱例程的实现。

This tutorial explains how to build a virtual machine in C to simulate the LC-3 architecture, covering memory, registers, instruction sets, and trap routines for running assembly programs.

• https://www.jmeiners.com/lc3-vm/

MPC game: guess word

是一个基于加密或编码主题的文字解谜游戏，融入了加密或编码的元素。

It is a word puzzle game based on the theme of encryption or coding, incorporating elements of encryption or coding.

• https://encryptle.sine.dev/

Updates

STWO web STARK

• https://x.com/bartolomeo_diaz/status/1873747841627369589
• https://github.com/Okm165/stwo-web-stark

Why Computer Scientists Consult Oracles

• https://www.quantamagazine.org/why-computer-scientists-consult-oracles-20250103/

丁肇中 伟大的是物理

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

Papers

Post-Quantum Privacy for Traceable Receipt-Free Encryption

• https://eprint.iacr.org/2024/2087

Computing the Hermite Normal Form: A Survey

• https://eprint.iacr.org/2024/2089

PQConnect: Automated Post-Quantum End-to-End Tunnels

• https://eprint.iacr.org/2024/2092

MicroNova: Folding-based arguments with efficient (on-chain) verification

• https://eprint.iacr.org/2024/2099

Attribute Based Encryption for Turing Machines from Lattices

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

A Survey to Zero-Knowledge Interactive Verifiable Computing: Utilizing Randomness in Low-Degree Polynomials

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