ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
ZKP フロンティアトラッカー 🎯
Mon 星期一 月曜日
06.16
2025
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编程语言为例验证了框架的有效性。 Kattisらは論文で、zkVM設計を対象としたカスタム言語を効率的に検証可能な仮想マシンとしてコンパイルするためのフレームワークを提案しました。彼らはトラバーサブル（traversable）な言語サブクラスを定義し、Nockプログラミング言語を用いて回路への効率的なコンパイル方法を示し、そのフレームワークの有効性を実証しました。
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参数集，提供密钥生成、封装和解封装功能，优化了后量子密码学的应用。 @Ingo_zk が、Kyber512、Kyber768、およびKyber1024をサポートするML-KEMのC++ API実装をリリースしました。これにより、鍵生成、カプセル化、デカプセル化関数が提供され、ポスト量子暗号の適用を最適化します。