ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Mon 星期一
06.16
2025
A Framework for Compiling Custom Languages as Efficiently Verifiable Virtual Machines https://eprint.iacr.org/2025/1110
Kattis et al. proposed a framework for compiling custom languages as efficiently verifiable virtual machines in paper, targeting zkVM design. They defined traversable language subclasses and demonstrated how to efficiently compile to circuits, verifying the framework's effectiveness with the Nock programming language. Kattis等人在论文中提出了一种将自定义语言编译为高效IOP的框架，特别针对zkVM设计。他们定义了可遍历语言子类，并展示了如何高效编译为电路，以Nock编程语言为例验证了框架的有效性。
ML-KEM – Post-Quantum Key Encapsulation (Kyber) https://dev.ingonyama.com/api/cpp/lattice/pqc_ml_kem
@Ingo_zk released the C++ API implementation of ML-KEM, supporting Kyber512, Kyber768, and Kyber1024, providing key generation, encapsulation, and decapsulation functions, optimizing the application of post-quantum cryptography. @Ingo_zk 发布了ML-KEM的C++ API实现，支持Kyber512、Kyber768和Kyber1024参数集，提供密钥生成、封装和解封装功能，优化了后量子密码学的应用。